Filters








1,136 Hits in 3.3 sec

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency [article]

Mario Lezoche
2018 arXiv   pre-print
Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm.  ...  Using the CPS meta-model formalization, with an adaptation of the Formal Concept Analysis (FCA) formal approach, this paper presents a way to optimize the modelling of CPS systems emphasizing their redundancy  ...  A Meta-Model of Cyber-Physical Systems Components of a CPS: lets denote as Pi and Ci respectively the set of physical and cyber components of a system CPSj.  ... 
arXiv:1810.06911v1 fatcat:uetlvu2a4zaefcj4kluaogo2ji

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

Mario Lezoche, Hervé Panetto
2018 Enterprise Information Systems  
Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm.  ...  Using the CPS meta-model formalization, with an adaptation of the Formal Concept Analysis (FCA) formal approach, this paper presents a way to optimize the modelling of CPS systems emphasizing their redundancy  ...  A Meta-Model of Cyber-Physical Systems Components of a CPS: lets denote as Pi and Ci respectively the set of physical and cyber components of a system CPSj.  ... 
doi:10.1080/17517575.2018.1536807 fatcat:pfnyrgbtejb6xgretp7svkdqwq

Homeostatic approach to assessing digital manufacturing security

Evgeny Pavlenko, Dmitry Zegzhda, A. Sarygulov, V. Sergeev, L. Ungvári, W. Semmler
2018 SHS Web of Conferences  
This study suggests a new digital manufacturing security paradigm based on the bio-inspired homeostasis concept to provide structural and functional cyber resilience of digital manufacturing to external  ...  The developed homeostatic approach lays the groundwork for building a proactive security strategy due to development of predictive methods of processing the system status monitoring results. a The work  ...  The said approach requires development of a formal model which is a timeconsuming task in case of large-scale cyber-physical systems.  ... 
doi:10.1051/shsconf/20184400066 fatcat:cyawqmpayfga7mwde6hfolci7u

Next Generation Resilient Cyber-Physical Systems [article]

Michel Barbeau, Georg Carle, Joaquin Garcia-Alfaro, Vicenç Torra
2019 arXiv   pre-print
In this paper, we review which requirements a CPS must meet to address the challenges of tomorrow. Two key challenges are understanding and reinforcing the resilience of CPS.  ...  Cyber-Physical Systems (CPS) consist of distributed engineered environments where the monitoring and surveillance tasks are governed by tightly integrated computing, communication and control technologies  ...  Section II provides a more thorough introduction to the concept of resilience and the use of security stacks to enable cyber-physical protection.  ... 
arXiv:1907.08849v3 fatcat:ncjycpzrnnfz7hjd74g2quwvx4

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

Igor Linkov, Alexander Kott
2018 arXiv   pre-print
We also offer a brief summary of ways to assess cyber resilience of a system, and approaches to improving cyber resilience.  ...  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  ...  Then Curado and co-workers address cyber-physical systems resilience with a focus on Internet of Things (IoT) as a particularly prominent example of large-scale cyber-physical systems.  ... 
arXiv:1806.02852v1 fatcat:pjyv23svonap3jk6yxj4i4mnmy

Cyberphysical Security Through Resiliency: A Systems-centric Approach [article]

Cody Fleming, Carl Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan Carter, Peter A. Beling, Barry Horowitz
2021 arXiv   pre-print
We present a systems-oriented view of cyber-physical security, termed Mission Aware, that is based on a holistic understanding of mission goals, system dynamics, and risk.  ...  We argue that such methods and theory should assist stakeholders in deciding where and how to apply design patterns for resilience.  ...  In the context of CPS, perimeter security tends to be agnostic to the systems' purpose, its required service or mission, and the functional behaviors of its cyber-physical aspects.  ... 
arXiv:2011.14469v2 fatcat:trxetlh3nbg7lbbghuasro6fo4

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

Georgios Bakirtzis, Tim Sherburne, Stephen Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming
2021 Journal of Software and Systems Modeling  
This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of "-ilities", such that they are safe and secure  ...  AbstractCyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful.  ...  SERC is a federally funded University affiliated research center managed by Stevens Institute of Technology.  ... 
doi:10.1007/s10270-021-00892-z fatcat:uqcdis26hnafxdsjgklz3d2yru

Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems

Pieter J. Mosterman, Justyna Zander
2015 Journal of Software and Systems Modeling  
This has given rise to the cyber-physical systems (CPS) paradigm. In this paper, select key enablers for a new type of system integration are discussed.  ...  The intent is to contribute to a model-based research agenda in terms of design methods, implementation technologies, and organization challenges necessary to bring the next generation systems online.  ...  Cyber-Physical Systems More recently, a new breed of systems has emerged that challenges the classic design paradigm where the various features of a system are integrated by one original equipment manufacturer  ... 
doi:10.1007/s10270-015-0469-x fatcat:r2woy56ydrh7jawvl5bfqn6jcq

Architectural resilience in Cloud, Fog and Edge systems: A survey

Victor Prokhorenko, M. Ali Babar
2020 IEEE Access  
In addition, this work also presents a capability-based cyber-foraging framework intended to improve the overall system resilience in the context of a physical node's capabilities.  ...  INDEX TERMS Cloud computing, cyber-foraging, cyber-physical systems, edge computing, system resilience.  ...  Thus, a more structured and extensible formal approaches need to be developed to achieve highly flexible and capability-aware system resilience orchestration.  ... 
doi:10.1109/access.2020.2971007 fatcat:d3o5yn4zizfcdp7lbgbreeahaq

An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering [article]

Georgios Bakirtzis and Tim Sherburne and Stephen Adams and Barry M. Horowitz and Peter A. Beling and Cody H. Fleming
2020 arXiv   pre-print
This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of "-ilities", such that they are safe and secure  ...  System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems.  ...  SERC is a federally funded University affiliated research center managed by Stevens Institute of Technology.  ... 
arXiv:2006.05304v1 fatcat:uh36vg3ifngr7jez2x4iz2qvvy

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.  ...  "Do we really have to choose between a formalism that is falsified by our everyday experience, and a Platonism that postulates a mythical fairyland where the uncountable and the inaccessible lie waiting  ...  Cyber -Physical Systems warrant freedom for engineers to trade off across the cyber/physical divide, and to do so early.  ... 
doi:10.23956/ijarcsse/v7i3/0184 fatcat:lo66767o3ne2tfbzmukyhpizj4

Sharpening the Scythe of Technological Change: Socio-Technical Challenges of Autonomous and Adaptive Cyber-Physical Systems

Daniela Cancila, Jean-Louis Gerstenmayer, Huascar Espinoza, Roberto Passerone
2018 Designs  
Autonomous and Adaptative Cyber-Physical Systems (ACPS) represent a new knowledge frontier of converging "nano-bio-info-cogno" technologies and applications.  ...  We argue that a paradigm change is needed that includes the entire socio-technical aspects, including trustworthiness, responsibility, liability, as well as the ACPS ability to learn from past events,  ...  Introduction In 2014, the Cyber-Physical European Roadmap and Strategy (CyPhERS) [1, 2] pointed out artificial intelligence (AI) as a distinctive characteristic of cyber-physical systems (CPS).  ... 
doi:10.3390/designs2040052 fatcat:pztqttdhuvenvfuyusa3ib4jka

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 distinguish between the notion of infrastructure and information dependability and illustrate the need to formally model and reason about a range of CPS applications and their de-pendability  ...  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

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  This includes the ontology of Cyber-Physical Systems presented in chapter 3, the ontology of Multi-Paradigm Modeling presented in chapter 4 and the combined ontology of Multi-Paradigm Modeling for Cyber-Physical  ...  Cyber-Physical Systems (MPM4CPS), we first presented an ontology of Cyber Physical Systems in Chapter 3 and then an ontology of Multi-Paradigm Modeling in Chapter 4.  ... 
doi:10.5281/zenodo.2538795 fatcat:ox2slzxzdbcrjha2xeoz75a7vy

Digital Transformation in Service and Computing Oriented Manufacturing [chapter]

Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira
2017 Studies in Computational Intelligence  
In CPS (Cyber Physical System) approach of manufacturing, a major challenge is to integrate the computational decisional components (i.e. cyber part) with the physical automation systems and devices (i.e  ...  . physical part) to create such network of smart cyber-physical components at MES and shop floor levels.  ... 
doi:10.1007/978-3-319-51100-9_1 fatcat:xrjznuzg4jf6laue6pvwlutho4
« Previous Showing results 1 — 15 out of 1,136 results