Model-Driven Engineering and Safety-Critical Embedded Software

	This Article
	Subscribers, please Login Purchase article: $19 PDF HTML IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sandeep K. Shukla

September 2009 (vol. 42 no. 9)

pp. 93-95

	ASCII Text	x
	Sandeep K. Shukla, "Model-Driven Engineering and Safety-Critical Embedded Software," Computer, vol. 42, no. 9, pp. 93-95, September, 2009.

	BibTex	x
	@article{ 10.1109/MC.2009.294, author = {Sandeep K. Shukla}, title = {Model-Driven Engineering and Safety-Critical Embedded Software}, journal ={Computer}, volume = {42}, number = {9}, issn = {0018-9162}, year = {2009}, pages = {93-95}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.294}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - Computer TI - Model-Driven Engineering and Safety-Critical Embedded Software IS - 9 SN - 0018-9162 SP93 EP95 EPD - 93-95 A1 - Sandeep K. Shukla, PY - 2009 KW - Model-driven engineering KW - Safety-critical embedded software KW - Autocode generation VL - 42 JA - Computer ER -

Sandeep K. Shukla, Virginia Polytechnic Institute and State University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2009.294

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.

Index Terms:

Model-driven engineering, Safety-critical embedded software, Autocode generation

Citation:

Sandeep K. Shukla, "Model-Driven Engineering and Safety-Critical Embedded Software," Computer, vol. 42, no. 9, pp. 93-95, Sept. 2009, doi:10.1109/MC.2009.294

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.