Premium
Property‐Model Methodology: A Model‐Based Systems Engineering Approach Using VHDL‐AMS
Author(s) -
Micouin Patrice
Publication year - 2013
Publication title -
systems engineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.474
H-Index - 50
eISSN - 1520-6858
pISSN - 1098-1241
DOI - 10.1002/sys.21267
Subject(s) - computer science , system requirements specification , process (computing) , redundancy (engineering) , systems engineering , engineering design process , reliability engineering , systems design , property (philosophy) , software engineering , engineering , programming language , mechanical engineering , philosophy , epistemology , operating system
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 in 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 safety PBRs to prevent the consequences of failure conditions and verify mitigation means, such as redundancy or dissimilarity, introduced in design models to meet these safety PBRs . Thus, we consider that our proposals improve MBSE current practices making them safer for the development of present and future systems.