AUTOMATIC SYSTEM REQUIREMENTS VERIFICATION FOR AN MBSE-ORIENTED AIRCRAFT DESIGN PROCESS

The requirement analysis, within the deployment of the Systems Engineering methodology, is one of the most important steps of the design process of a new product. It is paramount to guarantee robust requirements and to carefully check that each of them is allocated and fulfilled. To reach that goal, the Model-Based Systems Engineering provides some formal methods for the elicitation and trace of requirements, and drives their verification and validation. However, textual requirements can be very complex objects to be integrated in that process, due to their typical abstraction and the lack of that interpretability, which is assured, for instance, into a logic dependent environment. This paper introduces a new approach to robustly write requirements and easily integrate them into the models commonly used to describe the system to be designed. To make clearer the rationale exposed, the case of an aircraft landing gear is exploited as a test. Thus, the physical models of that system are presented, followed by the requirements elicitation and their allocation to the system functional models. Finally, the verification process is discussed. The final goal of this activity is providing the designer with a useful and versatile workflow, enabling the requirements verification since the early steps of the design process, to avoid the risk and cost associated with an unforeseen deviation of product characteristics, in later stages of the design process.