6,915 Hits in 6.6 sec

Challenges on Coordination for Cyber-Physical Systems

Meng Sun
2013 Applied Mechanics and Materials  
The complex interaction with the physical world makes coordination models and languages very important for the analysis, design and development of cyber-physical systems.  ...  Cyber-physical systems integrate computing and communication with monitoring and control of physical entities.  ...  Verification and Validation The connectors in cyber-physical systems must be highly dependable, adaptable, reconfigurable and certifiable.  ... 
doi:10.4028/ fatcat:3t6wnlo4ibbrblgn36pz47xani

A Formal Methodology for Compositional Cross-Layer Optimization [chapter]

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
2011 Lecture Notes in Computer Science  
To enable trade-off analysis across multiple layers of abstraction and predict the possible property violations as the system evolves dynamically over time, an executable formal specification is developed  ...  The integration of formal analysis with dynamic behavior from system execution results in a feedback loop that enables model refinement and further optimization of policies and parameters.  ...  cyber-physical system is far from being met.  ... 
doi:10.1007/978-3-642-24933-4_10 fatcat:vocrn6zoizcgdfzkscymtz3wfu

Industrial Cyber-Physical Systems – iCyPhy [chapter]

Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte
2014 Complex Systems Design & Management  
This consortium adapts and extends these techniques to handle the fundamentally different challenges in largescale cyber-physical systems.  ...  The focus is on cyber-physical systems, which combine a cyber side (computing and networking) with a physical side (e.g., mechanical, electrical, and chemical processes).  ...  The specific needs include: • We need semi-formal and formal languages that reduce ambiguity and enable analysis for integrated systems.  ... 
doi:10.1007/978-3-319-02812-5_2 dblp:conf/csdm/FisherJLMSS13 fatcat:pnb2o3qkbfcwjoqmbw6syvky5i

Communicating and Negotiating Proof Events in the Cyber – Physical Systems

Gopal T V
2017 International Journal of Advanced Research in Computer Science and Software Engineering  
"Logic sometimes breeds monsters" -Henri Poincare This paper proposes a method for Communicating and Negotiating Proof Events in the Cyber -Physical Systems.  ...  -Phil Davis and Reuben Hersh, The Mathematical Experience, 1981 Engineering logic proposed by the author [16] is a blend of Computational logic and Institutional logics with the modelization of the physics  ...  Robustness is thus an important correctness property in Cyber -Physical Systems. Continuity is one of the vital properties for robustness.  ... 
doi:10.23956/ijarcsse/v7i3/0184 fatcat:lo66767o3ne2tfbzmukyhpizj4

Cyber–Physical Systems: Close Encounters Between Two Parallel Worlds [Point of View]

Radha Poovendran
2010 Proceedings of the IEEE  
Tomorrow's CPS is expected to enrich cyber-physical interactions by intimately coupling assets and dynamics of the physical and engineered systems with the computing and communications of cyber systems  ...  Software developers and testers must transition from traditional testing methodologies to new formal-analysis methodologies.  ... 
doi:10.1109/jproc.2010.2050377 fatcat:pdamtv5mujcxhmtzi4nxf6rq2y

Modelling and Analysing Resilient Cyber-Physical Systems

Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer (+11 others)
2019 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)  
These systems are known as Cyber-Physical Systems (CPS).  ...  This paper is one of the results of the Shonan Seminar 118 on Modelling and Analysing Resilient Cyber-Physical Systems, which took place in December 2018.  ...  ACKNOWLEDGMENT The authors would like to thank the staff of Shonan Village for their valuable support. We acknowledge SFI grant 13/RC/2094 and EPSRC support.  ... 
doi:10.1109/seams.2019.00018 dblp:conf/icse/BennaceurGTKWCD19 fatcat:sikkvsjghbct3lbxe3vptguq4u

Reviewing the book "Principles of Cyber-physical Systems" from a security perspective

Minghui Zhu, Peng Liu
2015 EAI Endorsed Transactions on Security and Safety  
This is a review of the book "Principles of Cyber-physical Systems" authored by Rajeev Alur and published by the MIT Press at 2015.  ...  Zhu and P. Liu are partially supported by the NSF CPS-Security project CNS-1505664.  ...  This book provides a comprehensive and coherent introduction to the principles of modelling, specification, analysis and design of cyber-physical systems.  ... 
doi:10.4108/eai.5-10-2015.150480 fatcat:7juiak6ma5evlnubrwqmxwq6dq

On the architecture and development life cycle of secure cyber-physical systems

Cong Sun, Jianfeng Ma, Qingsong Yao
2016 Journal of Communications and Information Networks  
Cyber-physical systems are being confronted with an ever-increasing number of security threats from the complicated interactions and fusions between cyberspace and physical space.  ...  DFWLYLWLHV RIWHQ LQFRUSRUDWH VHFXULW\ PHFKDQLVPV IURP GLIIHUHQW UHDOPV :H SUHVHQW D ¿QHJUDLQHG GHVLJQ ÀRZ paradigm for security-critical and software-intensive cyber-physical systems.  ...  In Section 4, we summarize the typical security related activities and techniques for the development of secure cyber physical systems.  ... 
doi:10.1007/bf03391576 fatcat:ykws4j5rgrcp7g53rciyqapnoi

Architecting dynamic cyber-physical spaces

Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2016 Computing  
We outline our approach where formally analyzable models may be automatically extracted from BIM depending on the analysis required, and then checked against formally specified requirements, both regarding  ...  This phenomenon is reflected by the notion of a cyber-physical system (CPS), a software-intensive system where computational elements heavily interact with physical entities, thus controlling individual  ...  Claudio Menghi also supported some initial phases of this work.  ... 
doi:10.1007/s00607-016-0509-6 fatcat:u33hdfj26jdzlf7b7i5ikq7tca

Semantics of Cyber-Physical Systems [chapter]

Tharam Dillon, Elizabeth Chang, Jaipal Singh, Omar Hussain
2012 IFIP Advances in Information and Communication Technology  
The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world.  ...  In this paper, we set out the key requirements that must be met by CPS systems, review and evaluate the progress that has been made in the development of theory, conceptual frameworks and practical applications  ...  This requires: (1) new concepts of robust system design that deals with and lives on unexpected uncertainties (of network topology, data, system, etc.) occurring in both cyber and physical worlds, (2)  ... 
doi:10.1007/978-3-642-32891-6_3 fatcat:vjruf5v2vbdujdmts5vj5rbptu

Towards resilient cyber-physical systems: The ADREAM project

Jean Arlat, Michel Diaz, Mohamed Kaaniche
2014 2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)  
Advances recently witnessed in pervasive and ubiquitous information processing, driven by major breakthroughs in current cyber-physical systems (CPS) are paving the way towards a more hospitable and sustainable  ...  This paper illustrates several of these challenges and briefly presents the research activities conducted as part of the ADREAM program, with a special highlight on dependability and resilience issues.  ...  ACKNOWLEDGMENT We thank all the people at LAAS and CNRS who have contributed to the definition and development of the ADREAM project.  ... 
doi:10.1109/dtis.2014.6850642 dblp:conf/dtis/ArlatDK14 fatcat:wewutmurqnezvaumhtppl537iq

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian
2012 Journal of Internet Services and Applications  
In this paper, we address the role of middleware in enabling robust and resilient cyber-physical systems (CPSs) of the future.  ...  In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical systems based on the principles of "computational reflection."  ...  The next generation of societal scale cyber-physical systems requires designing a system-of-systems approach where societal entities, cyber entities, and physical devices cooperate toward a set of common  ... 
doi:10.1007/s13174-011-0057-4 fatcat:qaolc4dtbbe55ccqkzmcvefsv4

Fundamental Concepts of Cyber Resilience: Introduction and Overview [article]

Igor Linkov, Alexander Kott
2018 arXiv   pre-print
Given the rapid evolution of threats to cyber systems, new management approaches are needed that address risk across all interdependent domains (i.e., physical, information, cognitive, and social) of cyber  ...  We also offer a brief summary of ways to assess cyber resilience of a system, and approaches to improving cyber resilience.  ...  The chapter highlights the importance of humans in most cyber-physical systems and uses the term Human Cyber Physical System (H-CPS).  ... 
arXiv:1806.02852v1 fatcat:pjyv23svonap3jk6yxj4i4mnmy

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision [chapter]

Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
2011 Lecture Notes in Computer Science  
These systems may include a variety of devices that sense and affect their environment and the configuration of the system itself. We call such systems Networked Cyber-Physical Systems (NCPS).  ...  We specifically propose research in just-in-time verification and validation techniques, which are agile -adapting to changing situations and requirements, and efficient -focusing on properties of immediate  ...  and Foundations for Fractionated Networked Cyber-Physical Systems) is gratefully acknowledged.  ... 
doi:10.1007/978-3-642-24933-4_7 fatcat:52w7nldn5fc7tjtvla7dbf7kmq

Guest Editorial Special Issue on Control of Cyber-Physical Systems

Karl H. Johansson, George J. Pappas, Paulo Tabuada, Claire J. Tomlin
2014 IEEE Transactions on Automatic Control  
ACKNOWLEDGMENT The guest editors wish to thank all the authors, for their submissions, and the large number of reviewers, who carefully and timely scrutinized and evaluated the many papers submitted.  ...  A new notion of robustness of cyber-physical systems is introduced in the paper by Tabuada et al. It is shown how to synthesize robust controllers and that efficient algorithms can be used.  ...  Cyber-Physical Security Cyber-physical control systems are vulnerable to adversaries due to the use of open computation and communication platforms.  ... 
doi:10.1109/tac.2014.2363896 fatcat:u2gu5qow5rfvzaapnnac63usmm
« Previous Showing results 1 — 15 out of 6,915 results