Espinosa García, Jaime; Hernández Luz, Carles; Abella, Jaume; Andrés Martínez, David de; Ruiz García, Juan Carlos(ACM, 2015-06)
Increasingly complex microcontroller designs for safety-relevant
automotive systems require the adoption of new methods
and tools to enable a cost-effective verification of their
robustness. In particular, costs associated ...
Espinosa García, Jaime; Andrés Martínez, David de; Ruiz García, Juan Carlos; Hernández Luz, Carles; Abella, Jaume(IEEE Conference Publications, 2015-09)
Safety-critical applications are required today to meet
more and more stringent standards than ever. In the need of
reducing the costs associated with the certification step, early
robustness evaluation can provide ...