Abstract
The increasing complexity and heterogeneity of systems require engineers to consider the verification and validation aspects in the earliest stages of the system development life cycle. To meet these expectations, Model-Based Systems Engineering (MBSE) is identified as a key practice for efficient system development while simulation is still widely used by engineers to evaluate the performance and conformance of complex systems regarding requirements. To bridge the gap between high-level modeling (from requirements) and simulation, the present paper proposes a Model-Driven Engineering (MDE) tooled approach to automate the system requirements validation using SysML models and Modelica simulation. The implementation of the related toolchain has been officially adopted by the OMG SysML-Modelica working group.
Chapter PDF
Similar content being viewed by others
Keywords
References
Estefan, J.: Survey of Model-Based Systems Engineering (MBSE) Methodologies. INCOSE, Survey TD-2007-003-01.B (June 2008)
Moore, A., Steiner, R., Friedenthal, S.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann (2009) ISBN 9780123743794
SysML-Modelica Transformation specification V1.0, Object Management Group (November 2012). http://www.omg.org/spec/SyM/1.0/
MDA Guide Version 1.0.1, Object Management Group (May 2003). http://www.omg.org/mda/mda_files/MDA_Guide_Version1-0.pdf
Bézivin, J., Breton, E., Dupé, G., Valduriez, P.: The ATL transformation-based model management framework. University of Nantes, Tech. Rep. (August 03, 2003)
J.-M. Gauthier, D. Gendreau, A. Hammad, and F. Bouquet, “Modeling and simulation of modular complex system: Application to air-jet conveyor,” in Proc. of the IEEE/ASME Int. Conference on Advanced Intelligent Mechatronics (AIM’14).plus 0.5em minus 0.4emBesançon, France: IEEE CSP, July 2014, pp. 1194–1199.
Pop, A., Akhvlediani, D., Fritzson, P.: Towards unified system modeling with the modelicaml UML profile. In: Proc. of the 1st Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2007, pp. 13–24. Linköping Univ. Electronic Press, Berlin (2007)
Schamai, W., Fritzson, P., Paredis, C., Pop, A.: Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. In: Proc. of the 7th Modelica Conference, pp. 612–621. Linköping Univ. Electronic Press, Como (2009)
Ji, H., Lenord, O., Schramm, D.: A model driven approach for requirements engineering of industrial automation systems. In: Proc. of the 4th Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2011), pp. 9–18. Linköping Univ. Electronic Press, Switzerland (2011)
C. Nytsch-Geusen, “The use of the UML within the modeling process of modelica-models.” in Proc. of the 1st Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT’07).plus 0.5em minus 0.4emBerlin, Germany: Linköping Univ. Electronic Press, July 2007, pp. 1–11.
Johnson, T., Kerzhner, A., Paredis, C.J., Burkhart, R.: Integrating models and simulations of continuous dynamics into SysML. Journal of Computing and Information Science in Engineering 12(1), 13–24 (2012)
Vasaiely, P.: Interactive simulation of sysml models using modelica. Bachelor Thesis, Dept of Computer Science, Hamburg University of Applied Sciences (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gauthier, JM., Bouquet, F., Hammad, A., Peureux, F. (2015). Tooled Process for Early Validation of SysML Models Using Modelica Simulation. In: Dastani, M., Sirjani, M. (eds) Fundamentals of Software Engineering. FSEN 2015. Lecture Notes in Computer Science(), vol 9392. Springer, Cham. https://doi.org/10.1007/978-3-319-24644-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-24644-4_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24643-7
Online ISBN: 978-3-319-24644-4
eBook Packages: Computer ScienceComputer Science (R0)