Abstract
Model Based System Engineering (MBSE) is “the formalized application of modeling to support system requirements, design, analysis, verification and validation activities beginning in the conceptual design phase and continuing throughout development and later life cycle phases” [1]. Among other principles, it promotes creating and analyzing models all along systems engineering. These models are used to discuss, to argue and finally to make decisions that impact the achieved system (in terms of functioning, costs, safety, etc.). One of the main expectations of MBSE is to permit engineers to dispose of models with a high level of confidence. For this purpose, several model Verification and Validation (V&V) approaches exist, aiming to ensure models’ quality in terms of construction (models are correctly built) and in terms of relevance for reaching design objectives and stakeholders’ requirements. This paper aims at discussing and evaluating an approach originally developed in the field of Model Driven Engineering by proposing some adaptations. The approach is illustrated on a well-known functional modeling language dedicated to MBSE field.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
INCOSE, Systems Engineering Vision 2020, INCOSE-TP-2004 (September 2007)
ISO/IEC, ISO/IEC 1528: Systems and software engineering - System life cycle processes, vol. 2008(1), p. 5. IEEE (2008)
Estefan, J.A.: Survey of Model-Based Systems Engineering (MBSE) Methodologies 2. Differentiating Methodologies from Processes, Methods, and Lifecycle Models. Jet Propuls 25, 1–70 (2008)
BKCASE Project, System Engineering Book of Knowledge, SEBoK v1.2., http://www.sebokwiki.org/
Kent, S.: Model Driven Engineering. In: Integr. Form. Methods, pp. 286–298 (2002)
Pfister, F., Chapurlat, V., Marianne, H., Nebut, C.: A light-weight annotation-based solution to design Domain Specific Graphical Modeling Languages. In: Proceedings of Modelling Foundations and Applications - 9th European Conference (2013)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, p. 744. Addison-Wesley Professional (2008)
Pontisso, N., Chemouil, D.: TOPCASED Combining Formal Methods with Model-Driven Engineering. In: 21st IEEE/ACM Int. Conf. Autom. Softw. Eng. (2006)
Jézéquel, J.-M., Barais, O., Fleurey, F.: Model driven language engineering with Kermeta. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 201–221. Springer, Heidelberg (2011)
Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture, p. 416. Addison-Wesley Professional (2002)
Combemale, B., Crégut, X., Pantel, M.: A Design Pattern for Executable DSML. In: The 19th Asia-Pacific Software Engineering Conference (APSEC), pp. 282–287 (2012)
DoD, Systems Engineering Fundamentals. Def. Acquis. Univ. Press (2001)
Combemale, B.: Approche de métamodélisation pour la simulation et la vérification de modèle – Application à l’ingénierie des procédés. Phd - INPT (2008) (in French)
Jouault, F., Allilaire, F., Bézivin, J.: ATL: a QVT-like transformation language. In: Companion to 21st ACM SIGPLA, pp. 719–720 (2006)
OMG, MOF Core specification, v2.4.1 (2013), http://www.omg.org/spec/MOF/2.4.1/PDF/
OMG, OCL: Object Constraint Language, v2.4 (2014), http://www.omg.org/spec/OCL/2.4
Seidner, C.: EFFBDs Verification: Model checking in Systems Engineering. Pdh University of Nantes (2009) (in French)
Chapurlat, V., Braesch, C.: Verification, validation, qualification and certification of enterprise models: Statements and opportunities. Comput. Ind., 711–721 (2008)
Haskins, C., Forsberg, K., Krueger, M.: Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities. In: Systems Engineering. INCOSE (International Council on Systems Engineering) (August 2011)
Chesnut, H.: Systems Engineering Methods. Wiley & Sons (1967)
Aizier, B., Chapurlat, V., Lisy-Destrez, S., Prun, D., Seidner, C., Wippler, J.-L.: xFFBD: towards a formal yet functional modeling language for system designers. In: 22nd Annual INCOSE International Symposium (2012)
Combemale, B., Cregut, X., Garoche, P.-L., Thirioux, X., Vernadat, F.: A Property-Driven Approach to Formal Verification of Process Models. In: Filipe, J., Cordeiro, J., Cardoso, J. (eds.) ICEIS 2007. LNBIP, vol. 12, pp. 286–300. Springer, Heidelberg (2008)
IEC 60848, Specification language GRAFCET for sequential function charts. 2nd edn. (2000)
Dasgupta, P.: A roadmap for formal property verification. Springer (2010)
Chapurlat, V.: UPSL-SE: A model verification framework for Systems Engineering. Comput. Ind. 64(5), 581–597 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Nastov, B., Chapurlat, V., Dony, C., Pfister, F. (2015). A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics. In: Boulanger, F., Krob, D., Morel, G., Roussel, JC. (eds) Complex Systems Design & Management. Springer, Cham. https://doi.org/10.1007/978-3-319-11617-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-11617-4_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11616-7
Online ISBN: 978-3-319-11617-4
eBook Packages: EngineeringEngineering (R0)