Simulation and Verification of non-functional properties / Pablo Gonzáles de Aledo
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Forschungs-