Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems

Florescu, Oana; Hoon, Menno de; Voeten, J.P.M.; Corporaal, Henk

doi:10.1007/11796435_22

Cited by 9 publications

(10 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…If we assume some distribution of likelihood in this interval, say a normal distribution, we could vary the cost of executing that function by passing a random value taken from this interval, instead of the worst-case value, whenever we ask the resources to schedule our task (in line 11 in Figure 2.27). This approach was studied by Florescu and De Hoon in [ 36]. Of course, it requires even more repetitions for the simulations than in the previous case, for example because the hyper-period limitation per simulation run is not longer viable since the model is no longer deterministic.…”

Section: Design Question 2 Andmentioning

confidence: 99%

“…But we know that this worst-case response time might not have been reached yet because we did not simulate long enough. The approach proposed in [ 36] is to approximate the histogram by some Gaussian distribution. From this distribution, we can calculate, using standard mathematics, the likelihood that the application would exceed the worst-case timing requirement.…”

Section: Design Question 2 Andmentioning

confidence: 99%

“…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]. Last but not least, the comparison was continued with a significantly larger scope involving more case studies and additional tools in [81].…”

Section: Summary Of Research Contributionmentioning

confidence: 99%

“…This parameter could for example be a higher-order operation that implements the selection strategy, for example: best-case always, worstcase always, pseudo random selection according to some distribution function or even context-aware selection functions that mimic caching behavior. Initial experiments have shown that these extensions are feasible and would provide results comparable to those reported in [36], however the consequences for the operational semantics and the simulation speed have not been investigated.…”

Section: Future Work and Outlookmentioning

confidence: 99%

See 3 more Smart Citations

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: Design Question 2 Andmentioning

confidence: 99%

Section: Design Question 2 Andmentioning

confidence: 99%

Section: Summary Of Research Contributionmentioning

confidence: 99%

Section: Future Work and Outlookmentioning

confidence: 99%

See 2 more Smart Citations

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

“…While the execution of application tasks is determined at run-time, the designer computes a realistic worst-case execution bound for the overall application that guarantees that all deadlines will be met. Both the application and architecture must allow the computation of such bounds, for instance by providing (statistical) upper bounds on dynamic behavior [47]. Considering Eclipse's flexibility requirements and the dynamic nature of the targeted media applications, designing Eclipse for worst case is not cost-effective.…”

mentioning

confidence: 99%

Eclipse : Flexible Media Processing in a Heterogeneous Multiprocessor Template

Rutten¹

2007

View full text Add to dashboard Cite

All rights reserved. Without limiting the rights under copyright reserved above, no part of this book may be reproduced, stored in or introduced into a retrieval system, or transmitted, in any form or by any means (electronic, mechanical, photocopying, recording or otherwise) without the written permission of both the copyright owner and the author of the book. Acknowledgmentith this thesis, I stand on the shoulders of two remarkable architects, Evert-Jan Pol and Jos van Eijndhoven. Ever so often, I would study a certain aspect of the architecture. Typically, when I proudly presented my solution after careful consideration of all options, Evert-Jan would politely point out to me that I had overlooked a detail that rendered my solution utterly useless. However, my ideas triggered him to change one detail and invent the final solution, letting me wonder why I couldn't have come up with that. Next, Jos van Eijndhoven would pass by as an interested onlooker and within minutes sketch a highly innovative implementation on the white board. Jos and Evert-Jan: a very special thanks for all the support, coaching, and friendship. Evert-Jan, I am extremely grateful for all the architecting experience you taught me over the many years we worked together, and particularly for helping me to reverse engineer the design decisions in the EDDI use cases after a few years. W Clearly, this thesis builds on the work of many other researchers: Egbert Jaspers and Erik van der Tol, showing me what MPEG-2 really means; Pieter van der Wolf-who was one of the first to stress that Eclipse had a value far beyond a TriMedia accelerator. Pieter, thanks for teaching me how to properly structure a document and for all the last-minute reviewing of Eclipse papers, typically a few hours before the submission deadline. Thanks to John Moors, struggling to decrypt my coprocessor shell design document during RTL implementation. Karel Walters, your enthusiasm and skill in developing the Eclipse control software was inspiring! I will never forget the enthusiasm of the Semiconductors and Research teams in India. Ferry, thanks for all the times you rescued me from spending all weekend typing on my thesis in Bangalore! My gratitude goes out to Bob Hertzberger for supporting this thesis since 2002. Jacqueline, thank you for your help and support during these years! I am deeply indebted to my parents for virtually everything, with a special thanks to my father for reviewing and kayaking with me whenever it's too cold to stay home. Last but not least, a huge thanks to Katrien, Open Office guru Andrei, Jaap, Maca, Nanni, Enith, Giuseppe, Loes, Wouter, Joep, Joost, Csaba, Thibaut, Alex, Vedran, Andreja, Mathias, Clara, and Jaques for always asking when I would finally finish my thesis and at the same time inviting me to do other fun things… viii Acknowledgment I will never have enough pages to thank you, Derya, for being so sweet despite all the time I spent behind my laptop and left you alone…tatlı karıcım, sevgin ve desteğin için çok teşekkurler!

show abstract

1.3.1 Modeling of hardware software performance of high‐tech systems

Bosch¹,

Müller²,

Verhoef

et al. 2007

INCOSE International Symp

Self Cite

View full text Add to dashboard Cite

The performance of the control system is an important aspect of a machine. It would be a waste if a high-tech machine has been build such that it can physically achieve a high throughput, for example printed sheets of paper, but is limited because the software controlling it cannot keep up. Unfortunately, with current techniques it is hard to "predict" beforehand what the performance of the software will be when it finally runs in the real system on the real processor(s). There are two (extreme) ways to deal with it:1. Over-dimension the hardware platform to make sure the software will run. 2. Implement the software, then run and evaluate its performance on the target hardware platform. Then use this information in the next design cycle.The disadvantages of both approaches are clear. In the first situation the cost price of the entire system will surely be higher than necessary. In the second case, the design time is increased dramatically because more design cycles are needed. Therefore, it is important to strive to a development method that leads to fast design cycles for software performance, while having an accurate enough prediction. In this paper we will discuss a pragmatic modeling approach to design for performance in the domain of software intensive systems. Problem formulationAs explained, the goal is to find or develop methods, techniques and tools that make it possible to predict the performance of software accurately based on only a small model that does not need a lot work to come up with. Obviously, there is a tension between the accuracy of the performance prediction and the amount of work needed to make the model. In general, it is even likely (but not proven) that it will require more work to make an exact prediction of the performance than it would be to create the whole system, run it and see how it performs.During the process of performance modeling, and also during other Boderc activities, we realized that the goal of creating a model is not only to do an analysis and to make a prediction. Probably more important is the understanding that is obtained by creating the model, see also (Kostelijk 2005). This understanding leads to the ability to make better design choices and to be

show abstract

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems

Cited by 9 publications

References 15 publications

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

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

Eclipse : Flexible Media Processing in a Heterogeneous Multiprocessor Template

1.3.1 Modeling of hardware software performance of high‐tech systems

Contact Info

Product

Resources

About