 |
|
|||
| Authors: | Kai Lampka, Simon Perathoner, Lothar Thiele |
| Group: | Computer Engineering |
| Type: | Inproceedings |
| Title: | Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems |
| Year: | 2009 |
| Month: | October |
| Pub-Key: | LPT09 |
| Book Titel: | 8th ACM & IEEE International conference on Embedded software, EMSOFT 2009 |
| Pages: | 107-116 |
| Keywords: | Performance Analysis, Timed Automata, Real-Time Calculus, Hard Real-Time Systems, MPA, ESD |
| Publisher: | ACM |
| Abstract: | This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded systems. At its core the developed methodology abstracts system components by either flow-oriented and purely analytic descriptions or by state-based models in the form of timed automata. The interaction among such heterogeneous modeling components is modeled by streams of discrete activity-triggers. In total this yields a hybrid framework supplementing contemporary performance evaluation techniques for the following reasons: (a) State space explosion as intrinsic to formal verification is limited to the level of isolated components; (b) Obtained performance metrics such as buffer sizes, delays and utilization rates are not destructively over-approximated, because coarse-grained purely analytic models are used for components only which conform to the stateless model of computation. For demonstrating the usefulness of the presented ideas we implemented a corresponding tool-chain and investigated the performance of a two-staged computing system, where one stage exhibits state-dependent behavior only coarsely coverable by a purely analytic and stateless component abstraction. |
| Remarks: | ACM SigBed EMSOFT Best Paper Award 2009 |
| Location: | Grenoble, France |
| Resources: | [BibTeX] [ External LINK ] [Paper as PDF] |
