Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/12242
Title: Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior
Authors: Bu, L
Wang, Q 
Chen, X
Wang, L
Zhang, T
Zhao, J
Li, X
Issue Date: 2011
Source: ACM SIGBED Review , 2011, v. 8, no. 2, p. 7-10 How to cite?
Journal: ACM SIGBED Review 
Abstract: Many Cyber-Physical Systems (CPS) are highly nondeterministic. This often makes it impractical to model and predict the complete system behavior. To address this problem, we propose that instead of offline modeling and verification, many CPS systems should be modeled and verified online, and we shall focus on the system's time-bounded behavior in short-run future, which is more describable and predictable. Meanwhile, as the system model is generated/updated online, the verification has to be fast. It is meaningless to tell an online model is unsafe when it is already out-dated. To demonstrate the feasibility of our proposal, we study two cases of our ongoing projects, one on the modeling and verification of a train control system, and the other on a Medical Device Plug-and-Play (MDPnP) application. Both cases are about safety-critical CPS systems. Through these two cases, we exemplify how to build online models that describe the time-bounded short-run behavior of CPS systems; and we show that fast online modeling and verification is possible.
URI: http://hdl.handle.net/10397/12242
DOI: 10.1145/2000367.2000368
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

Page view(s)

45
Last Week
0
Last month
Checked on Dec 11, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.