[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods
Karine Karine, moy · 2014
Scientific Context Modern embedded systems design must deal with more and more constraints in several domains: systems are increasingly complex, but have to be manufactured at low cost, and with a short life cycle. They have to be reliable, not only functionally (i.e. computations produce the expected results), but also with respect to performance (i.e. computations produce the results on time). For such “real-time systems”, it is not sufficient to optimize the code to make it compute as (...)