Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | A Modelica Sub- and Superset for Safety-Relevant Control Applications

Title:
A Modelica Sub- and Superset for Safety-Relevant Control Applications
Author:
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
DOI:
10.3384/ecp12076455
Download:
Full text (pdf)
Year:
2012
Conference:
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Issue:
076
Article no.:
047
Pages:
455-476
No. of pages:
22
Publication type:
Abstract and Fulltext
Published:
2012-11-19
ISBN:
978-91-7519-826-2
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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.

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

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:
Bernhard Thiele, Stefan-Alexander Schneider, Pierre R. Mai
Title:
A Modelica Sub- and Superset for Safety-Relevant Control Applications
DOI:
http://dx.doi.org/10.3384/ecp12076455
References:
[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.

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:
Bernhard Thiele, Stefan-Alexander Schneider, Pierre R. Mai
Title:
A Modelica Sub- and Superset for Safety-Relevant Control Applications
DOI:
http://dx.doi.org/10.3384/ecp12076455
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment