Options
2014
Conference Paper
Titel
Reliable execution of statechart-generated correct embedded software under soft errors
Abstract
This paper proposes a design methodology for faulttolerant embedded systems development that starts from software specification and goes down to hardware execution. The proposed design methodology uses formally verified and correctby-construction software created from high-level UML statechart models for software specification and implementation. On the hardware reliability side, this paper uses the MoMa architecture for reliable embedded computing which we deploy as a softcore onto an off-the-shelf FPGA. MoMa introduces architectural innovations that support the semantics of the UML statechart execution in a reliable fashion. The proposed design methodology is evaluated with a real automotive case study based on an exhaustive FPGA-implemented fault injection campaign.
Author(s)
Ferreira, Ronaldo R.
Instituto de Informàtica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil
Rolt, Jean da
Instituto de Informàtica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil
Nazar, Gabriel L.
Instituto de Informàtica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil
Moreira, Àlvaro F.
Instituto de Informàtica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil
Carro, Luigi
Instituto de Informàtica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil