Model Based Systems Engineering: Fundamentals and Methods

9

Verifying the Implementation Step by Step

9.1. Introduction

In this chapter, we will discuss the verification carried out at different stages of the realization (implementation) of a given system. We recall that the signification of the term “verification” depends on the standard or the norm with which it is used. Here, we work within the framework of the ARP4754A recommendation as we did for the validation, and in order to remain consistent, within a validation/verification cut.

Consequently, the concept of verification only refers to the different stages of the implementation of a given type of systems, and there is no sense in discussing the verification of a software specification in relation to the system specification it depends on, as in the case of the DO-178C [EUR 12].

First, we will recall what the ARP4754A states about the verification process, as well as its goal and the means that this recommendation encourages and applies. Second, we will then see how these goal and means can be declined within the framework of the systems engineering approach based on the models we propose, namely the Property Model Methodology (PMM).

9.2. The verification process according to the ARP4754A

9.2.1 Goal of the verification

The ARP4754A recommendation defines the verification as a process by which we ensure that all the levels of implementation of a given type of systems are consistent with the requirements specified to them and how, once integrated and installed, such systems are ...