用Z符号形式化道路交通管理系统的安全关键属性

2015 International Conference on Green Computing and Internet of Things (ICGCIoT) Pub Date : 2015-10-08 DOI:10.1109/ICGCIOT.2015.7380707

Monika Singh, Arun Kumar Sharma, R. Saxena

{"title":"用Z符号形式化道路交通管理系统的安全关键属性","authors":"Monika Singh, Arun Kumar Sharma, R. Saxena","doi":"10.1109/ICGCIOT.2015.7380707","DOIUrl":null,"url":null,"abstract":"The endeavour of this paper is to use formal methods for safety critical systems for providing a formal verification approach. Z notation is a formal language, has been used for structuring the specification of proposed system: road traffic management system for instance, which is further verified by its tool, Z/EVES. This utter need to propose this approach is to make a system which is accurate, reliable and complete.","PeriodicalId":400178,"journal":{"name":"2015 International Conference on Green Computing and Internet of Things (ICGCIoT)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Towards the formalization of Road traffic Management system for safety critical properties by Z notation\",\"authors\":\"Monika Singh, Arun Kumar Sharma, R. Saxena\",\"doi\":\"10.1109/ICGCIOT.2015.7380707\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The endeavour of this paper is to use formal methods for safety critical systems for providing a formal verification approach. Z notation is a formal language, has been used for structuring the specification of proposed system: road traffic management system for instance, which is further verified by its tool, Z/EVES. This utter need to propose this approach is to make a system which is accurate, reliable and complete.\",\"PeriodicalId\":400178,\"journal\":{\"name\":\"2015 International Conference on Green Computing and Internet of Things (ICGCIoT)\",\"volume\":\"2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-10-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 International Conference on Green Computing and Internet of Things (ICGCIoT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICGCIOT.2015.7380707\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 International Conference on Green Computing and Internet of Things (ICGCIoT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICGCIOT.2015.7380707","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文的努力是为安全关键系统使用形式化方法，以提供形式化验证方法。Z符号是一种形式语言，已被用于构建所提议的系统规范:例如道路交通管理系统，这是进一步验证其工具，Z/EVES。提出这种方法的根本需要是使系统准确、可靠和完整。

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

查看原文本刊更多论文

Towards the formalization of Road traffic Management system for safety critical properties by Z notation

The endeavour of this paper is to use formal methods for safety critical systems for providing a formal verification approach. Z notation is a formal language, has been used for structuring the specification of proposed system: road traffic management system for instance, which is further verified by its tool, Z/EVES. This utter need to propose this approach is to make a system which is accurate, reliable and complete.

求助全文

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

来源期刊

2015 International Conference on Green Computing and Internet of Things (ICGCIoT)

自引率

0.00%

发文量