ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems

Project: Research

Description

Swedish industry is among the world leading on modeling of cyber-physical systems. By using high-level modeling languages like Modelica, complex physical systems can be modeled in a compact and natural way, reusing libraries for different engineering domains like mechanical, electrical, thermal, control, etc. Advancing this area is of great strategic importance. In this project, we focus on scalable techniques for performance, novel tooling, and for extending the application area to generating control software for cyber-physical systems.

Our research builds on open-source platforms for the Modelica language: OpenModelica and JModelica.org, and open-source platforms for metacompilation: RML/MetaModelica and JastAdd. These systems are extended and applied to demonstrate results in the form of new algorithms, tools, and language constructs. The project focuses on aspects that support scaling to large applications, in particular performance, development support, and control software generation.

For large applications, performance becomes a bottleneck. To counter this, we will develop new techniques for automated parallelization of compilation as well as simulation, using both data and control parallelism. The development of large applications requires advanced tooling for editing, debugging, and verifying models. We will develop novel tools with particular focus on interactive visual smart editing, equational debugging, and support for model requirements as well as testing and verification of requirements. Modeling is traditionally used for simulation, but extending their application to generate control software is an active research area. We will work on new language constructs for supporting the generation of embedded control software directly from models, for example i
StatusNot started

Participants

Related research output

Jesper Öqvist, 2018 Dec 19, Lund: Department of Computer Science, Lund University. 197 p.

Research output: ThesisDoctoral Thesis (compilation)

Mey, J., Schöne, R., Görel Hedin, Emma Söderberg, Kühn, T., Niklas Fors, Jesper Öqvist & Aßmann, U., 2018 Nov, Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’18). Association for Computing Machinery (ACM), p. 70-82 13 p.

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

Niklas Fors, Sten, J., Olsson, M. & Stenström, F., 2018 Oct, Proceedings of the American Modelica Conference.

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

View all (26)