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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:liu:diva-117266DOI: 10.4173/mic.2015.1.3ISI: 000351718000003OAI: oai:DiVA.org:liu-117266DiVA: diva2:806890
Note

Funding Agencies|German Aerospace Center (DLR)

Available from: 2015-04-22 Created: 2015-04-21 Last updated: 2017-12-04

Open Access in DiVA

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

Other links

Publisher's full text

Authority records BETA

Thiele, Bernhard AmadeusFritzson, Peter

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: 163 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 261 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf