Skip to main content

2016 | OriginalPaper | Buchkapitel

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

verfasst von : Erwann Poupart, Jean-Marie Wallut, Patrice Micouin

Erschienen in: Complex Systems Design & Management

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat Newport, J.R.: Avionic Systems Design. CRC Press (1994) Newport, J.R.: Avionic Systems Design. CRC Press (1994)
2.
Zurück zum Zitat 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.
Zurück zum Zitat IEEE Standard 1362, System definition—concept of operations document (1998) IEEE Standard 1362, System definition—concept of operations document (1998)
4.
Zurück zum Zitat von Lamsweerde, A.: Requirements Engineering. Wiley (2009) von Lamsweerde, A.: Requirements Engineering. Wiley (2009)
5.
Zurück zum Zitat 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.
Zurück zum Zitat 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)
Metadaten
Titel
Property Model Methodology: A First Application to an Operational Project in the Space Domain
verfasst von
Erwann Poupart
Jean-Marie Wallut
Patrice Micouin
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-26109-6_12