Improving Certification Capability Through Autocode Generation
N. Audsley, I. Bate, S. Crook-Dawkins and J. McDermid
Automatic code generation is a process of deriving programs directly from a design representation. Recent initiatives such as Model Driven Architectures mean they are becoming an essential component of software engineering and many commercial tools now provide this capability. Whilst these tools provide greater flexibility and responsiveness in design, they are also largely unqualified with respect to extant safety standards. This paper presents a summary of investigations into the issues in using autocode generators in critical systems, primarily avionic systems.
BibTex Entry
@inproceedings{Audsley2004d,
author = {N. Audsley and I. Bate and S. Crook-Dawkins and J. McDermid},
booktitle = {Proceedings of the World Computing Congress},
title = {Improving Certification Capability Through Autocode Generation},
year = {2004}
}