Issue No. 09 - September (2009 vol. 42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2009.294
Sandeep K. Shukla , Virginia Polytechnic Institute and State University
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.
Model-driven engineering, Safety-critical embedded software, Autocode generation
S. K. Shukla, "Model-Driven Engineering and Safety-Critical Embedded Software," in Computer, vol. 42, no. , pp. 93-95, 2009.