Simulation and Verification of non-functional properties / Pablo Gonzáles de Aledo

Description

Unlike other generic computing systems, embedded real-time systems (ERTSs) interact with their environment and are subject to specific constraints; so their design usually faces particular challenges that are unique to this discipline. In these systems, the correctness of the design depends not only on the fact that it can compute something, but also on the fact that it can deliver a result before a certain deadline, with low energy consumption, requiring a minimal memory footprint, and in such a way that the thermal behavior of the chip does not degrade its functionality and reliability. These non-functional properties are as important as (or even more important than) the result of the computation per se. By “non-functional” properties, we refer to energy consumption, memory transactions, bus and NoC contention, memory optimization, load balancing, execution time, thermal behavior, etc. These non-functional properties are meant to induce longer battery life, smoother user interaction, better quality in the transmissions or more reliability. This talk presents various techniques and tools for tackling the design challenges that are unique to ERTSs. We propose to combine “native simulation”, “symbolic execution” and “trace refinement” to analyze the non-functional properties of embedded systems and demonstrate that such combination advances the state of the art in the analysis and verification of embedded real-time systems.

Period	07 Nov 2017
Event type	Guest talk
Location	AustriaShow on map