时间和空间性能集成验证过程代数

2011 International Conference on System science, Engineering design and Manufacturing informatization Pub Date : 2011-11-18 DOI:10.1109/ICSSEM.2011.6081167

Yan Bo, Xiaoping Wu, Fu Yu

{"title":"时间和空间性能集成验证过程代数","authors":"Yan Bo, Xiaoping Wu, Fu Yu","doi":"10.1109/ICSSEM.2011.6081167","DOIUrl":null,"url":null,"abstract":"In order to solve the problem of integrated verification of the system's function properties, time performance and spatial performance, an Integrated Verification Process Algebra (IVPA) for Time and Spatial Performance is presented by this paper. The syntax and semantic of the IVPA is defined, that offer potential for automation or machine-assistance of model simplification. Case study results show that the IVPA and its verification approach can satisfy the modeling of systems, reasoning about the system's state space, and integrated verification of the time and spatial performance.","PeriodicalId":406311,"journal":{"name":"2011 International Conference on System science, Engineering design and Manufacturing informatization","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An Integrated Verification Process Algebra for Time and Spatial Performance\",\"authors\":\"Yan Bo, Xiaoping Wu, Fu Yu\",\"doi\":\"10.1109/ICSSEM.2011.6081167\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In order to solve the problem of integrated verification of the system's function properties, time performance and spatial performance, an Integrated Verification Process Algebra (IVPA) for Time and Spatial Performance is presented by this paper. The syntax and semantic of the IVPA is defined, that offer potential for automation or machine-assistance of model simplification. Case study results show that the IVPA and its verification approach can satisfy the modeling of systems, reasoning about the system's state space, and integrated verification of the time and spatial performance.\",\"PeriodicalId\":406311,\"journal\":{\"name\":\"2011 International Conference on System science, Engineering design and Manufacturing informatization\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-11-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 International Conference on System science, Engineering design and Manufacturing informatization\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSSEM.2011.6081167\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 International Conference on System science, Engineering design and Manufacturing informatization","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSSEM.2011.6081167","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

为了解决系统功能特性、时间性能和空间性能的综合验证问题，本文提出了一个时间性能和空间性能的综合验证过程代数(IVPA)。定义了IVPA的语法和语义，这为模型简化的自动化或机器辅助提供了潜力。实例研究结果表明，该方法能够满足系统的建模、系统状态空间的推理以及时间和空间性能的综合验证。

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

查看原文本刊更多论文

An Integrated Verification Process Algebra for Time and Spatial Performance

In order to solve the problem of integrated verification of the system's function properties, time performance and spatial performance, an Integrated Verification Process Algebra (IVPA) for Time and Spatial Performance is presented by this paper. The syntax and semantic of the IVPA is defined, that offer potential for automation or machine-assistance of model simplification. Case study results show that the IVPA and its verification approach can satisfy the modeling of systems, reasoning about the system's state space, and integrated verification of the time and spatial performance.

求助全文

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

来源期刊

2011 International Conference on System science, Engineering design and Manufacturing informatization

自引率

0.00%

发文量