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

When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is necessary to have some notion of what it means for a process to be faster than another, which can guide the stepwise refinement of the model. To this end we study a faster-than relation for semi-Markov decision processes, and compare it to standard notions for relating systems. We consider the compositional aspects of this relation, and show that the faster-than relation is not a precongruence with respect to parallel composition, hence giving rise to so-called parallel timing anomalies. We take the first steps toward understanding this problem by identifying decidable conditions sufficient to avoid parallel timing anomalies in the absence of non-determinism.

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