Cyber-Physical Specification Mismatches

06/24/2018
by   Luan V. Nguyen, et al.
0

Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the system, and new components do not match those assumptions. In this work, we present an automated method towards identifying unstated assumptions in CPS. Dynamic specifications in the form of candidate invariants of both the software and physical components are identified using dynamic analysis (executing and/or simulating the system implementation or model thereof). A prototype tool called Hynger (for HYbrid iNvariant GEneratoR) was developed that instruments Simulink/Stateflow (SLSF) model diagrams to generate traces in the input format compatible with the Daikon invariant inference tool, which has been extensively applied to software systems. Hynger, in conjunction with Daikon, is able to detect candidate invariants of several CPS case studies. We use the running example of a DC-to-DC power converter, and demonstrate that Hynger can detect a specification mismatch where a tolerance assumed by the software is violated due to a plant change. Another case study of an automotive control system is also introduced to illustrate the power of Hynger and Daikon in automatically identifying cyber-physical specification mismatches.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/03/2020

Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems

Reliability and fault tolerance are critical attributes of embedded cybe...
research
07/06/2018

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software

Cyber-physical software continually interacts with its physical environm...
research
08/17/2021

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Industrial cyber-physical systems require complex distributed software t...
research
08/09/2021

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments

The development of cyber-physical systems can significantly benefit from...
research
02/19/2023

Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?

Cyber-physical systems, such as learning robots and other autonomous sys...
research
09/14/2022

Falsification of Cyber-Physical Systems using Bayesian Optimization

Cyber-physical systems (CPSs) are usually complex and safety-critical; h...
research
09/23/2021

Degradation and Failure Mechanisms of Complex Systems: Principles

A cyber physical human complex system failure prevents the accomplishmen...

Please sign up or login with your details

Forgot password? Click here to reset