Investigation on Composition Mechanisms for Cyber Physical Systems

作者： Tomas Krilavicius , Kaiyu Wan , Ka Lok Man , Danny Hughes , Shujun Zou

DOI:

关键词:

摘要: A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support the composition systems from generic units application functionality. This paper surveys current state-of-the-art in mechanisms cyber physical and reviews each approach terms its analysis, re-use adaptation. We then review modeling verifying compositions conclude by proposing promising research directions that will address these shortcomings.

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(26)

Peyman Oreizy, Issues in the Runtime Modification of Software Architectures ,(1997)

Tomas Krilavicius, Hybrid Techniques for Hybrid Systems University of Twente. ,(2006)

Thomas A. Henzinger, Masaccio: A Formal Model for Embedded Components Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. pp. 549- 563 ,(2000) , 10.1007/3-540-44929-9_38

Goran Frehse, PHAVer: algorithmic verification of hybrid systems past hytech international conference on hybrid systems computation and control. pp. 258- 273 ,(2005) , 10.1007/978-3-540-31954-2_17

Pedro R. D'Argenio, Ed Brinksma, A Calculus for Timed Automata FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. pp. 110- 129 ,(1996) , 10.1007/3-540-61648-9_37

David Gay, Philip Levis, Robert von Behren, Matt Welsh, Eric Brewer, David Culler, The nesC language: a holistic approach to networked embedded systems programming language design and implementation. ,vol. 49, pp. 1- 11 ,(2003) , 10.1145/2641638.2641652

Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky, Compositional modeling and refinement for hierarchical hybrid systems The Journal of Logic and Algebraic Programming. ,vol. 68, pp. 105- 128 ,(2006) , 10.1016/J.JLAP.2005.10.004

Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White, Java™ on the bare metal of wireless sensor devices Proceedings of the 2nd international conference on Virtual execution environments - VEE '06. pp. 78- 88 ,(2006) , 10.1145/1134760.1134773

Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei -Hsin Ho, Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems Hybrid Systems. pp. 209- 229 ,(1993) , 10.1007/3-540-57318-6_30

10.

Paolo Costa, Geoff Coulson, Richard Gold, Manish Lad, Cecilia Mascolo, Luca Mottola, Gian Pietro Picco, Thirunavukkarasu Sivaharan, Nirmal Weerasinghe, Stefanos Zachariadis, The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario ieee international conference on pervasive computing and communications. pp. 69- 78 ,(2007) , 10.1109/PERCOM.2007.36

Investigation on Composition Mechanisms for Cyber Physical Systems

来源期刊

我的账户

Investigation on Composition Mechanisms for Cyber Physical Systems

来源期刊

相似文章 7

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems

Composable Algorithms for Interdependent Cyber Physical Systems

Axiomatic Design Theory for Cyber-Physical System

Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems

Cyber-Physical Systems: A Literature Review

SECURITY EVALUATION OF INDUSTRY 4.0: UNDERSTANDING INDUSTRY 4.0 ON THE BASIS OF CRIME, BIG DATA, INTERNET OF THING (IoT) AND CYBER PHYSICAL SYSTEMS

Cyber-Physical Systems for Industrial Applications

我的账户