Skip to main content
Top

2016 | OriginalPaper | Chapter

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

Authors : Erwann Poupart, Jean-Marie Wallut, Patrice Micouin

Published in: Complex Systems Design & Management

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Newport, J.R.: Avionic Systems Design. CRC Press (1994) Newport, J.R.: Avionic Systems Design. CRC Press (1994)
2.
go back to reference Micouin, P.: Model Based Systems Engineering: Fundamentals and Methods. Wiley & ISTE (2014) Micouin, P.: Model Based Systems Engineering: Fundamentals and Methods. Wiley & ISTE (2014)
3.
go back to reference IEEE Standard 1362, System definition—concept of operations document (1998) IEEE Standard 1362, System definition—concept of operations document (1998)
4.
go back to reference von Lamsweerde, A.: Requirements Engineering. Wiley (2009) von Lamsweerde, A.: Requirements Engineering. Wiley (2009)
5.
go back to reference IEEE Standard VHDL Analog and Mixed-Signal Extensions, IEEE 1076-1, IEEE Computer Society (2007) IEEE Standard VHDL Analog and Mixed-Signal Extensions, IEEE 1076-1, IEEE Computer Society (2007)
6.
go back to reference Modelica Association, Modelica®—A unified object-oriented language for systems modeling language specification version 3.3 (2012) Modelica Association, Modelica®—A unified object-oriented language for systems modeling language specification version 3.3 (2012)
Metadata
Title
Property Model Methodology: A First Application to an Operational Project in the Space Domain
Authors
Erwann Poupart
Jean-Marie Wallut
Patrice Micouin
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-26109-6_12