Paper Info
Title
Interval-based analysis in embedded system design
Abstract
Complex multi-processor systems-on-chip and distributed embedded systems exhibit a confusing variety of run time interdependencies. For reliable timing validation, not only application, but also architecture, scheduling and communication properties have to be considered. This is very different from functional validation, where architecture, scheduling and communication can be idealized. To avoid unknown corner-case coverage in simulation-based validation on one had, and the state-space explosion or over-simplification of unified formal performance models on the other, we take a compositional approach and combine different efficient models and methods for timing analysis of single processes, real-time operating system (RTOS) overhead, single processors and communication components, and finally multiple connected components. As a result, timing analysis of complex, heterogeneous embedded systems becomes feasible.
Year
DOI
Venue
2004
10.1016/j.matcom.2003.11.008
Mathematics and Computers in Simulation
Keywords
Field
DocType
embedded system design,performance verification,interval analysis,communication component,complex multi-processor systems-on-chip,real-time embedded systems,reliable timing validation,functional validation,different efficient model,heterogeneous embedded system,interval-based analysis,simulation-based validation,communication property,timing analysis,embedded system,connected component,real time operating system
Embedded operating system,Interdependence,Architecture,Mathematical optimization,Scheduling (computing),Computer science,Real-time operating system,Static timing analysis,Connected component,Interval arithmetic,Embedded system,Distributed computing
Journal
Volume
Issue
ISSN
66
2-3
Mathematics and Computers in Simulation
Citations 
PageRank 
References 
0
0.34
16
Authors
3
Name
Order
Citations
PageRank
M. Jersak1221.94
K. Richter200.34
R. Ernst3808.11