System-level testing of cyber-physical systems based on problem concerns

2014 ◽  
Author(s):  
Zhi Li ◽  
Lu Chen
Keyword(s):  
Cyber Physical Systems ◽  
System Level ◽  
Physical Systems

scholarly journals Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games

Electronics ◽  
2019 ◽  
Vol 8 (2) ◽  
pp. 212 ◽  
Author(s):  
Xiaomin Wei ◽  
Yunwei Dong ◽  
Pengpeng Sun ◽  
Mingrui Xiao
Keyword(s):  
Model Checking ◽  
Stochastic Games ◽  
Safety Analysis ◽  
Cyber Physical Systems ◽  
System Level ◽  
Probabilistic Model Checking ◽  
Critical Systems ◽  
System Safety ◽  
Physical Systems ◽  
Analysis And Design

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the safety of power-related systems. However, in many cases, GCPSs may be subject to uncertain and nondeterministic environmental hazards, as well as the variable quality of devices. They can cause failures and hazards in the whole system and may jeopardize system safety. Thus, it necessitates safety analysis for system safety assurance. This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games. GCPSs are modeled using Architecture Analysis and Design Language (AADL). Random errors and failures of a GCPS and nondeterministic environment behaviors are explicitly described with AADL annexes. A GCPS AADL model including the environment can be regarded as a game. To transform AADL models to stochastic multi-player games (SMGs) models, model transformation rules are proposed and the completeness and consistency of rules are proved. Property formulae are formulated for formal verification of GCPS SMG models, so that occurrence probabilities of failed states and hazards can be obtained for system-level safety analysis. Finally, a modified IEEE 9-bus system with grid elements that are power management systems is modeled and analyzed using the proposed approach.

scholarly journals The state of framework development for implementing reasoning mechanisms in smart cyber-physical systems: A literature review

2019 ◽  
Vol 6 (4) ◽  
pp. 527-541 ◽  
Author(s):  
Sirasak Tepjit ◽  
Imre Horváth ◽  
Zoltán Rusák
Keyword(s):  
Ad Hoc ◽  
Mental Representations ◽  
Cyber Physical Systems ◽  
System Level ◽  
Physical Systems ◽  
Fuzzy Front End ◽  
Traditional Design ◽  
Points Of View ◽  
Synthesis Reasoning ◽  
Framework Development

Abstract Smart CPSs (S-CPSs) have been evolving beyond what was identified by the traditional definitions of CPSs. The objective of our research is to investigate the concepts and implementations of reasoning processes for S-CPSs, and more specifically, the frameworks proposed for the fuzzy front end of their reasoning mechanisms. The objectives of the paper are: (i) to analyze the framework concepts and implementations of CPS, (ii) to review the literature concerning system-level reasoning and its enablers from the points of view of the processed knowledge, building awareness, reasoning mechanisms, decision making, and adaptation. Our findings are: (i) awareness and adaptation behaviors are considered as system-level smartness of S-CPSs that are not achieved by traditional design approaches; (ii) model-based and composability approaches insufficiently support the development of reasoning mechanisms for S-CPSs; (iii) frameworks for development of reasoning in S-CPS should support compositional design. Based on the conclusions above, we argue that coping with the challenges of compositionality requires both software-level integration and holistic fusion of knowledge by means of semantic transformations. This entails the need for a multi aspect framework that is able to capture at least conceptual, functional, architectural, informational, interoperation, and behavioral aspects. It needs further investigation if a compositionality enabling framework should appear in the form of a meta-framework (abstract) or in the form of a semantically integrated (concrete) framework. Highlights Smartness in CPSs is a holistic and synergistic behavioral characteristic. Complex mental representations are compositional. Compositionality is necessary for smart CPSs. Without a rigorous unifying framework, designing synthesis reasoning remains ad hoc.

scholarly journals Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges

2021 ◽  
Vol 65 (1) ◽  
Author(s):  
Vladimir Herdt ◽  
Rolf Drechsler
Keyword(s):  
Operating System ◽  
Virtual Prototyping ◽  
Cyber Physical Systems ◽  
Design Flow ◽  
System Level ◽  
Bare Metal ◽  
Instruction Set ◽  
Physical Systems ◽  
Virtual Prototypes ◽  
First Time

AbstractVirtual prototypes (VPs) are crucial in today’s design flow. VPs are predominantly created in SystemC transaction-level modeling (TLM) and are leveraged for early software development and other system-level use cases. Recently, virtual prototyping has been introduced for the emerging RISC-V instruction set architecture (ISA) and become an important piece of the growing RISC-V ecosystem. In this paper, we present enhanced virtual prototyping solutions tailored for RISC-V. The foundation is an advanced open source RISC-V VP implemented in SystemC TLM and designed as a configurable and extensible platform. It scales from small bare-metal systems to large multi-core systems that run applications on top of the Linux operating system. Based on the RISC-V VP, this paper also discusses advanced VP-based verification approaches and open challenges. In combination, we provide for the first time an integrated and unified overview and perspective on advanced virtual prototyping for RISC-V.

Modeling of Cyber-Physical Systems and Digital Twin Based on Edge Computing, Fog Computing and Cloud Computing Towards Smart Manufacturing

2018 ◽  
Author(s):  
Qinglin Qi ◽  
Dongming Zhao ◽  
T. Warren Liao ◽  
Fei Tao
Keyword(s):  
Cloud Computing ◽  
Fog Computing ◽  
Cyber Physical Systems ◽  
Edge Computing ◽  
System Level ◽  
Smart Manufacturing ◽  
Level System ◽  
Physical Systems ◽  
Unit Level ◽  
Digital Twin

Nowadays, smart manufacturing has attracted more and more interesting and attentions of researchers. As an important prerequisite for smart manufacturing, the cyber-physical integration of manufacturing is becoming more and more important. Cyber-physical systems (CPS) and digital twin (DT) are the preferred means to achieve the interoperability and integration between the physical and cyber worlds. From the perspective of hierarchy, CPS and DT can be divided into unit level, system level, and SoS (system of system) level. To meet the different requirements of each level, the following three complementary technologies, i.e., edge computing, fog computing and cloud computing, are instrumental to accelerate the development of various CPS and DT. In this article, the perspectives of unit-level, system-level, and SoS-level of CPS and DT supported by edge computing, fog computing and cloud computing are discussed.

scholarly journals Computer-aided design of cyber-physical building systems

2019 ◽  
Vol 97 ◽  
pp. 01012 ◽  
Author(s):  
Pavel Chelyshkov
Keyword(s):  
Life Cycle ◽  
Information Exchange ◽  
Computer Aided Design ◽  
Data Exchange ◽  
Information Technologies ◽  
Cyber Physical Systems ◽  
System Level ◽  
Physical Systems ◽  
Building Systems ◽  
Different Levels

At present, an increasing number of researchers and specialists in the construction industry come to the opinion that it is advisable to use a number of technologies (BIM, Smart City, Big Data, IOT and others) in the practice of construction (in the broad sense of this concept), which are united by the concept of the Fourth Industrial Revolution. The result of the implementation of these technologies in the construction should be the transition to the widespread use of cyber-physical systems. The problem of using information technologies in construction today is not due to the lack of this process as such, but to the lack of consistency and consistency in it. Fragmentary nature of the application, inconsistency of the applied technologies at different levels of management and at different stages of the life cycle of construction projects sharply reduce the potential positive effect of informatization and building automation. At the same time, the concept of cyber-physical systems, that is, the integration at the system level of physical processes and controls has proven effective in industrial production. The approaches to ensuring the processes of designing cyber-physical building systems through the development and application of General mathematical models for the processes of data exchange and management are considered. The presented models of data exchange and management of cyber-physical building systems describe the processes implemented at each stage of the life cycle of cyber-physical building systems. Functional blocks of the considered models allow to describe the processes of data collection, storage and processing on the current and past stages of the life cycle of cyber-physical construction systems. The presented models are the elements of mathematical support of the processes of designing cyber-physical building systems, which determine the processes of information exchange and management between the structures of cyber-physical building systems of different levels of hierarchy in the full life cycle.

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.

Sign in / Sign up

Export Citation Format

Share Document