PLC软件组成验证的层次结构

2014 IEEE 5th International Conference on Software Engineering and Service Science Pub Date : 2014-06-27 DOI:10.1109/ICSESS.2014.6933545

Litian Xiao, Mengyuan Li, M. Gu, Jiaguang Sun

{"title":"PLC软件组成验证的层次结构","authors":"Litian Xiao, Mengyuan Li, M. Gu, Jiaguang Sun","doi":"10.1109/ICSESS.2014.6933545","DOIUrl":null,"url":null,"abstract":"The correctness verification of embedded control software has become an important research topic in embedded system field. The paper analyses the present situation on correctness verification of control software as well as the limitations of existing technologies. In order to the high reliability and high security requirements of control software, the paper proposes a hierarchical framework and architecture of control software (PLC program) verification. The framework combines the technologies of testing, model checking and theorem proving. The paper introduces the construction, flow and key elements of the architecture.","PeriodicalId":6473,"journal":{"name":"2014 IEEE 5th International Conference on Software Engineering and Service Science","volume":"69 1","pages":"204-207"},"PeriodicalIF":0.0000,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A hierarchy framework on compositional verification for PLC software\",\"authors\":\"Litian Xiao, Mengyuan Li, M. Gu, Jiaguang Sun\",\"doi\":\"10.1109/ICSESS.2014.6933545\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The correctness verification of embedded control software has become an important research topic in embedded system field. The paper analyses the present situation on correctness verification of control software as well as the limitations of existing technologies. In order to the high reliability and high security requirements of control software, the paper proposes a hierarchical framework and architecture of control software (PLC program) verification. The framework combines the technologies of testing, model checking and theorem proving. The paper introduces the construction, flow and key elements of the architecture.\",\"PeriodicalId\":6473,\"journal\":{\"name\":\"2014 IEEE 5th International Conference on Software Engineering and Service Science\",\"volume\":\"69 1\",\"pages\":\"204-207\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 IEEE 5th International Conference on Software Engineering and Service Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSESS.2014.6933545\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 IEEE 5th International Conference on Software Engineering and Service Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSESS.2014.6933545","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

嵌入式控制软件的正确性验证已成为嵌入式系统领域的一个重要研究课题。分析了控制软件正确性验证的现状和现有技术的局限性。针对控制软件的高可靠性和高安全性要求，本文提出了一种控制软件(PLC程序)验证的分层框架和体系结构。该框架结合了测试技术、模型检验技术和定理证明技术。本文介绍了该建筑的结构、流程和关键要素。

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

查看原文本刊更多论文

A hierarchy framework on compositional verification for PLC software

The correctness verification of embedded control software has become an important research topic in embedded system field. The paper analyses the present situation on correctness verification of control software as well as the limitations of existing technologies. In order to the high reliability and high security requirements of control software, the paper proposes a hierarchical framework and architecture of control software (PLC program) verification. The framework combines the technologies of testing, model checking and theorem proving. The paper introduces the construction, flow and key elements of the architecture.

求助全文

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

来源期刊

2014 IEEE 5th International Conference on Software Engineering and Service Science

自引率

0.00%

发文量