Model-Driven Engineering and Safety-Critical Embedded Software

Authors:
Sandeep K. Shukla
Affiliations:
Virginia Polytechnic Institute and State University
Venue:
Computer
Year:
2009

Citing 0
Cited 1

Managing embedded systems complexity with aspect-oriented model-driven engineering

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	4.10

Visualization

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.