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

Direct link
Flattening of Modelica State Machines: a practical symbolic representation
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-3435-4996
2015 (English)In: Proceedings of the 11th International Modelica Conference: Versailles, France, September 21-23, 2015 / [ed] Peter Fritzson, Hilding Elmqvist, Linköping: Linköping University Electronic Press, 2015, 255-263 p.Conference paper (Refereed)
Abstract [en]

Modelica 3.3 introduced dedicated built-in language support for state machines that was inspired by semantics known from Statechart and mode automata formalisms. The specification describes the semantics of these constructs in terms of data-flow equations that allows to relate it to the Modelica DAE representation which is the conceptual intermediate format of Modelica code after instance creation (flattening). However, a complete transformation of state machine constructs into data-flow equations at the stage of flattening requires an early commitment to implementation details that potentially hinders model optimizations at subsequent translation phases. Also, due to the required substantial model transformation the semantic distance between the original source model and the flattened representation is rather large. Hence, this paper proposes a more versatile symbolic representation for flattened state machine constructs that preserves the state machine’s composition structure and allows postponing optimizations to subsequent compiler phases.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2015. 255-263 p.
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686 (print), 1650-3740 (online) ; 118
Keyword [en]
State machine, Mode automata, Flattening, Compilation
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:liu:diva-131268DOI: 10.3384/ecp15118255ISBN: 9789176859551OAI: oai:DiVA.org:liu-131268DiVA: diva2:968914
Conference
11th International Modelica Conference, Versailles, Frankrike
Available from: 2016-09-13 Created: 2016-09-13 Last updated: 2016-09-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Thiele, BernhardPop, AdrianFritzson, Peter
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
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: 1 hits
ReferencesLink to record
Permanent link

Direct link