Title :
Model-Driven Engineering and Safety-Critical Embedded Software
Author :
Shukla, Sandeep K.
Author_Institution :
Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
Abstract :
Implementations embodied in a formally defined language with unambiguous semantics and a sound surrounding correctness for preserving refinement methodology make safety-critical software even safer.
Keywords :
embedded systems; safety-critical software; software fault tolerance; formal defined language; model-driven engineering; preserving refinement methodology; safety-critical embedded software; Embedded software; Model driven engineering; Software safety; Autocode generation; Model-driven engineering; Safety-critical embedded software;
DOI :
10.1109/MC.2009.294
