Open AccessBook
Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems
Ernesto Wandeler
- 29 Nov 2006
115
TL;DR: Challenges for system level performance analysis of embedded systems are identified, and based on these challenges a framework for formal modular performance analysis and design of complex distributed embedded real-time systems is developed and extended.
read more
Abstract: System level performance analysis methods play an important role in the design process of complex embedded systems. They allow to analyze essential performance characteristics of a system design in an early design phase and consequently support the choice of important design decisions before much time and resources are invested in detailed implementations. While formal analysis based methods for system level performance analysis lead to hard bounded analysis results and can thus be employed in the design of hard real-time systems, these methods are often restricted in their modeling and analysis capabilities, and the obtained results are often overly pessimistic due to a lack of details such analytical methods can incorporate in their system analysis. In this thesis we identify challenges for system level performance analysis of embedded systems, and based on these challenges we further develop and extend a framework for formal modular performance analysis and design of complex distributed embedded real-time systems. The main contributions of this work are listed in the following. • Novel models and methods are presented for performance analysis of complex embedded systems that combine components with various different processing semantics within one system design. • Novel models and methods are introduced to address the challenges of complex inputs, variable execution demands, and workload correlations in performance analysis of complex embedded systems. • The theory of Real-Time Interfaces that connects the principles of Real-Time Calculus and interface-based design is introduced, together with a component system that enables interface-based embedded real-time system design. • Novel models and methods are introduced that facilitate the modeling, analysis, and design of hierarchical scheduling policies in complex embedded systems. • A new MATLAB Toolbox is introduced that supports efficient system level performance analysis and interface-based design of distributed embedded real-time systems.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
An Algorithmic Toolbox for Network Calculus
Anne Bouillard,Eric Thierry +1 more
TL;DR: This paper presents a class containing the piecewise affine functions which are ultimately pseudo-periodic and can be finitely described, which enables us to propose some algorithms for each of the network calculus operations.
A Study on Run Time Assurance for Complex Cyber Physical Systems
Matthew Clark,Xenofon Koutsoukos,Joseph Porter,Ratnesh Kumar,George J. Pappas,Oleg Sokolsky,Insup Lee,Lee Pike +7 more
- 18 Apr 2013
TL;DR: This study investigates the key technologies available and needed to increase the reliance on run time assurance, and suggests that if, through the use of run time architecture, the authors can provably bound systems behavior, then it may be possible to reduce the dependence on comprehensive off-line verification, shifting the analysis/test burden to the more provable run timeurance mechanism.
Cyclic dependencies in modular performance analysis
Bengt Jonsson,Simon Perathoner,Lothar Thiele,Wang Yi +3 more
- 19 Oct 2008
TL;DR: A general operational semantics underlying the Real-Time Calculus is developed, and this is used to show that the behavior of systems with cyclic dependencies can be analyzed by fixpoint iterations.
Service curves in Network Calculus: dos and don'ts
Anne Bouillard,Laurent Jouhet,Eric Thierry +2 more
- 01 Jan 2009
TL;DR: This report is a survey about service curves used in envelope-based models for worst-case performance evaluation, like Network Calculus or Real-Time Calculus, and compares the behaviours of simple and strict service curves for concatenation and residual service curves.
60
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems
TL;DR: Finitary RTC is proposed, which only maintains and operates on a limited part of each curve that is relevant to the final analysis results, which results in pseudo-polynomial computational complexity in RTC.
39
References
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more
TL;DR: The problem of multiprogram scheduling on a single processor is studied from the viewpoint of the characteristics peculiar to the program functions that need guaranteed service and it is shown that an optimum fixed priority scheduler possesses an upper bound to processor utilization.
A theory of timed automata
Rajeev Alur,David L. Dill +1 more
TL;DR: Alur et al. as discussed by the authors proposed timed automata to model the behavior of real-time systems over time, and showed that the universality problem and the language inclusion problem are solvable only for the deterministic automata: both problems are undecidable (II i-hard) in the non-deterministic case and PSPACE-complete in deterministic case.
7.5K
A generalized processor sharing approach to flow control in integrated services networks: the multiple node case
Abhay Parekh,Robert G. Gallager +1 more
TL;DR: Worst-case bounds on delay and backlog are derived for leaky bucket constrained sessions in arbitrary topology networks of generalized processor sharing (GPS) servers and the effectiveness of PGPS in guaranteeing worst-case session delay is demonstrated under certain assignments.
•Book
Real-Time Systems: Design Principles for Distributed Embedded Applications
Hermann Kopetz
- 22 Apr 2011
TL;DR: Real-Time Systems offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management.
2.3K
A Tutorial on UPPAAL
Gerd Behrmann,Alexandre David,Kim Guldstrand Larsen +2 more
- 13 Sep 2004
TL;DR: This is a tutorial paper on the tool Uppaal to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool.