Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches

Andrea Tundis
Department of Computer Engineering, Modeling, Electronics, and System Sciences (DIMES), University of Calabria, Italy

Lena Rogovchenko-Buffoni
Department of Computer and Information Science (IDA), Linköping University, Sweden

Peter Fritzson
Department of Computer and Information Science (IDA), Linköping University, Sweden

Alfredo Garro
Department of Computer Engineering, Modeling, Electronics, and System Sciences (DIMES), University of Calabria, Italy

Ladda ner artikel

Ingår i: Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Linköping Electronic Conference Proceedings 84:3, s. 15-24

Visa mer +

Publicerad: 2013-03-27

ISBN: 978-91-7519-621-3 (print)

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


The modeling of system requirements deals with formally expressing constraints and requirements that have an impact on the behavior of the system to enable their verification through real or simulated experiments. The need for models representing system requirements as well as for methods and techniques centered on model-based approaches able to support the modeling; evaluation; and validation of requirements and constraints along with their traceability is today greater than ever. In this context; this paper proposes a meta-model for modeling the requirements of physical systems. Furthermore; different approaches for integrating the modeling of system requirements in the Modelica language and their verification during the simulation are proposed and; then; evaluated and compared through a case study.


Requirements; Properties; Modeling; Assertions; Modelica; Safety; Verification; Validation


[1] T. Clark; P. Sammut; and J. Willans. Applied metamodelling: a foundation for language driven development (Second Edition); 2008.

[2] R. Cressent; V. Idasiak; F. Kratz; and P. David. Mastering safety and reliability in a model based process. Proc. of the Reliability and Maintainability Symposium (RAMS); Lake Buena Vista (FL; USA); January 2011.

[3] P. Fritzson; Principles of Object-Oriented Modeling and Simulation with Modelica 2.1; Wiley IEEE Press; 944 pages; February 2004.

[4] P. Fritzson. Integrated UML-Modelica Model-Based Product Development for Embedded Systems in OPENPROD. Proc. of the 1st Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (Hopes’2010); Paris; June 15; 2010.

[5] A. Garro and A. Tundis. Enhancing the RAMSAS method for Systems Reliability Analysis through Modelica. Proc. of the 7th Workshop on Model-Based Product Development (MODPROD); Linköping (Sweden); 5-6 February; 2013.

[6] A. Garro and A. Tundis. Modeling and Simulation for System Reliability Analysis: The RAMSAS Method. Proc. of the 7th IEEE International Conference on System of Systems Engineering (IEEE SoSE); Genova (Italy); July 16-19 2012.

[7] L. Grunske and B. Kaiser. Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. Proc. of the 5th Int. Conf. on Quality Software (QSIC); Melbourne (Australia); September 2005.

[8] H. P. Hoffmann. System Engineering Best Practices with Rational Solution for Systems and Software Engineering. February 2011. http://www.ibm.com/.

[9] A. Jardin; D. Bouskela; T. Nguyen; N. Ruel; E. Thomas; R. Schoenig; S. Loembé and L. Chastanet. Modelling of System Properties in a Modelica Framework. Proc. of the 8th International Modelica Conference; TU Dresden; March 20-22; 2011.

[10] ITEA 2 Projects: MODRIO - http://www.itea2.org/.

[11] F. Liang; W. Schamai; O. Rogovchenko; S. Sadeghi; M. Nyberg and P. Fritzson. Model-based Requirement Verification: A Case Study. Proc. of the 9th International Modelica Conference (Modelica’2012); Munich (Germany); September 3-5; 2012.

[12] OpenModelica - Open Source Modelica Consortium (OSMC) - https://www.openmodelica.org/.

[13] OpenModelica Project: ModelicaML - A UML Profile for Modelica. www.openmodelica.org/modelicaml.

[14] W. Schamai; P. Fritzson; C.J.J. Paredis; P. Helle. ModelicaML Value Bindings for Automated Model Composition. Proc. of the Symposium on Theory of Modeling and Simulation (DEV’12); Orlando; FL (USA) March 26-29; 2012.

[15] W. Schamai; P. Helle; P. Fritzson; and C. Paredis. Virtual Verification of System Designs against System Requirements. Proc. of 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES’2010); Oslo (Norway); October 4; 2010.

Citeringar i Crossref