Property‐Model Methodology: A Model‐Based Systems Engineering Approach UsingVHDL‐AMS

Abstract

ABSTRACTThe 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 byINCOSEin its Systems Engineering Vision 2020. After briefly presenting the tools used and summarizing a state‐of‐the‐art system design process, we show how it is possible to define property‐based requirements (PBRs) as features of specification models and to apply the design process to this specification model in order to develop design models. Then, we 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 subentities of the system, to perform a simulation‐based validation process of specification models in order to detect and remove specification errors. Additionally, we show how we define safetyPBRsto prevent the consequences of failure conditions and verify mitigation means, such as redundancy or dissimilarity, introduced in design models to meet these safetyPBRs. Thus, we consider that our proposals improveMBSEcurrent practices making them safer for the development of present and future systems.