Consistency Analysis of Timing Requirements for Cyber-Physical SystemChinese Full Text
YIN Ling;CHEN Xiao-Hong;LIU Jing;Shanghai Key Laboratory of Trustworthy Computing (East China Normal University);
Abstract: Cyber-Physical Systems（CPSs） have great potentials in several application domains.Time plays an important role in CPS and should be specified in the very early phase of requirements engineering.This paper proposes a framework to model and verify timing requirements for the CPS.To begin with,a conceptual model is presented for providing basic concepts of timing and functional requirements.Guided by this model,the CPS software timing requirement specification can be obtained from CPS environment properties and constraints.To support formal verification,formal semantics for the conceptual model is provided.Based on the semantics,the consistency properties of the timing requirements specification are defined and expressed as CTL formulas.The timing requirements specification is transformed into a NuSMV model and checked by this well-known model checker.
Keywords：
cyber-physical system; requirement engineering; timing requirement modeling; consistency checking; formal verification;
- DOI：
10.13328/j.cnki.jos.004540
- Series：
- Subject：
- Classification Code：
TP202;TP311.52
- Mobile Reading
Read on your phone instantly
Step 1Scan QR Codes
"Mobile CNKI-CNKI Express" App
Step 2Open“CNKI Express”
and click the scan icon in the upper left corner of the homepage.
Step 3
Scan QR Codes
Read this article on your phone.
- CAJ Download
- PDF Download
Download the mobile appuse the app to scan this coderead the article.
Tips: Please download CAJViewer to view CAJ format full text.
Download: 560 Page: 400-418 Pagecount: 19 Size: 390K
Citation Network
Related Literature
- Similar Article
- Reader Recommendation
- Associated Author