MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE.

The article discusses the use of models to verify and validate embedded software applications. Topics include software design specification, "in the loop" testing methods including model-in-the-loop, software-in-the-loop, processor-in-the-loop, and hardware-in-the-loop, timing considerations, managi...

Descripción completa

Detalles Bibliográficos

Publicado en:	Computer (00189162) Vol. 42; no. 4; pp. 53 - 60
Autores principales:	Shokry, Hesham, Hinchey, Mike
Formato:	Artículo
Publicado:	IEEE Apr2009
Materias:	Software engineering Model-driven software architecture Software validation Embedded computer systems Embedded computer systems > Programming Computer software development
Acceso en línea:	Ver este registro en EBSCOhost