Model-Implementation Fidelity in Cyber Physical System Design

pp 1-24


Building Faithful Embedded Systems Models: Challenges and Opportunities

  • Ayoub NouriAffiliated withUniversité Grenoble AlpesCEA, LETI, MINATEC Campus Email author 
  • , Marius BozgaAffiliated withVERIMAG, Université Grenoble AlpesVERIMAG, CNRS
  • , Saddek BensalemAffiliated withVERIMAG, Université Grenoble AlpesVERIMAG, CNRS

* Final gross prices may vary according to local VAT.

Get Access


In this chapter, we overview some of the sought challenges for building faithful embedded systems models. We highlight the growing demand for using formal models especially for dealing with performance. The chapter illustrates the impact of the hardware part of the system on performance and suggests a probabilistic interpretation in order to build appropriately abstract models towards trustworthy analysis. We believe that such a view is worth to investigate to faithfully characterize the system performance as it provides a formal and parsimonious framework. In this context, we survey some probabilistic models and techniques that we think interesting for building such faithful representations.