Rigorous System-level Modeling and Performance Evaluation for Embedded System Design

Abstract : In the present work, we tackle the problem of modeling and evaluating performance in the context of embedded systems design. These have become essential for modern societies and experienced important evolution. Due to the growing demand on functionality and programmability, software solutions have gained in importance, although known to be less efficient than dedicated hardware. Consequently, considering performance has become a must, especially with the generalization of resource-constrained devices. We present a rigorous and integrated approach for system-level performance modeling and analysis. The proposed method enables faithful high-level modeling, encompassing both functional and performance aspects, and allows for rapid and accurate quantitative performance evaluation. The approach is model-based and relies on the $mathcal{S}$BIP formalism for stochastic component-based modeling and formal verification. We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability. Faithful high-level models are built by calibrating functional models with low-level performance information using automatic code generation and statistical inference. We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on a real-life case study for image processing. We consider the design and mapping of a parallel version of the HMAX models algorithm for object recognition on the STHORM many-cores platform. We explored timing aspects and the obtained results show not only the usability of the approach but also its pertinence for taking well-founded decisions in the context of system-level design.
Document type :
Theses
Complete list of metadatas

Cited literature [213 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01148690
Contributor : Abes Star <>
Submitted on : Tuesday, May 5, 2015 - 10:02:06 AM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Long-term archiving on : Monday, September 14, 2015 - 6:51:41 PM

File

NOURI_2015_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01148690, version 1

Collections

Citation

Ayoub Nouri. Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. Other [cs.OH]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM008⟩. ⟨tel-01148690⟩

Share

Metrics

Record views

910

Files downloads

819