Geodesic
Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
Computer Science and Information Systems, Tome 17 (2020) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

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.
Keywords: Model-based Verification, Model Checking, Communication Graph, Methodology, Model-based Testing, Partial Reachability Graph, MC/DC (Modified Condition/Decision Coverage) 
@article{CSIS_2020_17_1_a14,
     author = {Mounia Elqortobi and Warda El-Khouly and Amine Rahj and Jamal Bentahar and Rachida Dssouli},
     title = {Verification and {Testing} of {Safety-Critical} {Airborne} {Systems:} a {Model-based} {Methodology}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/}
}
TY  - JOUR
AU  - Mounia Elqortobi
AU  - Warda El-Khouly
AU  - Amine Rahj
AU  - Jamal Bentahar
AU  - Rachida Dssouli
TI  - Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
JO  - Computer Science and Information Systems
PY  - 2020
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/
ID  - CSIS_2020_17_1_a14
ER  - 
%0 Journal Article
%A Mounia Elqortobi
%A Warda El-Khouly
%A Amine Rahj
%A Jamal Bentahar
%A Rachida Dssouli
%T Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/
%F CSIS_2020_17_1_a14
Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli. Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology. Computer Science and Information Systems, Tome 17 (2020) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/