TY - GEN
T1 - Invited
T2 - 56th Annual Design Automation Conference, DAC 2019
AU - Werner, Michael
AU - Devarajegowda, Keerthikumara
AU - Chaari, Moomen
AU - Ecker, Wolfgang
N1 - Publisher Copyright:
© 2019 Copyright held by the owner/author(s).
PY - 2019/6/2
Y1 - 2019/6/2
N2 - Developing software in a slightly different way can have a dramatic impact on soft error resilience. This observation can be transferred in a process of improving existing code by transformations. These transformations are of systematic nature and can be automated. In this paper, we present a framework for low level embedded software generation - commonly referred to as firmware - and the inclusion of safety measures in the generated code. The generation approach follows a three stage process starting with formalized firmware specification using both platform dependent and independent firmware models. Finally, C-code is generated from the view model in a straight forward way. Safety measures are included either as part of the translation step between the models or as transformations of single models.
AB - Developing software in a slightly different way can have a dramatic impact on soft error resilience. This observation can be transferred in a process of improving existing code by transformations. These transformations are of systematic nature and can be automated. In this paper, we present a framework for low level embedded software generation - commonly referred to as firmware - and the inclusion of safety measures in the generated code. The generation approach follows a three stage process starting with formalized firmware specification using both platform dependent and independent firmware models. Finally, C-code is generated from the view model in a straight forward way. Safety measures are included either as part of the translation step between the models or as transformations of single models.
KW - Code Generation
KW - Design Automation
KW - Meta-modeling
KW - Model Driven Architecture
KW - Safety Transformation
UR - http://www.scopus.com/inward/record.url?scp=85067830499&partnerID=8YFLogxK
U2 - 10.1145/3316781.3323479
DO - 10.1145/3316781.3323479
M3 - Conference contribution
AN - SCOPUS:85067830499
T3 - Proceedings - Design Automation Conference
BT - Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 2 June 2019 through 6 June 2019
ER -