King's College London

Research portal

High-integrity model-based development

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationHandbook of Research on Innovations in Systems and Software Engineering
PublisherIGI Global
Number of pages21
ISBN (Print)9781466663626, 9781466663602
Publication statusPublished - 31 Aug 2014

King's Authors


Model-Based Development (MBD) has become increasingly used for critical systems, and it is the subject of the MBDV supplement to the DO-178C standard. In this chapter, the authors review the requirements of DO-178C for model-based development, and they identify ways in which MBD can be combined with formal verification to achieve DO-178C requirements for traceability and verifiability of models. In particular, the authors consider the implications for model transformations, which are a central part of MBD approaches, and they identify how transformations can be verified using formal methods tools.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454