Blogs (61) >>
Wed 18 Jul 2018 15:13 - 15:29 at Winterthur - Session 2

Junior Submission
Real-time embedded software is vital in safety-critical scenarios. Single-core execution is preferred over multicore execution due to the predictability of factors such as execution time and energy consumption. However, single-core processors are becoming increasingly hard to procure due to the widespread rise of multicore technology. Features of multicore chips, such as the behaviour of caches and buses, and the effects of energy throttling, can affect non-functional properties such as execution time of the software running on one core, even if it does not directly communicate with software running on other cores.

In this work, we aim to explore auto-tuning techniques for constructing processes that cause non-functional interference for a safety-critical application on a multicore chip. Interference is caused by launching one or more “enemy processes”; a parameterised stressing application. While the enemy process template is written manually, automated tuning techniques can be used to determine effective parameters for maximising different types of interference. We study various tuning strategies with the aim to find effective enemy processes parameters for causing interference. Our methods are developed to be portable across a variety of architectures such that enemy processes can be specifically tuned to target unique microarchitectural features.

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:24
14:00
25m
Doctoral symposium paper
Optimization based on Facts and Fiction
Doc Symposium
Olivier FlückigerNortheastern University, USA
File Attached
14:25
16m
Doctoral symposium paper
Two-phase Analysis for Precision and Scalability
Doc Symposium
Anastasios AntoniadisUniversity of Athens, Greece
File Attached
14:41
16m
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
Doc Symposium
Goran PiskachevFraunhofer IEM
File Attached
14:57
16m
Doctoral symposium paper
Improving Symbolic Flat Memory Models with Pointer Alias Analysis
Doc Symposium
Timotej KapusImperial College London
File Attached
15:13
16m
Doctoral symposium paper
Auto-tuning Framework for Multi-core Interference Analysis
Doc Symposium
Dan IorgaImperial College London, UK