The purpose of this paper is to contribute to the definition of a model based systems engineering (MBSE) approach which would meet the objective laid out by INCOSE to promote an approach that is not a simple extrapolation of current practices. After briefly presenting the tools used and summarizing a state-of-the-art system design process, we will show how it is possible to define property-based requirements (PBR) as features of specification models and to apply the design process to this model in order to develop design models. We will also show how it is possible, to perform a simulation-based verification process of design models in order to detect and remove design errors, to substitute the initial requirements of the system with derived requirements gradually assigned to the sub-entities of the model, to perform a simulation-based validation process of specification models in order to detect and remove specification errors. Thus, we consider that our proposals improve MBSE current practices making them safer for the development of present and future systems. © 2013 Patrice Micouin. Published by Elsevier B.V. Selection and/or peer-review under responsibility of Georgia Institute of Technology.
Keywords: Property-based requirement; MBSE; specification model; design model; system model, system configuration; requirement derivation; simulation; specification model validation; design model verification.
© 2013 The Authors. Published by Elsevier B.V. Selection and/or peer-review under responsibility of Georgia Institute of Technology