liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Towards Qualifiable Code Generation from a Clocked Synchronous Subset of Modelica
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
Technical University of Munich, Germany.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
2015 (English)In: Modeling, Identification and Control, ISSN 0332-7353, E-ISSN 1890-1328, Vol. 36, no 1, 23-52 p.Article in journal (Refereed) Published
Abstract [en]

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 fully leverage the potential of a model-based development (MBD) process in Modelica, a qualifiable automatic code generator is needed. Typical Modelica code generation is a fairly complex process which imposes a huge development burden to any efforts of tool qualification. This work aims at mapping a Modelica subset for digital control function development to a well-understood synchronous data-flow kernel language. This kernel language allows to resort to established compilation techniques for data-flow languages which are understood enough to be accepted by certification authorities. The mapping is established by providing a translational semantics from the Modelica subset to the synchronous data-flow kernel language. However, this translation turned out to be more intricate than initially expected and has given rise to several interesting issues that require suitable design decisions regarding the mapping and the language subset.

Place, publisher, year, edition, pages
Norsk Forening for Automatisering (Norwegian Society of Automatic Control) , 2015. Vol. 36, no 1, 23-52 p.
Keyword [en]
Modelica; Automatic Code Generation; Model-Based Development; Safety-Relevant Systems
National Category
Computer and Information Science
URN: urn:nbn:se:liu:diva-117266DOI: 10.4173/mic.2015.1.3ISI: 000351718000003OAI: diva2:806890

Funding Agencies|German Aerospace Center (DLR)

Available from: 2015-04-22 Created: 2015-04-21 Last updated: 2015-06-02

Open Access in DiVA

fulltext(1054 kB)99 downloads
File information
File name FULLTEXT01.pdfFile size 1054 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Thiele, Bernhard AmadeusFritzson, Peter
By organisation
Software and SystemsThe Institute of Technology
In the same journal
Modeling, Identification and Control
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 99 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 218 hits
ReferencesLink to record
Permanent link

Direct link