About the journal

• Home page
• Contact information
• Aims and scope
• Indexing information
• Editorial policies
• ComSIS consortium
• Journal boards
• Managing board

For authors

• Information for contributors
• Paper submission
• Article submission through OJS
• Copyright transfer form
• Download section

For readers

• Forthcoming articles
• Current issue
• Archive

For reviewers

• View and review submissions

News

• Journal's Facebook page
• Calls for special issues
• New issue notification

Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology

Mounia Elqortobi¹, Warda El-Khouly¹, Amine Rahj¹, Jamal Bentahar¹ and Rachida Dssouli¹

1. Concordia University, Quebec, Canada
   m_elqort@ mail.concordia.ca, warda_elkholy@yahoo.com {amine.rahj, jamal.bentahar, rachida.dssouli}@ concordia.ca

Abstract

In this paper, we address the issues of safety-critical software verification and testing that are key requirements for achieving DO-178C and DO-331 regulatory compliance for airborne systems. Formal verification and testing are considered two different activities within airborne standards and they belong to two different levels in the avionics software development cycle. The objective is to integrate model-based verification and model-based testing within a single framework and to capture the benefits of their cross-fertilization. This is achieved by proposing a new methodology for the verification and testing of parallel communicating agents based on formal models. In this work, properties are extracted from requirements and formally verified at the design level, while the verified properties are propagated to the implementation level and checked via testing. The contributions of this paper are a methodology that integrates verification and testing, formal verification of some safety critical software properties, and a testing method for Modified Condition/Decision Coverage (MC/DC). The results of formal verification and testing can be used as evidence for avionics software certification.

Key words

Model-based Verification, Model Checking, Communication Graph, Methodology, Model-based Testing, Partial Reachability Graph, MC/DC (Modified Condition/Decision Coverage)

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS123456789X

Publication information

Volume 17, Issue 1 (January 2020)
Year of Publication: 2020
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

Available in PDF
Portable Document Format

How to cite

Elqortobi, M., El-Khouly, W., Rahj, A., Bentahar, J., Dssouli, R.: Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology. Computer Science and Information Systems, Vol. 17, No. 1, 271-292. (2020), https://doi.org/10.2298/CSIS123456789X