Unified framework and survey for model verification, validation and uncertainty quantification
S Riedmaier, B Danquah, B Schick… - Archives of Computational …, 2021 - Springer
Simulation is becoming increasingly important in the development, testing and approval
process in many areas of engineering, ranging from finite element models to highly complex …
process in many areas of engineering, ranging from finite element models to highly complex …
Time robustness in MTL and expressivity in hybrid system falsification
T Akazaki, I Hasuo - International Conference on Computer Aided …, 2015 - Springer
Building on the work by Fainekos and Pappas and the one by Donzé and Maler, we
introduce AvSTL, an extension of metric interval temporal logic by averaged temporal …
introduce AvSTL, an extension of metric interval temporal logic by averaged temporal …
Review on testing of cyber physical systems: Methods and testbeds
X Zhou, X Gou, T Huang, S Yang - IEEE Access, 2018 - ieeexplore.ieee.org
Cyber physical systems (CPSs) are rapidly developing, with increasing scale, complexity,
and heterogeneity. However, testing CPSs systematically to ensure that they operate with …
and heterogeneity. However, testing CPSs systematically to ensure that they operate with …
Notions of conformance testing for cyber-physical systems: Overview and roadmap
N Khakpour, MR Mousavi - 26th International Conference on …, 2015 - drops.dagstuhl.de
We review and compare three notions of conformance testing for cyber-physical systems.
We begin with a review of their underlying semantic models and present conformance …
We begin with a review of their underlying semantic models and present conformance …
Model conformance for cyber-physical systems: A survey
H Roehm, J Oehlerking, M Woehrle… - ACM Transactions on …, 2019 - dl.acm.org
Model-based development is an important paradigm for developing cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related to the …
(CPS). The underlying assumption is that the functional behavior of a model is related to the …
Uncertainty-wise test case generation and minimization for cyber-physical systems
Abstract Cyber-Physical Systems (CPSs) typically operate in highly indeterminate
environmental conditions, which require the development of testing methods that must …
environmental conditions, which require the development of testing methods that must …
Formal property verification in a conformance testing framework
H Abbas, H Mittelmann… - 2014 Twelfth ACM/IEEE …, 2014 - ieeexplore.ieee.org
In model-based design of cyber-physical systems, such as switched mixed-signal circuits or
software-controlled physical systems, it is common to develop a sequence of system models …
software-controlled physical systems, it is common to develop a sequence of system models …
Targeted attack synthesis for smart grid vulnerability analysis
Modern smart grids utilize advanced sensors and digital communication to manage the flow
of electricity from generation source to consumption points. They also employ anomaly …
of electricity from generation source to consumption points. They also employ anomaly …
Employing multi-objective search to enhance reactive test case generation and prioritization for testing industrial cyber-physical systems
The test case generation and prioritization of industrial cyber-physical systems face critical
challenges, and simulation-based testing is one of the most commonly used techniques for …
challenges, and simulation-based testing is one of the most commonly used techniques for …
An algebraic framework for runtime verification
Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the
correctness of complex systems, including cyber-physical systems (CPSs). Modern RV tools …
correctness of complex systems, including cyber-physical systems (CPSs). Modern RV tools …