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

Fueled by the continuous, rapid progress within micro-electronics, ever more intelligent and intricate func-tions 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 mod-els, 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 seam-less development methodology from the logical virtual model down to the technical system architecture, with corresponding traceability and maintainability bene-fits. This contribution will specifically address this po-tential and propose a Modelica sub- and superset ade-quate for use within the development of safety-relevant control applications