Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2005 Informatik LIVE! Band 2, Beiträge der 35 Jahrestagung der Gesellschaft für Informatik e.V. (GI), 19. bis 22. September 2005 in Bonn P-68, 501-505 (2005).


2005


Editors

Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (eds.)


Contents

Quality assurance of models for autocoding

A. Cass and P. Castori

Abstract


Automatic Code Generation is an emerging technology that holds great promise for future generations of embedded systems. However, ACG raises many fundamental questions about model and code quality. A series of experiments promise to provide an enhanced approach to Software Quality Assurance in order to allow autocoding to become a trusted industrial solution for on board space software.


Full Text: PDF

ISBN 3-88579-397-0


Last changed 24.01.2012 21:51:29