Download:
by Dirk Ziegenbein, Marek Jersak, Kai Richter, Rolf Ernst
http://www.ida.ing.tu-bs.de/research/publications/ps/ZJ_Ern02:BreakDownComplRelia.pdf.gz
Add To MetaCart
Abstract:
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different internal and external source (e. g. IP). The system architect faces the challenge to integrate, optimize and validate the resulting heterogeneous systems. The analysis of the whole system is currently limited to simulation or emulation, since formal validation is only available for some subproblems. While simulation still seems viable for the validation of the system function, it can not be reliably applied to the validation of non-functional system properties, in particular timing. In this paper, we propose a validation methodology which augments existing cosimulation-based design approaches with formal timing analysis capabilities. This methodology is based on the decomposition of the validation task into the analysis of individual processes and resources for which formal analysis techniques are known and on the composition of the obtained results in order to obtain systemlevel timing information. Furthermore, it is shown how the analyzability of system timing can be systematically improved by slightly changing the system implementation. 1
Citations
|
2168
|
Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment
– Liu, Layland
- 1973
|
|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
289
|
Bounds on Multiprocessing Timing Anomalies
– Graham
- 1969
|
|
286
|
Synchronous data flow
– Lee, Messerschmitt
- 1987
|
|
254
|
Aperiodic Task Scheduling for Hard Real-Time Systems
– Sprunt, Sha, et al.
- 1989
|
|
158
|
Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines
– Lehoczky
- 1990
|
|
90
|
Generalized rate monotonic scheduling theory: A framework for developing real-time systems
– Sha, Rajkumar, et al.
- 1994
|
|
78
|
Bounding Pipeline and Instruction Cache Performance
– Healy, Arnold, et al.
- 1999
|
|
47
|
Performance estimation for real-time distributed embedded systems
– Yen, Wolf
- 1998
|
|
41
|
TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems
– Kopetz, Grünsteidl
- 1992
|
|
24
|
Performance Analysis of Real-Time Embedded Software
– Li, Malik
- 1998
|
|
22
|
Event model interfaces for heterogeneous system analysis
– Richter, Ernst
- 2002
|
|
20
|
Model composition for scheduling analysis in platform design
– Richter, Ziegenbein, et al.
- 2002
|
|
19
|
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis
– Pop, Eles, et al.
- 2000
|
|
15
|
SPI—a system model for heterogeneously specified embedded systems
– Ziegenbein, Richter, et al.
|
|
11
|
Static timing analysis of embedded software on advanced processor architectures
– Hergenhan, Rosenstiel
- 2000
|
|
8
|
Model interfaces for heterogeneous system analysis
– Richter, Ernst
- 2002
|
|
8
|
Intervals in software execution cost analysis
– Wolf, Ernst
- 2000
|
|
6
|
Cierto VCC Environment. http://www.cadence.com/products/vcc.html
– Cadence
|
|
6
|
Execution Cost Interval Refinement in Static Software Analysis
– Wolf, Ernst
- 2001
|
|
5
|
Embedded system design with multiple languages
– Ernst, Jerraya
- 2000
|
|
5
|
System design for flexibility
– Haubelt, Teich, et al.
- 2002
|
|
4
|
Integrating path and timing analysis using instruction level simulation techniques
– Lundquist, Stenström
- 1998
|
