Improving certification capability through automatic code generation
Neil C. Audsley, Iain Bate, Steve Crook-Dawkins and John 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.
Download Not Available
BibTex Entry
@inbook{Audsley2004f,
author = {Neil C. Audsley and Iain Bate and Steve Crook-Dawkins and John McDermid},
pages = {511-520},
publisher = {Springer Boston},
series = {IFIP International Federation for Information Processing},
title = {Improving certification capability through automatic code generation},
volume = {IFIP Congress Topical Sessions},
year = {2004}
}