Bernhard Thiele

Towards a UTP Semantics for Modelica

We describe our work on a UTP semantics for the dynamic systems modelling language Modelica. This is a language for modelling a system’s continuous behaviour using a combination of differential-algebraic equations and an event-handling system. We develop a novel UTP theory of hybrid relations, inspired by Hybrid CSP and Duration Calculus, that is purely relational and provides uniform handling of continuous and discrete variables. This theory is mechanised in our Isabelle implementation of the UTP, Isabelle/UTP, with which we verify some algebraic properties. Finally, we show how a subset of Modelica models can be given semantics using our theory. When combined with the wealth of existing UTP theories for discrete system modelling, our work enables a sound approach to heterogeneous semantics for Cyber-Physical systems by leveraging the theory linking facilities of the UTP.

Code generation for STM32F4 boards with Modelica device drivers

With the modeling, simulation and code generation of mixed continuous/discrete models in Modelica, a development approach becomes feasible which addresses one of the core challenges in cyber-physical systems. The aim is to achieve a simulation of the embedded system model in a physical environment model, before its deployment on real hardware. Based on the already existing support for Arduino boards, an effort has been started for supporting code-generation from Modelica models for STM32F4 boards. In this paper the concept will be explained. Basically Modelicas C-interface and the experimental low-footprint embedded code generation of OpenModelica is used for generating code for the main function. The support for the STM32F4 family is realized with the C-interface functions using the hardware abstraction layer (HAL) application programming interface (API) STM32F4CUBE from ST Microelectronics.

Proceedings of the 56th Conference on Simulation and Modelling (SIMS 56) : October, 7-9, 2015, Linköping University, Sweden

WelcomeThe 56th Conference on Simulation and Modelling will be held in Linkoping, Sweden. Linkoping is one of Sweden’s fastest growing cities. The population is constantly increasing and will soon ...