High-Integrity Model-Based Development

View Sample PDF

Author(s): K. Lano (King's College London, UK)and S. Kolahdouz-Rahimi (King's College London, UK)
Copyright: 2015
Pages: 21
Source title: Handbook of Research on Innovations in Systems and Software Engineering
Source Author(s)/Editor(s): Vicente García Díaz (University of Oviedo, Spain), Juan Manuel Cueva Lovelle (University of Oviedo, Spain)and B. Cristina Pelayo García-Bustelo (University of Oviedo, Spain)
DOI: 10.4018/978-1-4666-6359-6.ch019

Keywords: Computer Science & IT / Information Science Reference / Systems & Software Design / Systems and Software Engineering

Purchase

View High-Integrity Model-Based Development on the publisher's website for pricing and purchasing information.

Abstract

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.

The IRMA Community

Research IRM

High-Integrity Model-Based Development

Purchase

Abstract

Related Content

IRMA Sponsors