Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation
| Autor: | Moomen Chaari, Thomas Kruse, Bogdan-Andrei Tabacaru, Cristiano Novello, Wolfgang Ecker |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
010302 applied physics
Computer science business.industry Automotive industry 02 engineering and technology Fault injection Orders of magnitude (voltage) 01 natural sciences Manifold 020202 computer hardware & architecture Flow (mathematics) SystemC Embedded system 0103 physical sciences Space requirements 0202 electrical engineering electronic engineering information engineering business computer Compiled language computer.programming_language |
| Zdroj: | DSD |
| DOI: | 10.1109/dsd.2016.14 |
| Popis: | The verification complexity of safety-critical systems on chip increased manifold after the introduction of ISO 26262, the safety standard for automotive applications. As a result, checkpoint-restore techniques have been implemented to speed-up fault-injection simulations of register-transfer level and gate-level models. However, these techniques are not suitable for safety verification, since they have high hard-disk space requirements, long generation time, and are mainly generated manually. To address these limitations, in this paper, we present a compiled-code-based snapshotting mechanism, which automatically generates an arbitrary amount of checkpoints post-simulation from a model's simulation traces. Our approach uses three to four orders of magnitude less hard-disk space than commercial tools and generates checkpoints 5x to 12x faster. Finally, fault-injection simulations with our approach run 6.75x to 27x faster than with commercial tools. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|