ETAPS 2019 (series) / QAPL 2019 (series) / 16th Workshop on Quantitative Aspects of Programming Languages and Systems /
Towards Digital Twins for the Description of Automotive Software Systems
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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 30mTalk | A Faster-Than Relation for Semi-Markov Decision Processes QAPL Mathias Ruggaard Pedersen Aalborg University, Giorgio Bacci Aalborg University, Kim Larsen Aalborg University Pre-print | ||
11:30 30mTalk | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence QAPL Pre-print | ||
12:00 30mTalk | Towards Digital Twins for the Description of Automotive Software Systems QAPL Jan Olaf Blech Aalto University Pre-print |