ComOpT: Combination and optimization for testing autonomous driving systems
ComOpT is an open-source research tool for coverage-driven testing of autonomous driving
systems, focusing on planning and control. Starting with (i) a meta-model characterizing …
systems, focusing on planning and control. Starting with (i) a meta-model characterizing …
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Abstract Model-based formal verification of industry-relevant Cyber-Physical Systems
(CPSs) is often a computationally prohibitive task. In most cases, the complexity of the …
(CPSs) is often a computationally prohibitive task. In most cases, the complexity of the …
[PDF][PDF] Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.
Falsification is a testing method for cyber-physical systems where numerical optimization is
used to find counterexamples of a given specification that the system must fulfill. The …
used to find counterexamples of a given specification that the system must fulfill. The …
[HTML][HTML] Adaptive testing for specification coverage and refinement in CPS models
Abstract Design of correct cyber–physical systems (CPS) is of uttermost importance for
safety-critical applications. This crucial yet extremely challenging property is often …
safety-critical applications. This crucial yet extremely challenging property is often …
Wordgen: a timed word generation tool
Sampling timed words out of a timed language described as a timed automaton may seem a
simple task: start from the initial state, choose a transition and a delay and repeat until an …
simple task: start from the initial state, choose a transition and a delay and repeat until an …
[BOOK][B] On optimization-based falsification of cyber-physical systems
Z Ramezani - 2022 - search.proquest.com
In what is commonly referred to as cyber-physical systems (CPSs), computational and
physical resources are closely interconnected. An example is the closed-loop behavior of …
physical resources are closely interconnected. An example is the closed-loop behavior of …
Multi-requirement testing using focused falsification
Testing of Cyber-Physical Systems (CPS) deals with the problem of finding input traces to
the systems such that given requirements do not hold. Requirements can be formalized in …
the systems such that given requirements do not hold. Requirements can be formalized in …
On Input Generators for Cyber-Physical Systems Falsification
Falsification is a testing method that aims to increase confidence in the correctness of cyber–
physical systems by guiding the search for counterexamples with some optimization …
physical systems by guiding the search for counterexamples with some optimization …
A Software Framework for Jetson Nano to Detect Anomalies in CAN Data
S Staroletov - 2023 International Russian Smart Industry …, 2023 - ieeexplore.ieee.org
The current pace of development of cyber-physical systems requires the elaboration of fast
methods for analyzing data circulating in them. Anomalies are patterns of data that do not …
methods for analyzing data circulating in them. Anomalies are patterns of data that do not …
Testing Autonomous Cyber-Physical Systems with Koopman Surrogate Model Predictive Control
Cyber-physical systems (CPSs) are on the rise for safety-critical applications. While formal
verification approaches may work on simple systems, these approaches need more …
verification approaches may work on simple systems, these approaches need more …