|
Authors: | Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse |
Group: | Computer Engineering |
Type: | Inproceedings |
Title: | System Architecture Evaluation Using Modular Performance Analysis - A Case Study |
Year: | 2004 |
Month: | October |
Pub-Key: | WTVL04 |
Book Titel: | 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA) |
Keywords: | MPA |
Abstract: | Performance analysis plays an increasingly important role in the design of embedded real-time systems. Time-to-market pressure in this domain is very high while the available implementation technology is often pushed to its limit to minimize cost. This requires analysis of performance as early as possible in the system life cycle. Simulation based techniques are often not suffi- ciently productive. This paper presents an alternative, analytical, approach based on Real-Time Calculus developed at ETH Zurich. Modular Performance Analysis (MPA) is presented through a case study in which several candidate architectures are evaluated for a distributed in-car radio navigation system. The analysis is efficient due to the high abstraction level of the model, which makes the technique very suitable for early design exploration. |
Location: | Paphos, Cyprus |
Resources: | [BibTeX] [Paper as PDF] |