High-level Specification and Modeling of Cyber-physical Systems

2019 ◽  
Author(s):  
José M. Garrido
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
High Level

Architectural Modelling of Cyber Physical Systems Using UML

2019 ◽  
Vol 1 (2) ◽  
pp. 19-37
Author(s):  
K. Sridhar Patnaik ◽  
Itu Snigdh
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Research Area ◽  
Cyber Physical Systems ◽  
Engineering Systems ◽  
Physical Systems ◽  
Unified Modeling ◽  
System Verification ◽  
High Level ◽  
Modeling Representation

Cyber-physical systems (CPS) is an exciting emerging research area that has drawn the attention of many researchers. However, the difficulties of computing and physical paradigm introduce a lot of trials while developing CPS, such as incorporation of heterogeneous physical entities, system verification, security assurance, and so on. A common or unified architecture plays an important role in the process of CPS design. This article introduces the architectural modeling representation of CPS. The layers of models are integrated from high level to lower level to get the general Meta model. Architecture captures the essential attributes of a CPS. Despite the rapid growth in IoT and CPS a general principled modeling approach for the systematic development of these new engineering systems is still missing. System modeling is one of the important aspects of developing abstract models of a system wherein, each model represents a different view or perspective of that system. With Unified Modeling Language (UML), the graphical analogy of such complex systems can be successfully presented.

scholarly journals Automotive IVHM: Towards Intelligent Personalised Systems Healthcare

2019 ◽  
Vol 1 (1) ◽  
pp. 857-866 ◽  
Author(s):  
Felician Campean ◽  
Daniel Neagu ◽  
Aleksandr Doikin ◽  
Morteza Soleimani ◽  
Thomas Byrne ◽  
...  
Keyword(s):  
Health Management ◽  
Heterogeneous Data ◽  
Cyber Physical Systems ◽  
Smart Environment ◽  
Product Lifecycle ◽  
Physical Systems ◽  
Automotive Systems ◽  
Contemporary View ◽  
High Level ◽  
Personalised Healthcare

AbstractUnderpinned by a contemporary view of automotive systems as cyber-physical systems, characterised by progressively open architectures increasingly defined by their interaction with the users and the smart environment, this paper provides a critical and up-to-date review of automotive Integrated Vehicle Health Management (IVHM) systems. The paper discusses the challenges with prognostics and intelligent health management of automotive systems, and proposes a high-level framework, referred to as the Automotive Healthcare Analytic Factory, to systematically collect and process heterogeneous data from across the product lifecycle, towards actionable insight for personalised healthcare of systems.

FPGA on Cyber-Physical Systems for the Implementation of Internet of Things

2020 ◽  
pp. 82-96
Author(s):  
Rajit Nair ◽  
Preeti Nair ◽  
Vidya Kant Dwivedi
Keyword(s):  
High Performance ◽  
Management Strategies ◽  
Cyber Physical Systems ◽  
Edge Computing ◽  
Reconfigurable Systems ◽  
Smart Power ◽  
Physical Systems ◽  
Computing Performance ◽  
High Level ◽  
Processing Architecture

Today, in cyber-physical systems, there is a transformation in which processing has been done on distributed mode rather than performing on centralized manner. Usually this type of approach is known as Edge computing, which demands hardware time to time when requirements in computing performance get increased. Considering this situation, we must remain energy efficient and adaptable. So, to meet the above requirements, SRAM-based FPGAs and their inherent run-time reconfigurability are integrated with smart power management strategies. Sometimes this approach fails in the case of user accessibility and easy development. This chapter presents an integrated framework to develop FPGA-based high-performance embedded systems for Edge computing in cyber-physical systems. The processing architecture will be based on hardware that helps us to manage reconfigurable systems from high level systems without any human intervention.

scholarly journals Multilevel Simulation Methodology for FMECA Study Applied to a Complex Cyber-Physical System

Electronics ◽  
2020 ◽  
Vol 9 (10) ◽  
pp. 1736
Author(s):  
Davide Piumatti ◽  
Jacopo Sini ◽  
Stefano Borlo ◽  
Matteo Sonza Reorda ◽  
Radu Bojoi ◽  
...  
Keyword(s):  
Complex Systems ◽  
Physical System ◽  
Electrical Power ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Test Case ◽  
Physical Systems ◽  
Failure Classification ◽  
High Level ◽  
Criticality Analysis

Complex systems are composed of numerous interconnected subsystems, each designed to perform specific functions. The different subsystems use many technological items that work together, as for the case of cyber-physical systems. Typically, a cyber-physical system is composed of different mechanical actuators driven by electrical power devices and monitored by sensors. Several approaches are available for designing and validating complex systems, and among them, behavioral-level modeling is becoming one of the most popular. When such cyber-physical systems are employed in mission- or safety-critical applications, it is mandatory to understand the impacts of faults on them and how failures in subsystems can propagate through the overall system. In this paper, we propose a methodology for supporting the failure mode, effects, and criticality analysis (FMECA) aimed at identifying the critical faults and assessing their effects on the overall system. The end goal is to analyze how a fault affecting a single subsystem possibly propagates through the whole cyber-physical system, considering also the embedded software and the mechanical elements. In particular, our approach allows the analysis of the propagation through the whole system (working at high level) of a fault injected at low level. This paper provides a solution to automate the FMECA process (until now mainly performed manually) for complex cyber-physical systems. It improves the failure classification effectiveness: considering our test case, it reduced the number of critical faults from 10 to 6. The remaining four faults are mitigated by the cyber-physical system architecture. The proposed approach has been tested on a real cyber-physical system in charge of driving a three-phase motor for industrial compressors, showing its feasibility and effectiveness.

Heterogeneous co-simulation for embedded and cyber-physical systems design

SIMULATION ◽  
2020 ◽  
Vol 96 (9) ◽  
pp. 753-765 ◽  
Author(s):  
Seyed-Hosein Attarzadeh-Niaki ◽  
Ingo Sander
Keyword(s):  
Ad Hoc ◽  
System Modeling ◽  
Systems Design ◽  
Cyber Physical Systems ◽  
Design Flow ◽  
Third Party ◽  
Physical Systems ◽  
Ip Blocks ◽  
Simulation Problem ◽  
High Level

The growing complexity of embedded and cyber-physical systems makes the design of all system components from scratch increasingly impractical. Consequently, already from early stages of a design flow, designers rely on prior experience, which comes in the form of legacy code or third-party intellectual property (IP) blocks. Current approaches partly address the co-simulation problem for specific scenarios in an ad hoc style. This work suggests a general method for co-simulation of heterogeneous IPs with a system modeling and simulation framework. The external IPs can be integrated as high-level models running in an external simulator or as software- and hardware-in-the-loop simulation with minimal effort. Examples of co-simulation scenarios for wrapping models with different semantics are presented together with their practical usage in two case studies. The presented method is also used to formulate a refinement-by-replacement workflow for IP-based system design.

scholarly journals FUZZY MANAGEMENT OF INFORMATION AND SECURITY EVENTS: FEATURES OF CONSTRUCTING MEMBERSHIP FUNCTIONS

2021 ◽  
Vol 2021 (3) ◽  
pp. 7-15
Author(s):  
Igor Vitalievich Kotenko ◽  
Igor Borisovich Parashchuk
Keyword(s):  
Probability Density ◽  
Cyber Physical Systems ◽  
Probability Density Functions ◽  
Density Functions ◽  
Membership Functions ◽  
Physical Systems ◽  
Technical Systems ◽  
Methodological Approaches ◽  
High Level ◽  
Monitoring Information

The object of the study is methodological approaches to solving the problems of constructing membership functions in the application to decision-making procedures (decision support) for the fuzzy management of information and security events of modern cyber-physical systems. These methodological approaches (methods) allow taking into account the vagueness of the observed and controlled parameters of the protection of complex controlled technical systems. At the same time, the comparative analysis of the approaches under consideration is focused on the most applicable methods for specific tasks - the method of constructing membership functions based on the analysis of probability density functions and the method using a simple probabilistic scheme. Based on the method that uses the analysis of probability density functions, a mechanism for determining the values of membership functions for the problem of making decisions about the relevance of a particular computer attack to a fuzzy set of dangerous attacks (a set of attacks of a high level of danger) is proposed. This mechanism does not have a great mathematical and computational complexity, but it allows us to take into account the fuzziness of the observed and controlled security parameters, which will increase the reliability of monitoring information and security events within the framework of fuzzy security management of systems of this class

A Framework for Developing Cyber-Physical Systems

2017 ◽  
Vol 27 (09n10) ◽  
pp. 1361-1386 ◽  
Author(s):  
Xudong He ◽  
Zhijiang Dong ◽  
Heng Yin ◽  
Yujian Fu
Keyword(s):  
Quality Assurance ◽  
Model Checking ◽  
System Development ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Driven ◽  
Domain Specific ◽  
High Level ◽  
Model Driven Approach ◽  
Oriented Approach

Cyber-physical systems (CPSs) are pervasive in our daily life from mobile phones to auto-driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model-driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual physical and computation processes using high-level Petri nets, and an aspect-oriented approach is used to integrate individual models. The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain-specific functionalities. Complementary quality assurance techniques are applied throughout system development and deployment, including simulation and model checking of design models, model checking of Java code, and runtime verification of Java executable. We demonstrate our framework using a car parking system.

scholarly journals The Intelligent Space Modeled as a Cyber-Physical System

2019 ◽  
Vol 6 (1.) ◽  
Author(s):  
Csaba Szász
Keyword(s):  
Industry 4.0 ◽  
Technological Development ◽  
Main Idea ◽  
General Rule ◽  
Building Blocks ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Intelligent Space ◽  
High Level ◽  
Cps Model

According to a general rule definition, the intelligent space (iSpace) is defined as a location (or space) provided with electronic sensor networks that enable the considered environment with intelligent behaviors. As a result, the considered space will be able to perceive stimulus around them and to understand events that happen its near surrounding. Cyber-physical systems (CPSs) are building blocks in Industry 4.0 that links digital technology and the physical environment in an industrial context. They combine intelligent physical objects and systems on a high level of functions integration. This paper emphasizes the main idea that intelligent spaces may be also modeled as complex cyber-physical systems, as well. This approach has been developed by discussing the theoretical basis of both the iSpaces and CPSs, respectively unfolding a short comparison between their basic behaviors. As a concrete example, the CPS model of a given iSpace framework is presented and discussed widely in the paper. This model has been experimented by using a Field Programmable Gate Array (FPGA) processor-based ready-to-use development systems and software technologies that handles reconfigurable hardware technology. The implementation proves that the developed CPS model is well feasible and expresses in all the main behaviors and functions of iSpaces. It is also mentioned that the actual stage of the technological development terms and scientific areas related to iSpaces and CPSs overlaps. In fact, this is not surprising at all by considering nowadays evidence that iSpaces are widely present and shared components in modern manufactory processes that are an inherent part of Industry 4.0 vision and reality.

scholarly journals Structured Proofs for Adversarial Cyber-Physical Systems

2021 ◽  
Vol 20 (5s) ◽  
pp. 1-26
Author(s):  
Brandon Bohrer ◽  
André Platzer
Keyword(s):  
Hybrid Systems ◽  
Differential Game ◽  
Programming Language ◽  
First Language ◽  
Cyber Physical Systems ◽  
Proof Checking ◽  
Game Logic ◽  
Physical Systems ◽  
Safety Critical ◽  
High Level

Many cyber-physical systems (CPS) are safety-critical, so it is important to formally verify them, e.g. in formal logics that show a model’s correctness specification always holds. Constructive Differential Game Logic ( CdGL ) is such a logic for (constructive) hybrid games, including hybrid systems. To overcome undecidability, the user first writes a proof, for which we present a proof-checking tool. We introduce Kaisar , the first language and tool for CdGL proofs, which until now could only be written by hand with a low-level proof calculus. Kaisar’s structured proofs simplify challenging CPS proof tasks, especially by using programming language principles and high-level stateful reasoning. Kaisar exploits CdGL ’s constructivity and refinement relations to build proofs around models of game strategies. The evaluation reproduces and extends existing case studies on 1D and 2D driving. Proof metrics are compared and reported experiences are discussed for the original studies and their reproductions.

Sign in / Sign up

Export Citation Format

Share Document