Open Access
System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
Marcel Verhoef,Ernesto Wandeler,Lothar Thiele,Paul Lieverse +3 more
- 01 Jan 2004
pp 209-219
208
TL;DR: Modular performance analysis is presented through a case study in which several candidate architectures are evaluated for a distributed in-car radio navigation system and is efficient due to the high abstraction level of the model, which makes the technique suitable for early design exploration.
read more
About: The article was published on 01 Jan 2004. and is currently open access. The article focuses on the topics: Reference architecture & Systems architecture.
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
Mapping Applications to Tiled Multiprocessor Embedded Systems
Lothar Thiele,Iuliana Bacivarov,Wolfgang Haid,Kai Huang +3 more
- 10 Jul 2007
TL;DR: The basic principles of the DOL, the specification mechanisms for applications, platform and mapping as well as its internal analytic performance evaluation framework are presented and an MPEG -2 decoder case study is presented.
204
Modeling and validating distributed embedded real-time systems with VDM++
Marcel Verhoef,Peter Gorm Larsen,Jozef Hooman +2 more
- 21 Aug 2006
TL;DR: The proposed language extensions significantly reduce the modeling effort when describing distributed real-time systems in VDM++ and the revised semantics provides a basis for improved tool support.
•Book
Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems
Ernesto Wandeler
- 29 Nov 2006
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.
116
On the use of greedy shapers in real-time embedded systems
TL;DR: This work presents a method for analyzing greedy shapers, and embeds this analysis method into a well-established modular performance analysis framework for real-time embedded systems.
94
Verification, Validation, and Accreditation
Mourad Debbabi,Fawzi Hassaïne,Yosr Jarraya,Andrei Soeanu,Luay Alawneh +4 more
- 01 Jan 2010
TL;DR: There exist many definitions for the terms verification and validation, depending on the group concerned or the domain of application.
90
References
A calculus for network delay. I. Network elements in isolation
TL;DR: A calculus is developed for obtaining bounds on delay and buffering requirements in a communication network operating in a packet switched mode under a fixed routing strategy, and burstiness constraints satisfied by the traffic that exits the element are derived.
2.1K
Synchronization and Linearity: An Algebra for Discrete Event Systems
TL;DR: This book proposes a unified mathematical treatment of a class of 'linear' discrete event systems, which contains important subclasses of Petri nets and queuing networks with synchronization constraints, which is shown to parallel the classical linear system theory in several ways.
•Book
System Design with SystemC
Thorsten Grotker
- 31 May 2002
TL;DR: System Design and SystemC provides a comprehensive introduction to the powerful modeling capabilities of the SystemC language, and also provides a large and valuable set of system level modeling examples and techniques.
1K
Model-based performance prediction in software development: a survey
TL;DR: A comprehensive review of recent research in the field of model-based performance prediction at software development time is presented in order to assess the maturity of the field and point out promising research directions.
868
Real-time calculus for scheduling hard real-time systems
Lothar Thiele,Samarjit Chakraborty,Martin Naedele +2 more
- 28 May 2000
TL;DR: A link between three areas, namely Max-Plus Linear System Theory as used for dealing with certain classes of discrete event systems, Network Calculus for establishing time bounds in communication networks, and real-time scheduling is established.
716
Related Papers (5)
Martin Hoffmann
- 01 Jan 2007
Anand Kumar,Edwin Anand,Swaminathan Natarajan,Aniruddha Dandekar +3 more
- 01 Jul 2021
Olfa Lamouchi,Amar Ramdane-Cherif,Nicole Lévy +2 more
- 20 Jul 2018