Improving certification capability through automatic code generation

Abstract

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. © 2004 Springer Science + Business Media, Inc.