用于验证Eclipse中的实时系统的工具套件

Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange Pub Date : 2006-10-22 DOI:10.1145/1188835.1188843

Lucía Cavatorta, Guido de Caso, A. Ferrari, V. Braberman, D. Garbervetsky, N. Kicillof, F. Schapachnik, A. Olivero

{"title":"用于验证Eclipse中的实时系统的工具套件","authors":"Lucía Cavatorta, Guido de Caso, A. Ferrari, V. Braberman, D. Garbervetsky, N. Kicillof, F. Schapachnik, A. Olivero","doi":"10.1145/1188835.1188843","DOIUrl":null,"url":null,"abstract":"In this work we present an Eclipse plug-in for the VINTIME (Verifier of INtegrated TImed ModEls) suite of tools that combines high-level expressive power, unassisted property-preserving model reduction and distributed model checking to describe and verify complex real-time system designs and their properties.","PeriodicalId":297590,"journal":{"name":"Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A toolsuite for the verification of real-time systems in Eclipse\",\"authors\":\"Lucía Cavatorta, Guido de Caso, A. Ferrari, V. Braberman, D. Garbervetsky, N. Kicillof, F. Schapachnik, A. Olivero\",\"doi\":\"10.1145/1188835.1188843\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this work we present an Eclipse plug-in for the VINTIME (Verifier of INtegrated TImed ModEls) suite of tools that combines high-level expressive power, unassisted property-preserving model reduction and distributed model checking to describe and verify complex real-time system designs and their properties.\",\"PeriodicalId\":297590,\"journal\":{\"name\":\"Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-10-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1188835.1188843\",\"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 the 2006 OOPSLA workshop on eclipse technology eXchange","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1188835.1188843","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在这项工作中，我们为VINTIME(集成时间模型验证器)工具套件提供了一个Eclipse插件，它结合了高级表达能力、无辅助的属性保留模型简化和分布式模型检查来描述和验证复杂的实时系统设计及其属性。

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

查看原文本刊更多论文

A toolsuite for the verification of real-time systems in Eclipse

In this work we present an Eclipse plug-in for the VINTIME (Verifier of INtegrated TImed ModEls) suite of tools that combines high-level expressive power, unassisted property-preserving model reduction and distributed model checking to describe and verify complex real-time system designs and their properties.

求助全文

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

来源期刊

Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange

自引率

0.00%

发文量