A general framework for analysing system properties in platform-based embedded system designs

Chakraborty, Samarjit; Künzli, Simon; Thiele, Lothar

doi:10.1109/date.2003.1253607

Cited by 204 publications

(257 citation statements)

References 7 publications

Supporting

Mentioning

256

Contrasting

Unclassified

Order By: Relevance

“…When an event stream with arrival curves α is processed by an FP component on a resource with service curve β, the maximum delay d max experienced by any event on the event stream is bounded by [69,18]:…”

Section: Definition 234 Min-max Convolution and De-convolutionmentioning

confidence: 99%

See 1 more Smart Citation

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

Verhoef

Larsen

Hooman

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The development of complex embedded control systems can be improved significantly by applying formal techniques from control engineering and software engineering. It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice. The semantics of the integration of two established rigorous techniques has been defined formally in this work. The strength of this integrated semantics is demonstrated by means of a significant industrial case study: the embedded control of a printer paper path, whereby the full development life-cycle from model to realization is covered. The resulting model-driven design approach fits the current engineering practice in industry and is both flexible and effective.

show abstract

Section: Definition 234 Min-max Convolution and De-convolutionmentioning

confidence: 99%

“…Modular Performance Analysis (MPA) was developed by Thiele et al at ETH Zürich [18]. MPA is a compositional modeling technique based on a general event and resource model.…”

Section: Modular Performance Analysis Short Overview Of the Techniquementioning

confidence: 99%

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

Verhoef

Larsen

Hooman

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…An alternative composition technique -often referred to as real-time calculus -was proposed in [3] and then subsequently extended in a number of papers (e.g., see [4]). Here, the basic idea is to represent the timing properties of event streams using upper and lower bounds on the number of events that can arrive over any time interval of a specified length.…”

Section: Introductionmentioning

confidence: 99%

“…The main contribution of this paper is an extension of the real-time calculus framework [3,4] that incorporates symmetric globally-scheduled multiprocessors. In particular, we present a pseudo-polynomial procedure that can be used to test whether event delays on such a multiprocessor reside within specified bounds.…”

Section: Introductionmentioning

confidence: 99%

Multiprocessor extensions to real-time calculus

2011

View full text Add to dashboard Cite

show abstract

“…Formal performance models are more appropriate, such as introduced in recent frameworks [8,3] that are able to tightly determine various system performance properties including timing, buffer sizes, and power consumption.…”

Section: Introductionmentioning

confidence: 99%

A formal approach to robustness maximization of complex heterogeneous embedded systems

Hamann

Racu

Ernst

2006

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis

View full text Add to dashboard Cite

Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variations of properties like execution and transmission delays, input data rates, CPU clock rates, etc., has found less attention despite its practical relevance.In this paper we introduce robustness metrics and propose an algorithm considering these metrics in design space exploration and system optimization. The algorithm can optimize for static and for dynamic robustness, the latter including system or designer reactions to property variations. We explain several applications ranging from platform optimization to critical component identification.By means of extensive experiments we show that design space exploration pursuing classical design goals does not necessarily yield robust systems, and that our method leads to systems with significantly higher design robustness.

show abstract

A general framework for analysing system properties in platform-based embedded system designs

Cited by 204 publications

References 7 publications

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

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

Multiprocessor extensions to real-time calculus

A formal approach to robustness maximization of complex heterogeneous embedded systems

Contact Info

Product

Resources

About