Reliable execution of statechart-generated correct embedded software under soft errors

Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich. Reliable execution of statechart-generated correct embedded software under soft errors. In 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2014, Warsaw, Poland, 23-25 April, 2014. pages 147-152, IEEE, 2014. [doi]

Abstract

Abstract is missing.