Property Model Methodology: A First Application to an Operational Project in the Space Domain

  • Erwann PoupartEmail author
  • Jean-Marie Wallut
  • Patrice Micouin
Conference paper


The purpose of this paper is to provide a feedback on a Model Based Systems Engineering application to a space domain project. In the core of the paper, and after a synthetic presentation of the systems engineering methodology called Property Model Methodology (PMM), the case study, coming from the space domain, is described. In this context, PMM has been used in order to validate a top-level textual specification and to define the verification scenarios and verification cases aiming at establishing the correctness and the completeness of the physical system developed according to this top-level textual specification. The paper provides first feedbacks about PMM utilization. The conclusion summarizes the benefits and also the limitations that are identified today, and includes a presentation of the future works.


Observable State Ground Segment Product Item Elementary Building Block Textual Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Newport, J.R.: Avionic Systems Design. CRC Press (1994)Google Scholar
  2. 2.
    Micouin, P.: Model Based Systems Engineering: Fundamentals and Methods. Wiley & ISTE (2014)Google Scholar
  3. 3.
    IEEE Standard 1362, System definition—concept of operations document (1998)Google Scholar
  4. 4.
    von Lamsweerde, A.: Requirements Engineering. Wiley (2009)Google Scholar
  5. 5.
    IEEE Standard VHDL Analog and Mixed-Signal Extensions, IEEE 1076-1, IEEE Computer Society (2007)Google Scholar
  6. 6.
    Modelica Association, Modelica®—A unified object-oriented language for systems modeling language specification version 3.3 (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Erwann Poupart
    • 1
    Email author
  • Jean-Marie Wallut
    • 1
  • Patrice Micouin
    • 2
  1. 1.CNES Centre Spatial de ToulouseToulouse Cedex 9France
  2. 2.Arts et Métiers ParisTech LSIS UMR CNRSAix-En-ProvenceFrance

Personalised recommendations