Efficient and customizable integration of temporal properties into SystemC
In this chapter, we describe our enhanced extension of SystemC with temporal properties.
The two main tasks involved are the synthesis of checker automata corresponding to given …
The two main tasks involved are the synthesis of checker automata corresponding to given …
Semiformal verification of temporal properties in automotive hardware dependent software
The verification of embedded software has become an important subject over the last years.
This work presents a new semiformal verification approach called SofTPaDS. It combines …
This work presents a new semiformal verification approach called SofTPaDS. It combines …
Modeling and formal verification of production automation systems
This paper presents the real-time model checker RAVEN and related theoretical
background. RAVEN augments the efficiency of traditional symbolic model checking with …
background. RAVEN augments the efficiency of traditional symbolic model checking with …
Scalable and optimized hybrid verification of embedded software
The verification of embedded software has become an important subject over the last years.
However, neither standalone verification approaches, like simulation-based/formal …
However, neither standalone verification approaches, like simulation-based/formal …
Scalable hybrid verification for embedded software
The verification of embedded software has become an important subject over the last years.
However, neither standalone verification approaches, like simulation-based or formal …
However, neither standalone verification approaches, like simulation-based or formal …
Dynamic guiding of bounded property checking
PM Peranandam, RJ Weiss, J Ruf… - … High-Level Design …, 2004 - ieeexplore.ieee.org
Current statistics attribute up to 75% of the overall design costs of digital hardware and
embedded system development to the verification task. In recent years, the trend to augment …
embedded system development to the verification task. In recent years, the trend to augment …
Optimized hybrid verification of embedded software
J Behrend, A Gruenhage, D Schroeder… - 2014 15th Latin …, 2014 - ieeexplore.ieee.org
The verification of embedded software has become an important subject over the last years.
However, neither standalone verification approaches, like simulation-based or formal …
However, neither standalone verification approaches, like simulation-based or formal …
[PDF][PDF] Optimisation and analysis of railway timetables under consideration of uncertainties
R Haehn - 2022 - publications.rwth-aachen.de
Railway systems are complex systems that are strongly affected by uncertainties like
weather, technical problems, or demand. Despite these uncertainties, railway systems need …
weather, technical problems, or demand. Despite these uncertainties, railway systems need …
Verification of temporal properties in embedded software
DV Lettnin - 2009 - ub01.uni-tuebingen.de
For some years ago the main statement among verification engineers was “Bugs in
hardware cost money”. Nowadays, the embedded software is playing an important role in …
hardware cost money”. Nowadays, the embedded software is playing an important role in …
[PDF][PDF] Parallel bounded property checking with SymC
Today, verification of industrial size designs like multi-million gate ASICs (Application
Specific Integrated Circuit) and SoC (System-on-a-Chip) processors consumes up to 75% of …
Specific Integrated Circuit) and SoC (System-on-a-Chip) processors consumes up to 75% of …