Skip to Main content Skip to Navigation
Conference papers

Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems

Abstract : Performance and functional correctness are key for successful design of modern embedded systems. Both aspects must be considered early in the design process to enable founded decision making towards final implementation. Nonetheless, building abstract system-level models that faithfully capture performance information along to functional behavior is a challenging task. In contrast to functional aspects, performance details are rarely available during early design phases and no clear method is known to characterize them. Moreover, once such system-level models are built they are inherently complex as they usually mix software models, hardware architecture constraints and environment abstractions. Their analysis by using traditional performance evaluation methods is reaching the limits and the need for more scalable and accurate techniques is becoming urgent. In this paper, we introduce a systematic method for building stochastic abstract performance models using statistical inference and model calibration and we propose statistical model checking as performance evaluation technique upon the obtained models. We experimented our method on a real-life case study. We were able to verify different timing properties.
Document type :
Conference papers
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Wednesday, November 26, 2014 - 2:48:03 PM
Last modification on : Saturday, June 25, 2022 - 7:46:09 PM
Long-term archiving on: : Friday, February 27, 2015 - 12:20:56 PM


Files produced by the author(s)



Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem. Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems. MEMOCODE, Oct 2014, Lausanne, Switzerland. ⟨10.1109/MEMCOD.2014.6961864⟩. ⟨hal-01087671⟩



Record views


Files downloads