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
Download article
http://dx.doi.org/10.3384/ecp12076455Published in: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Linköping Electronic Conference Proceedings 76:47, p. 455-476
Published: 2012-11-19
ISBN: 978-91-7519-826-2
ISSN: 1650-3686 (print), 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
