Name
Abstract | ||
|---|---|---|
Complex embedded systems consist of hardware and softwarecomponents from different domains, such as control and signalprocessing, many of them supplied by different IP vendors. Theembedded system designer faces the challenge to integrate, optimizeand verify the resulting heterogeneous systems. While formalverification is available for some subproblems, the analysisof the whole system is currently limited to simulation or emulation.In this paper, we tackle the analysis of global resource sharing,scheduling, and buffer sizing in heterogeneous embedded systems.For many practically used preemptive and non-preemptivehardware and software scheduling algorithms of processors andbusses, semi-formal analysis techniques are known. However, theycannot be used in system level analysis due to incompatibilities oftheir underlying event models. This paper presents a technique tocouple the analysis of local scheduling strategies via an event interfacemodel. We derive transformation rules between the mostimportant event models and provide proofs where necessary. Weuse expressive examples to illustrate their application. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1109/DATE.2002.998348 | DATE |
Keywords | Field | DocType |
heterogeneous system analysis,mostimportant event model,heterogeneous embedded system,system level analysis,event interfacemodel,heterogeneous system,complex embedded system,event model,theembedded system designer,semi-formal analysis technique,event model interfaces,local scheduling strategy,control systems,system design,formal verification,resource allocation,hardware,embedded system,embedded systems,scheduling algorithm,design optimization,simulation,scheduling,signal processing,process control,synchronisation,emulation,drams,embedded software,resource sharing,discrete event simulation | Computer science,Scheduling (computing),Real-time computing,Software,Distributed computing,Embedded software,Parallel computing,Emulation,Resource allocation,Component-based software engineering,Formal verification,Embedded system,Discrete event simulation | Conference |
ISBN | Citations | PageRank |
0-7695-1471-5 | 43 | 4.40 |
References | Authors | |
13 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kai Richter | 1 | 384 | 34.65 |
| R. Ernst | 2 | 80 | 8.11 |