2,693 Hits in 3.7 sec

Hierarchical multi-formalism proofs of cyber-physical systems

Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats P.E. Heimdahl, Insup Lee
2015 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)  
To manage design complexity and provide verification tractability, models of complex cyber-physical systems are typically hierarchically organized into multiple abstraction layers.  ...  High-level analysis explores interactions of the system with its physical environment, while embedded software is developed separately based on derived requirements.  ...  Gacek for his critiques of the formalism and proofs, and D. Cofer and J. Backes at Rockwell Collins for developing JKind and AGREE.  ... 
doi:10.1109/memcod.2015.7340474 dblp:conf/memocode/WhalenRGMSHL15 fatcat:ht7crik5pjhvriv66dww5iqxk4

Supporting Heterogeneity in Cyber-Physical Systems Architectures

Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, Andre Platzer, Bradley Schmerl
2014 IEEE Transactions on Automatic Control  
Without a comprehensive modeling formalism, modelbased development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software  ...  Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication, and control along with physical dynamics, which are traditionally considered separately.  ...  Depending on the particular formalisms involved in the heterogeneous analysis, models may explore and verify various aspects of a cyber-physical system design.  ... 
doi:10.1109/tac.2014.2351672 fatcat:fm4g36p33vbzfkzq2nlntwrscm

Cyber-Physical-Social Based Security Architecture for Future Internet of Things

Huansheng Ning, Hong Liu
2012 Advances in Internet of Things  
Based on the U2IoT model, this paper proposes a cyber-physical-social based security architecture (IPM) to deal with Information, Physical, and Management security perspectives, and presents how the architectural  ...  The proposed IPM combining the cyber world, physical world and human social provides constructive proposal towards the future IoT security and privacy protection.  ...  Acknowledgements This work is jointly funded by National Natural Science Foundation of China (NSFC) and Civil Aviation Administration of China (CAAC) (61079019), and is also supported by the Fundamental  ... 
doi:10.4236/ait.2012.21001 fatcat:gi6ixyqqevg2ta5aid25nq2tee

Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation [article]

Natasha Jarus, Sahra Sedigh Sarvestani, Ali Hurson
2019 arXiv   pre-print
Furthermore, we develop formalisms useful for encoding model properties.  ...  Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent  ...  , or incorporate both cyber and physical models into a cyber-physical model.  ... 
arXiv:1902.07761v1 fatcat:aorqw2lwhrfufo3zjimnmpqxce

A Relational Abstraction of Structure and Behavior for Cyber-Physical System Design

Chao Wang, Li Wan, Tifan Xiong, Yuanlong Xie, Shuting Wang
2021 IEEE Access  
INDEX TERMS Formal specification, cyber-physical system, cyber-physical system modeling, system design, dynamic relational system, dynamic structure and behavior. • Multidomain and heterogeneous.  ...  Aimed to model the complex structure and continuous-discrete hybrid behavior of cyber-physical systems, this paper mathematically defines a dynamic relational system so that the cyber-physical system can  ...  It is defined as the fundamental object to unify the representation of the continuous physical states and discrete cyber states in the hierarchical system structure.  ... 
doi:10.1109/access.2021.3064249 fatcat:ysjox76v6zbrpfhxq6klxrlqz4

Trustworthiness in Mobile Cyber-Physical Systems

Hyo-Joong Suh, Junggab Son, Kyungtae Kang
2021 Applied Sciences  
As they continue to become faster and cheaper, devices with enhanced computing and communication capabilities are increasingly incorporated into diverse objects and structures in the physical environment  ...  First, we express our gratitude to the authors for their excellent contributions to this Special Issue on trustworthiness in mobile cyber-physical systems.  ...  We hope that this Special Issue will serve as a valuable reference for academicians, scientists, engineers, and practitioners working toward the design and implementation of trustworthy mobile cyber-physical  ... 
doi:10.3390/app11041676 fatcat:cxh3xllhqfehzambkhbuidlup4

Petri Net Modeling of Cyber-Physical Attacks on Smart Grid

Thomas M. Chen, Juan Carlos Sanchez-Aarnoutse, John Buford
2011 IEEE Transactions on Smart Grid  
Abstract-This paper investigates the use of Petri nets for modeling coordinated cyber-physical attacks on the smart grid.  ...  However, Petri net models for attacks on very large critical infrastructures such as the smart grid require a great amount of manual effort and detailed expertise in cyber-physical threats.  ...  The problem of coordinated cyber-physical attacks challenges conventional thinking about system defense.  ... 
doi:10.1109/tsg.2011.2160000 fatcat:h6xu65eybrdwzobrw6wzuknbwa

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems [chapter]

Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer
2009 Lecture Notes in Computer Science  
In this paper, we propose a formal framework consisting of a reference model for multi-agent cyber physical systems, and a formal logic for expressing safety properties.  ...  Cyber physical systems are examples of a new emerging modelling paradigm that can be defined as multi-dimensional system coengineering (MScE).  ...  A stochastic model for multi-agent cyber-physical systems A cyber-physical system (CPS) is a system featuring a tight combination of, and coordination between, the system's computational and physical elements  ... 
doi:10.1007/978-3-642-02734-5_7 fatcat:3o7daoiiu5eazkpzppd6l7ix4u


Alessandra Russo, Andy Schürr, Heike Wehrheim
2019 Formal Aspects of Computing  
design, and implementation of particular classes of systems: (self-)adaptive, collaborative, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications; • Software quality  ...  Papers published at FASE contribute to make software engineering a more mature and soundly-based discipline, whose advancements are underpinned by formal foundations, precise definitions and rigours proofs  ...  decomposition of software controllers through formal specifications and incremental development and verification of the sub-components allowing prototypic implementations of components to be replaced  ... 
doi:10.1007/s00165-019-00495-y fatcat:kzy2tx5uhvc5rllle2ojefkucm

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee
2014 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)  
Complex cyber-physical systems are typically hierarchically organized into multiple layers of abstraction in order to manage design complexity and provide verification tractability.  ...  ABSTRACT Complex cyber-physical systems are typically hierarchically organized into multiple layers of abstraction in order to manage design complexity and provide verification tractability.  ...  We also thank Miroslav Pajic for helpful discussions on restructuring the model of the closed-loop system.  ... 
doi:10.1109/iccps.2014.6843718 dblp:conf/iccps/MurugesanSRWHL14 fatcat:hhqzozxfpjfv7bsp6qss42j6gq

A Consilience-Based Approach to Engineering Services in Global Supply Chains [chapter]

Eswaran Subrahmanian, Albert Jones
2013 IFIP Advances in Information and Communication Technology  
In this paper, we focus on the next stage of that evolution, cyber-physical systems. We also focus on changes in how these systems are engineered.  ...  Computers and cell phones are two examples of a growing number of products that marry hardware, software, communications, and physical components into what are called cyber physical systems.  ...  The emergence of Cyber-Physical Systems There has been a large-scale infusion of cyber technologies into these systems and components.  ... 
doi:10.1007/978-3-642-41266-0_41 fatcat:2es2zps66feexbsifjxf3p2vjy

Artificial intelligence in cyber physical systems

Petar Radanliev, David De Roure, Max Van Kleek, Omar Santos, Uchenna Ani
2020 AI & Society: The Journal of Human-Centred Systems and Machine Intelligence  
The results determine a new hierarchical cascading conceptual framework for analysing the evolution of AI decision-making in cyber physical systems.  ...  This article conducts a literature review of current and future challenges in the use of artificial intelligence (AI) in cyber physical systems.  ...  in cyber physical systems One of the main drives for artificial intelligence in cyber physical systems is value creation.  ... 
doi:10.1007/s00146-020-01049-0 pmid:32874020 pmcid:PMC7451704 fatcat:wxfbcnxiqjegvjomgtufglwfiu

Analysis of Systems Security Engineering Design Principles for the Development of Secure and Resilient Systems

Paul M. Beach, Logan O. Mailloux, Brent T. Langhals, Robert F. Mills
2019 IEEE Access  
Moreover, inherent in discussions of "securing" complex cyber-physical systems is often the issue of safety as a key stakeholder need [4] . For example, the safety of  ...  systematically applied as part of a comprehensive approach for developing cyber-physical systems which are designed to operate in hostile environments.  ...  McEvilley, co-author of NIST SP 800-160 Systems Security Engineering for their support in this research effort.  ... 
doi:10.1109/access.2019.2930718 fatcat:zn4v6kwtmraq5elb3i54q22b2u

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper) [article]

Adnan Rashid, Umair Siddique, Sofiene Tahar
2020 arXiv   pre-print
grid and smart cities, to health care systems, and broadly speaking to what is known as Cyber-Physical Systems (CPS).  ...  , avionics and healthtech domains from system level to physical components.  ...  The main goals for an efficient design of CPS are to co-design its cyber and physical parts, and to engineer the system of systems involving the intrinsic heterogeneity.  ... 
arXiv:2003.03729v1 fatcat:v57i7srws5afdlixnbype3fztu

On the Interplay Between Cyber and Physical Spaces for Adaptive Security

Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
2018 IEEE Transactions on Dependable and Secure Computing  
Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or manage valuable physical and digital assets.  ...  In this paper we explore the use of Bigraphical Reactive Systems to model the topology of cyber and physical spaces and their dynamics.  ...  We provide a novel approach to explicitly and formally represent the interplay of cyber and physical spaces in which systems operate.  ... 
doi:10.1109/tdsc.2016.2599880 fatcat:32otg5xtljc5lhns7e3ss4myt4
« Previous Showing results 1 — 15 out of 2,693 results