梅洛:实时规格分析工具

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Pub Date : 1993-12-06 DOI:10.1109/IWSSD.1993.315507

C. Bellettini, M. Felder, M. Pezzè

{"title":"梅洛:实时规格分析工具","authors":"C. Bellettini, M. Felder, M. Pezzè","doi":"10.1109/IWSSD.1993.315507","DOIUrl":null,"url":null,"abstract":"Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analysing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analysed with little or no interaction with the user in a reasonable amount of time.<<ETX>>","PeriodicalId":259574,"journal":{"name":"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design","volume":"76 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Merlot: a tool for analysis of real-time specifications\",\"authors\":\"C. Bellettini, M. Felder, M. Pezzè\",\"doi\":\"10.1109/IWSSD.1993.315507\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analysing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analysed with little or no interaction with the user in a reasonable amount of time.<<ETX>>\",\"PeriodicalId\":259574,\"journal\":{\"name\":\"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design\",\"volume\":\"76 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-12-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWSSD.1993.315507\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWSSD.1993.315507","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 13

摘要

实时系统在日常生活中变得越来越重要。在关键应用中使用这种系统需要提高最终产品的正确性和可靠性的工具和技术。在本文中，我们描述了一个用于分析实时系统规格的工具集(Merlot)。Merlot允许对大量规格的时间属性进行自动验证，只有当规格的复杂性超过合理的自动化水平时，才需要与用户进行交互。建立梅洛的目的是验证方法的可行性和分析技术对实际问题的适用性，即确定可以在合理的时间内与用户进行很少或没有交互的问题类别。

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

查看原文本刊更多论文

Merlot: a tool for analysis of real-time specifications

Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analysing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analysed with little or no interaction with the user in a reasonable amount of time.<>

求助全文

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

来源期刊

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design

自引率

0.00%

发文量