ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 12:00 - 12:30 at S7 - Session II

We present work on models for automotive software. Our models capture quantitative and qualitative aspects of software systems and the underlying hardware architecture. In particular, we consider different levels of computing power. These range from controllers up to the cloud. We present a modeling approach for software deployment taking different automotive requirements such as criticality, latency, memory, computational resources, and communication into account. Our models capture automotive software and hardware system configurations and can serve as digital twins. Furthermore, we highlight connected research areas and challenges.

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session IIQAPL at S7
11:00 - 11:30
Talk
A Faster-Than Relation for Semi-Markov Decision Processes
QAPL
Mathias Ruggaard PedersenAalborg University, Giorgio BacciAalborg University, Kim LarsenAalborg University
Pre-print
11:30 - 12:00
Talk
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
QAPL
Anne SchreuderTechnischen Universität Kaiserslautern, C.-H. Luke OngUniversity of Oxford
Pre-print
12:00 - 12:30
Talk
Towards Digital Twins for the Description of Automotive Software Systems
QAPL
Jan Olaf BlechAalto University
Pre-print