The purpose of this Appendix is to propose elements to translate system models (SMs) following the property-model method (PMM) methodology into a simulation model that allows us (1) to validate the specification models, (2) to verify the PMM design models and (3) to prepare the underlying phases of verifying the realization (single physical verification, physical integration and installation verifications).
In section A1.2, we will discuss roles introduced by the PMM methodology, namely the roles of the specifier, designer, validator and verifier. We will also mention the means required to perform PMM activities, namely the front-end of modeling used by specifiers and designers and the back-end of simulation, for validators and verifiers.
In the next sections, we will cover the modeling of a system specification and modeling of different design models. In section A1.3, we will consider the declaration and definition of specification model ports as well as the declaration and definition of property-based requirements (PBRs), which are also included in a specification model. In section A1.4, we will consider the declaration and definition of different design models associated with a given specification model, namely equation design models, behavioral design models (BDMs), structural design and reliability design models (RDMs). For each of these models, the required resources are identified. The Appendix concludes with section A1.5, on the configuration ...