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

https://hal.inria.fr/hal-01087671
Contributor : Uli Fahrenberg <>
Submitted on : Wednesday, November 26, 2014 - 2:48:03 PM
Last modification on : Wednesday, June 16, 2021 - 3:41:38 AM
Long-term archiving on: : Friday, February 27, 2015 - 12:20:56 PM

File

memocode14.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

1265

Files downloads

1266