Kristian Sandahl

For regulations and control, customers need to know the performance of the platforms. For safety issues we need to know the worst-case scenarios. Platforms are becoming more and more distributed. In this project we build a methodology and a supporting tool for timing analysis of distributed systems. The approach provides a technique for “holistic task and message scheduling”, using an actor model and model checking tool. We build different execution

In the afternoon 2017-11-21 we held a WebEx workshop in simulation technology with LiU, Bosch, Saab Aeronautics, and Volvo group. Peter Fritzson first gave an overview of 20 year’s development of the Modelica language and the open-source environment OpenModelica. In short, Modelica is an equation based language for creating acausal models of multiple domains. Besides the text-based input there is a large library of visual components to speed up the