用于临时互操作性验证的自适应定时测试

2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531) Pub Date : 2000-09-06 DOI:10.1109/WFCS.2000.882552

L. Kaiser, F. Simonot-Lion

{"title":"用于临时互操作性验证的自适应定时测试","authors":"L. Kaiser, F. Simonot-Lion","doi":"10.1109/WFCS.2000.882552","DOIUrl":null,"url":null,"abstract":"The article deals with the temporal interoperability of components in a real time application and presents a method to verify it. The temporal interoperability expresses the capability of a component to cooperate and exchange information with its environment while respecting specified timing properties (Y. Benkhellat and J.-P. Thomesse, 1995). The principal aim of the paper is to propose a construction method of an adaptative tester. The tester generation process is based on the TIOSM formalism (O. Kone and R. Castanet, 1995). The logical behaviour of this tester is statically defined (sequence of events, identification of the different clocks). The evaluation of the transition firing times is done online by the tester itself during the test process. For this, a set of linear inequalities is generated and attached to each state of the tester and a solver is integrated to it.","PeriodicalId":112914,"journal":{"name":"2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Adaptative timed tests for temporal interoperability verification\",\"authors\":\"L. Kaiser, F. Simonot-Lion\",\"doi\":\"10.1109/WFCS.2000.882552\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article deals with the temporal interoperability of components in a real time application and presents a method to verify it. The temporal interoperability expresses the capability of a component to cooperate and exchange information with its environment while respecting specified timing properties (Y. Benkhellat and J.-P. Thomesse, 1995). The principal aim of the paper is to propose a construction method of an adaptative tester. The tester generation process is based on the TIOSM formalism (O. Kone and R. Castanet, 1995). The logical behaviour of this tester is statically defined (sequence of events, identification of the different clocks). The evaluation of the transition firing times is done online by the tester itself during the test process. For this, a set of linear inequalities is generated and attached to each state of the tester and a solver is integrated to it.\",\"PeriodicalId\":112914,\"journal\":{\"name\":\"2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531)\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-09-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WFCS.2000.882552\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WFCS.2000.882552","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文讨论了实时应用中组件的时间互操作性，并给出了一种验证方法。时间互操作性表达了组件在尊重指定的定时属性的情况下与其环境进行合作和交换信息的能力。Thomesse, 1995)。本文的主要目的是提出一种自适应测试仪的构造方法。测试人员生成过程是基于TIOSM形式化的(O. Kone和R. Castanet, 1995)。该测试器的逻辑行为是静态定义的(事件序列、不同时钟的标识)。在测试过程中，转换发射时间的评估由测试人员自己在线完成。为此，生成一组线性不等式，并附加到测试器的每个状态，并将求解器集成到它。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Adaptative timed tests for temporal interoperability verification

The article deals with the temporal interoperability of components in a real time application and presents a method to verify it. The temporal interoperability expresses the capability of a component to cooperate and exchange information with its environment while respecting specified timing properties (Y. Benkhellat and J.-P. Thomesse, 1995). The principal aim of the paper is to propose a construction method of an adaptative tester. The tester generation process is based on the TIOSM formalism (O. Kone and R. Castanet, 1995). The logical behaviour of this tester is statically defined (sequence of events, identification of the different clocks). The evaluation of the transition firing times is done online by the tester itself during the test process. For this, a set of linear inequalities is generated and attached to each state of the tester and a solver is integrated to it.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2000 IEEE International Workshop on Factory Communication Systems. Proceedings (Cat. No.00TH8531)

自引率

0.00%

发文量