Computer Science ›› 2014, Vol. 41 ›› Issue (11): 79-87.doi: 10.11896/j.issn.1002-137X.2014.11.016
Previous Articles Next Articles
CONG Xin-yu and YU Hui-qun
[1] Sarma S,Brock D,David L,et al.The Networked PhysicalWorld [R].Technical Report MIT-AUTOID-WH-001.Cambirdge,MIT,1999 [2] Lee E A.Cyber Physical Systems:Design Challenges [C]∥Object-Oriented Real-Time Distributed Computing.Orlando:IEEE,2008:363-369 [3] Sha Lui,Gopalakrishnan S,Liu Xue,et al.Cyber-physical systems:A new frontier [C]∥Sensor Networks,Ubiquitous,and Trustworthy Computing.Taichung:IEEE,2008:1-9 [4] OMG UML.2.0 Superstructure Specification [R/OL].2005-07-04 [2013-07-01].http://www.uml.org [5] Thomas Firely,Michaela Huhn,Karsen Diethers,et al.Timed Sequence Diagrams and Tool-Based Analysis [C]∥The Unified Modeling Language.Berlin:Springer,1999:645-650 [6] Alur R,Dill D.A theory of timed automata [J].TheoreticalComputer Science,1994,126(2):183-235 [7] Cambronero M-E,Valero V,Diaz G,et al.Verification of real-time systems design [J].Software Testing,Verification & Reliability,2010,20(1):3-37 [8] Frits Vaandrager.A First Introduction to UPPAAL [R/OL].[2013-07-01].http://www.mbsd.cs.ru.nl/publications/papers/fvaan/uppaaltutorial.pdf [9] Behrmann G,David A,Larson K G,et al.A Tutorial on UP-PAAL 4.0 [R/OL].[2013-07-01].http://www.it.uu.se/research/group/da rts/papers/texts/new-tutorial.pdf [10] Ohn H,Marburger J H,Kvamme E F,et al.Leadership Under Challenge:Information Technology R&D in a Competitive World [R/OL].[2013-07-01].http://ostp.gov/pdf/nitrd_review.pdf [11] Thacker R A,Jones K R,Myers C J,et al.Automatic Abstraction for Verification of Cyber-Physical Systems [C]∥Procee-dings of the 1st IEEE International Conference on Cyber-Physical Systems.New York:ACM,2010:12-21 [12] Akshay R,Shangwen C,Schmerl B R,et al.An Architectural Approach to the Design and Analysis of Cyber-Physical Systems [J].Electronic Communications of the EASST,2009,21 |
No related articles found! |
|