Property‐Model Methodology: A Model‐Based Systems Engineering Approach Using VHDL‐AMS

Patrice Micouin

Systems Engineering, 2014, vol. 17, issue 3, 249-263

Abstract: 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.

Date: 2014
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1002/sys.21267

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:syseng:v:17:y:2014:i:3:p:249-263

Access Statistics for this article

More articles in Systems Engineering from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().