EffektiV Special Session @ Forum on Design Languages 2016

Thursday, September 15, 2016 12:30-13:30

Special Session 3: Reliability and Safety in VP-based Embedded System Development

Chair: Daniel Große - University of Bremen

On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study

Vladimir Herdt, Hoang M. Le, Daniel Große and Rolf Drechsler

Fault-Effect Analysis on System-Level Hardware Modeling using Virtual Prototypes

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse and Cristiano Novello