Perceptions on the state of the art in verification and validation in cyber-physical systems
It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …
Safety and security in cyber-physical systems and internet-of-things systems
M Wolf, D Serpanos - Proceedings of the IEEE, 2017 - ieeexplore.ieee.org
Safety and security have traditionally been distinct problems in engineering and computer
science. The introduction of computing elements to create cyber-physical systems (CPSs) …
science. The introduction of computing elements to create cyber-physical systems (CPSs) …
[PDF][PDF] On the state of the art in verification and validation in cyber physical systems
It is widely held that debugging cyber-physical systems (CPS) is challenging. However, few
empirical studies quantitatively and qualitatively capture the state of the art and the state of …
empirical studies quantitatively and qualitatively capture the state of the art and the state of …
Dependable model-driven development of CPS: From stateflow simulation to verified implementation
Simulink is widely used for model-driven development (MDD) of cyber-physical systems.
Typically, the Simulink-based development starts with Stateflow modeling, followed by …
Typically, the Simulink-based development starts with Stateflow modeling, followed by …
Using language workbenches and domain-specific languages for safety-critical software development
Abstract Language workbenches support the efficient creation, integration, and use of
domain-specific languages. Typically, they execute models by code generation to …
domain-specific languages. Typically, they execute models by code generation to …
Verifying safety for resilient cyber-physical systems via reactive software restart
Resilient cyber-physical systems (CPS) must ensure safety and per-form required tasks in
the presence of malicious cyber attacks. Recently, restart-based defenses have been …
the presence of malicious cyber attacks. Recently, restart-based defenses have been …
Closing the loop: Validation of implantable cardiac devices with computational heart models
Objective: Cardiovascular Implantable Electronic Devices (CIEDs) are used extensively for
treating life-threatening conditions such as bradycardia, atrioventricular block and heart …
treating life-threatening conditions such as bradycardia, atrioventricular block and heart …
Hybrid automata: from verification to implementation
Hybrid automata are an important formalism for modeling dynamical systems exhibiting
mixed discrete–continuous behavior such as control systems and are amenable to formal …
mixed discrete–continuous behavior such as control systems and are amenable to formal …
Verifying simulink stateflow model: timed automata approach
Y Yang, Y Jiang, M Gu, J Sun - Proceedings of the 31st IEEE/ACM …, 2016 - dl.acm.org
Simulink Stateflow is widely used for the model-driven development of software. However,
the increasing demand of rigorous verification for safety critical applications brings new …
the increasing demand of rigorous verification for safety critical applications brings new …
From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Simulink is widely used for model driven development (MDD) of industrial software systems.
Typically, the Simulink based development is initiated from Stateflow modeling, followed by …
Typically, the Simulink based development is initiated from Stateflow modeling, followed by …