Towards Qualifiable Code Generation from a Clocked Synchronous Subset of Modelica

So far no qualifiable automatic code generators (ACGs) are available for Modelica. Hence, digital control applications can be modeled and simulated in Modelica, but require tedious additional efforts (e.g., manual reprogramming) to produce qualifiable target system production code. In order to more...

Full description

Bibliographic Details
Main Authors: Bernhard Thiele, Alois Knoll, Peter Fritzson
Format: Article
Language:English
Published: Norwegian Society of Automatic Control 2015-01-01
Series:Modeling, Identification and Control
Subjects:
Online Access:http://www.mic-journal.no/PDF/2015/MIC-2015-1-3.pdf