[PDF][PDF] Benchmarks for Temporal Logic Requirements for Automotive Systems.
ARCH@ CPSWeek, 2014•bhoxha.com
We propose to standardize two Matlab/Simulink models of automotive systems as
benchmark problems for hybrid system verification. Both models can be simulated quickly,
making them ideal for testing-based verification methods that require a significant number of
system output trajectories. One of the benchmarks is the Automatic Transmission model,
which is deterministic. The other benchmark is the Fault-Tolerant Fuel Control System, which
exhibits stochastic behavior. Our benchmark standardization defines a number of Metric …
benchmark problems for hybrid system verification. Both models can be simulated quickly,
making them ideal for testing-based verification methods that require a significant number of
system output trajectories. One of the benchmarks is the Automatic Transmission model,
which is deterministic. The other benchmark is the Fault-Tolerant Fuel Control System, which
exhibits stochastic behavior. Our benchmark standardization defines a number of Metric …
Abstract
We propose to standardize two Matlab/Simulink models of automotive systems as benchmark problems for hybrid system verification. Both models can be simulated quickly, making them ideal for testing-based verification methods that require a significant number of system output trajectories. One of the benchmarks is the Automatic Transmission model, which is deterministic. The other benchmark is the Fault-Tolerant Fuel Control System, which exhibits stochastic behavior. Our benchmark standardization defines a number of Metric Temporal Logic requirements that must be satisfied by the models.
Category: academic Difficulty: medium
bhoxha.com
以上显示的是最相近的搜索结果。 查看全部搜索结果