Towards a unified framework for Cyber-Physical Systems (CPS)

Proceedings - 2010 1st ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems, CDEE 2010

Volumn , Issue , 2010, Pages 292-295

  Wan, Kaiyu ^a   Man, K L ^a   Hughes, D ^a  

^a XI AN JIAOTONG LIVERPOOL UNIVERSITY   (China)

Author keywords

Analyzing; Cyber Physical Systems; Specification

Indexed keywords

CYBER PHYSICAL SYSTEM; DATA MINING; NETWORK SECURITY; SPECIFICATIONS;

ANALYZING; CYBER-PHYSICAL SYSTEMS (CPS); PHYSICAL PROCESS; PHYSICAL WORLD; TOOLS AND METHODS; UNIFIED FRAMEWORK;

EMBEDDED SYSTEMS;

EID: 79959225578     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDEE.2010.63     Document Type: Conference Paper

References (19)

1. Robert A. Thacker, Kevin R. Jones, Chris J. Myers, "Automatic Abstraction for Verification of. Cyber-Physical Systems", Proceedings of the 1st International Conference on Cyber-Physical Systems, 2010, Stockholm. Sweden.
2. Gerd Bejramm, Alexamdre Davod, and Kim G.Larsen, "A Tutorial on UPPAAL", November 2004, http://www.uppaal.com/.
3. Ravi Akella, Bruce M. McMillin, "Model-Checking BNDC Properties in Cyber-Physical Systems", Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009, Washington, USA.
4. Robin Milner, "A Calculus of Communicating Systems", Springer Verlag, 1980.
5. Ji Eun Kim, Daniel Mosse, "Generic Framework for Design, Modeling and Simulation of Cyber Physical Systems", ACMSIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing, V5, N1, 2008, pp 1-2.
6. "Cyber-Physical Systems: Executive Summary", CPS Steering Group, 2008.
7. Thomas A. Henzinger, "The Theory of Hybrid Automata", Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1996, pp. 278-292.
8. Edward A. Lee, "Cyber-Physical Systems - Are Computing Foundations Adequate?" Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October 16 - 17, 2006 Austin, TX.
9. Edward A. Lee, "Cyber Physical Systems: Design Challenges", International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008, Invited Paper.
10. Akshay Rajhans, Shang-Wen Cheng, Bradley Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave, "An Architectural Approach to the Design and Analysis of Cyber- Physical Systems", Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling, Denver, USA, 2009.
11. J.C.M. Baeten, W.P. Weijland, "Process Algebra", Cambridge University Press, 1990.
12. "Petri Nets", www.informatik.uni-hamburg.de/TGI/PetriNets.
13. G. Frehse, "PHAVer: Algorithmic Verification of Hybrid Systems past HyTech", Lecture Notes in Computer Science 3414, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC), 2005, pp. 258-273. (Pubitemid 41252072)
14. B. Schmerl, D. Garlan, "AcmeStudio: Supporting Style- Centered Architecture Development", Proceedings of the 26th International Conference on Software Engineering, 2004, Edingurgh, Scotland.
15. Lui Sha, Sathish Gopalakrishnan, Xue Liu, and Qixin Wang, "Cyber-Physical Systems: A New Frontier", Machine Learning in Cyber Trust (ISBN 978-0-387-88734-0 ), Springer US, April 2009.
16. Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer, "A Unifying Specification Logic for Cyber-Physical Systems", Proceedings of the 17th Mediterranean Conference on Control and Automation, 2009, Tessaloniki, Greece.
17. "IEEE Standard 802.15.4d-2009", IEEE Computer Society, April 17, 2009.
18. Nordic, http://www.nordicsemi.com/index.cfm?obj=product&act= display&pro=97.
19. Jifeng He, Cyber Physical Systems [J] .Communications of the China Computer Federation,2010, 6(1): 25-29.