By the same authors

Improving certification capability through automatic code generation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publicationBUILDING THE INFORMATION SOCIETY
DatePublished - 2004
Pages511-520
Number of pages10
PublisherSPRINGER
Place of PublicationDORDRECHT
EditorsR Jacquart
Original languageEnglish
ISBN (Print)1-4020-8156-1

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.

    Research areas

  • autocode generators, safety, MDA

Discover related content

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

View graph of relations