Rigorous system level modeling and analysis of mixed HW/SW systems

A grand challenge in complex embedded systems design is developing methods and tools for modeling and analyzing the behavior of an application software running on multicore or distributed platforms. We propose a rigorous method and a tool chain that allows to obtain a faithful model representing the behavior of a mixed hardware/software system from a model of its application software and a model of its underlying hardware architecture. The system model can be simulated and analyzed for validation of both functional and extra-functional properties. The tool chain uses DOL (Distributed Operation Layer) as the frontend for specifying the application software and hardware architecture, and BIP (Behavior Interaction Priority) as the modeling and analysis framework. It is illustrated through the construction of system models of MJPEG and MPEG2 decoder applications running on MPARM, a multicore architecture.


Published in:
9th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), 11-20
Presented at:
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011), Cambridge, United Kingdom, July 11-13, 2011
Year:
2011
Publisher:
IEEE
ISBN:
978-1-4577-0118-4
Laboratories:




 Record created 2013-11-26, last modified 2018-05-07

Postprint:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)