基于时间自动机的CPS建模与实时验证

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) Pub Date : 2022-12-01 DOI:10.1109/QRS-C57518.2022.00092

M. Tuo, Xiaoqiang Zhao, Bo Shen, Wen-Ling Wu

{"title":"基于时间自动机的CPS建模与实时验证","authors":"M. Tuo, Xiaoqiang Zhao, Bo Shen, Wen-Ling Wu","doi":"10.1109/QRS-C57518.2022.00092","DOIUrl":null,"url":null,"abstract":"In this paper, a formal method for real-time verification of Cyber-Physical Systems(CPS) is proposed. Firstly, the CPS behavior model is established by using temporal automata, and then the real-time verification of the system is performed. Based on this method, the real-time task scheduling of the control software of an intelligent car is analyzed. The experimental results show the effectiveness of this method.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Modeling and Real-Time Verification for CPS based on Time Automata\",\"authors\":\"M. Tuo, Xiaoqiang Zhao, Bo Shen, Wen-Ling Wu\",\"doi\":\"10.1109/QRS-C57518.2022.00092\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, a formal method for real-time verification of Cyber-Physical Systems(CPS) is proposed. Firstly, the CPS behavior model is established by using temporal automata, and then the real-time verification of the system is performed. Based on this method, the real-time task scheduling of the control software of an intelligent car is analyzed. The experimental results show the effectiveness of this method.\",\"PeriodicalId\":183728,\"journal\":{\"name\":\"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QRS-C57518.2022.00092\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QRS-C57518.2022.00092","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文提出了一种网络物理系统(CPS)实时验证的形式化方法。首先利用时间自动机建立CPS行为模型，然后对系统进行实时验证。在此基础上，对智能汽车控制软件的实时任务调度进行了分析。实验结果表明了该方法的有效性。

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

查看原文本刊更多论文

Modeling and Real-Time Verification for CPS based on Time Automata

In this paper, a formal method for real-time verification of Cyber-Physical Systems(CPS) is proposed. Firstly, the CPS behavior model is established by using temporal automata, and then the real-time verification of the system is performed. Based on this method, the real-time task scheduling of the control software of an intelligent car is analyzed. The experimental results show the effectiveness of this method.

求助全文

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

来源期刊

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)

自引率

0.00%

发文量