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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Agile Manifesto: http://www.agilemanifesto.org/sign/display.cgi?ms=000000309.
References
Newport, J.R.: Avionic Systems Design. CRC Press (1994)
Micouin, P.: Model Based Systems Engineering: Fundamentals and Methods. Wiley & ISTE (2014)
IEEE Standard 1362, System definition—concept of operations document (1998)
von Lamsweerde, A.: Requirements Engineering. Wiley (2009)
IEEE Standard VHDL Analog and Mixed-Signal Extensions, IEEE 1076-1, IEEE Computer Society (2007)
Modelica Association, Modelica®—A unified object-oriented language for systems modeling language specification version 3.3 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Poupart, E., Wallut, JM., Micouin, P. (2016). Property Model Methodology: A First Application to an Operational Project in the Space Domain. In: Auvray, G., Bocquet, JC., Bonjour, E., Krob, D. (eds) Complex Systems Design & Management. Springer, Cham. https://doi.org/10.1007/978-3-319-26109-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-26109-6_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26107-2
Online ISBN: 978-3-319-26109-6
eBook Packages: EngineeringEngineering (R0)