By the same authors

Improving certification capability through automatic code generation

Research output: Chapter in Book/Report/Conference proceedingChapter



Publication details

Title of host publicationBuilding the Information Society: IFIP 18th World Computer Congress Topical Sessions
DatePublished - 2004
PublisherSpringer Boston
VolumeIFIP Congress Topical Sessions
Original languageUndefined/Unknown

Publication series

NameIFIP International Federation for Information Processing
PublisherSpringer Boston


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations