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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

qapl-2019-papers
11:00 - 12:30: QAPL - Session II at S7
qapl-2019-papers11:00 - 11:30
Talk
Mathias Ruggaard PedersenAalborg University, Giorgio BacciAalborg University, Kim LarsenAalborg University
Pre-print
qapl-2019-papers11:30 - 12:00
Talk
Anne SchreuderTechnischen Universität Kaiserslautern, C.-H. Luke OngUniversity of Oxford
Pre-print
qapl-2019-papers12:00 - 12:30
Talk
Jan Olaf BlechAalto University
Pre-print