Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms

  title={Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms},
  author={Jer{\'o}nimo Castrill{\'o}n and Ricardo Velasquez and Anastasia Stulova and Weihua Sheng and Jianjiang Ceng and Rainer Leupers and Gerd Ascheid and Heinrich Meyr},
  journal={2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)},
Nowadays, most embedded devices need to support multiple applications running concurrently. In contrast to desktop computing, very often the set of applications is known at design time and the designer needs to assure that critical applications meet their constraints in every possible use-case. In order to do this, all possible use-cases, i.e. subset of applications running simultaneously, have to be verified thoroughly. An approach to reduce the verification effort, is to perform composability… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 24 extracted citations


Publications referenced by this paper.
Showing 1-6 of 6 references

Dynamic and Robust Streaming in and Between Connected Consumer-Electronic Devices. Springer, 2005, ch. Dataflow Analysis for Real-Time Embedded Multiprocessor System Design

  • M. Bekooij
  • 2005
Highly Influential
4 Excerpts

Bounded scheduling of process networks

  • T. M. Parks
  • Ph.D. dissertation, 1995.
  • 1995
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…