A Modelica Sub- and Superset for Safety-Relevant Control Applications

Bernhard Thiele
German Aerospace Center (DLR), Institute for Robotics and Mechatronics, Germany

Stefan-Alexander Schneider
BMW AG, 80788 München, Germany

Pierre R. Mai
PMSF IT Consulting, Marzling, Germany

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp12076455

Ingår i: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Linköping Electronic Conference Proceedings 76:47, s. 455-476

Visa mer +

Publicerad: 2012-11-19

ISBN: 978-91-7519-826-2

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


Fueled by the continuous; rapid progress within microelectronics; ever more intelligent and intricate functions are realized in mechatronic systems. To control the complexity associated with such designs; model-based control design methods are increasingly adapted in industry. Despite Modelica’s obvious suitability to efficiently create appropriate high fidelity system models; the utilization of Modelica for developing discrete control functions is not yet wide spread. Adoption of Modelica for this task offers the potential for a seamless development methodology from the logical virtual model down to the technical system architecture; with corresponding traceability and maintainability benefits.

This contribution will specifically address this potential and propose a Modelica sub- and superset adequate for use within the development of safety-relevant control applications.


embedded systems; functional safety; simulation; code generation; compiler; formal methods; validation; verification


[1] Albert Benveniste; Stephen A. Edwards; Nicolas Halbwachs; Paul Le Guernic; and Robert de Simone. The synchronous languages 12 years later. In Proceedings of the IEEE; volume 91 (1); pages 64–83; 2003. doi: 10.1109/JPROC.2002.805826.

[2] Dariusz Biernacki; Jean-Louis Colaço; Gregoire Hamon; and Marc Pouzet. Clock-directed modular code generation for synchronous data-flow languages. SIGPLAN Not.; 43(7):121–130; June 2008. doi: 10.1145/1379023.1375674.

[3] Tilman Bünte; Akin Sahin; and Naim Bajcinca. Inversion of Vehicle Steering Dynamics with Modelica/Dymola. In Gerhard Schmitz; editor; 4th Int. Modelica Conference; March 2005.

[4] David Broman. Meta-Languages and Semantics for Equation-Based Modeling and Simulation. PhD thesis; Linköping University; PELAB - Programming Environment Laboratory; The Institute of Technology; 2010.

[5] Manfred Broy; Helmut Krcmar; Jens Zimmermann; and Sascha Kirstan. Einfluss des Software-Designs auf die Wirtschaftlichkeit von Software-Entwicklungen. ATZelektronik; 02:34–37; April 2011. doi: 10.1365/s35658-011-0028-3.

[6] I. S. Duff and J. K. Reid. An implementation of tarjan’s algorithm for the block triangularization of a matrix. ACM Trans. Math. Softw.; 4(2):137–147; June 1978. doi: 10.1145/355780.355785.

[7] Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Monographs in Theoretical Computer Science. An EATCS Series. Springer; 1985.

[8] Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Monographs in Theoretical Computer Science. An EATCS Series. Springer; 1990.

[9] IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems; 1998.

[10] Modelica Association. Modelica—A Unified Object-Oriented Language for Systems Modeling v3.3. Standard Specification; May 2012. available at http://www.modelica.org/.

[11] Ramine Nikoukhah and Sébastien Furic. Towards a full integration of modelica models in the scicos environment. In 7th Modelica Conference; Como; Italy; September 2009. doi: 10.3384/ecp09430024.

[12] Constantinos C. Pantelides. The consistent initialization of differential-algebraic systems. SIAM Journal on Scientific and Statistical Computing; 9(2):213–231; 1988. doi: 10.1137/0909014.

[13] Stefan-Alexander Schneider and Tobias Hofmann. Functional Development with Modelica: A Use-Case Analysis. In 9th Int. Modelica Conference; Munich; Germany; September 2012.

[14] Stefan-Alexander Schneider; Tomilav Lovric; and Pierre Mai. The validation suite approach to safety qualification of tools. SAE Technical Paper 2009-01-0746; 2009.

[15] Robert Tarjan. Depth-first search and linear graph algorithms. In Switching and Automata Theory; 1971.; 12th Annual Symposium on; pages 114 –121; oct. 1971.

[16] The Motor Industry Software Reliability Association. MISRA-C:2004 - Guidelines for the use of the C language in critical systems; 2004. http://www.misra.org.uk.

[17] The Motor Industry Software Reliability Association. MISRA AC AGC - Guidelines for the application of MISRA-C:2004 in the context of automatic code generation; 2007. http://www.misra.org.uk.

[18] M. Thümmel; M. Kurze; M. Otter; and J. Bals. Nonlinear inverse models for control. In 4th Int. Modelica Conference; pages 267–279; 2005.

[19] Michael Thümmel; Martin Otter; and Johann Bals. Vibration control of elastic joint robots by inverse dynamics models. In H. Ulbrich and W. Günthner; editors; IUTAM Symposium on Vibration Control of Nonlinear Mechanisms and Structures; pages 343–353; München; 2005. doi: 10.1007/1-4020-4161-6_31.

Citeringar i Crossref