System architecture evaluation using modular performance analysis: a case study

Abstract

Performance analysis plays an increasingly important role in the design of embedded real-time systems. Time-to-market pressure in this domain is 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 life cycle. Simulation-based techniques are often not sufficiently productive. We present an alternative, analytical, approach based on Real-Time Calculus. Modular performance analysis 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 This work has been carried out as part of the boderc project under the responsibility of the Embedded Systems Institute.

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

“…Modular Performance Analysis (MPA), Symbolic Timing Analysis for Systems (SymTA/S), Parallel ObjectOriented Specification Language (POOSL), Timed Automata and the Vienna Development Method (VDM) are used to model and analyze an in-car radio navigation system. The result of this comparison is presented in Chapter 2 and it is based on the following publications: [105] The second part of this thesis addresses the concerns identified during the comparison. Method improvements are proposed and implemented.…”

“…Modular performance analysis can only deal with these kind of problems if a fixed-point can be found [ 105]. SymTA/S iteratively propagates the parameterized event streams through the model automatically until 1) the event stream parameters converge or 2) a task misses its deadline or 3) a specified maximum buffer size is exceeded.…”

“…The method comparison has lead to a number of scientific publications, most notably [105], [51], [99] and inspired three related MSc projects [78], [23] and [79]. Furthermore, other researchers have looked at different aspects of the case study, such as [35], [36], [12] or use different approaches to construct quantitative performance models, such as [34,37] and [33].…”

“…The comparison was performed during the ARTIST2 workshop held at the Lorentz Center at Leiden University (November 2005) where experts on the relevant techniques where challenged to attack a common set of problems 1 . The case study described in the next section, which was originally used for an early version of [105], was put forward by the author of this thesis. The scope of the comparison presented here is limited to those techniques that were represented at the workshop.…”

Worst-Case Traversal Time Modelling of Ethernet Based In-Car Networks Using Real Time Calculus

“…Fidler recently provided an extensive survey [7] as well. In [8] Wandeler Et al. shows RTC applied in a case study, studying a distributed in-car radio navigation system.…”