{"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}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
