DagstuhlSeminar00271StochasticandDynamicReal-TimeSystems.docVIP

Dagstuhl Seminar 00271 Stochastic and Dynamic Real-Time Systems 02. 07. - 07. 07. 2000 G. Hommel (Berlin), L.R. Welch (Athens, Ohio)  Dagstuhl Seminar 00271 1 Introduction 3 Günter Hommel and Lonnie R. Welch 3 Workshop Program 6 Monday, July 03, 2000 6 Tuesday, July 4, 2000 6 Wednesday, July 5, 2000 7 Soft Real-Time Processing with Dynamic QoS Level Resource Management 7 Thursday, July 6, 2000 8 Friday, July 7, 2000 8 Future Work 8 Toward a Taxonomy of Real-Time Mission-Critical Systems 9 Dresden Real-Time Operating System 10 on high level. It is based on a statistical variant of the imprecise computation model. 10 Stochastic Petri Nets for Modeling and Evaluation of Real-Time Systems - Motivation and Open Problems 11 Performance Modeling of Time Dependent Priority Systems for Differentiated Services in the Internet 17 Resource Allocating Policies for Dynamic Optimization of QoS 18 A General Scalable Technology for Software Execution Timeliness as a Quality of Service 19 Soft Real-Time Processing with Dynamic QoS Level Resource Management 20 DeSiDeRaTa: QoS and Resource Management Tools 21 Virtual Foundation for Real-time Systems 22 Secure-RM: Security and Resource Management for Dynamic Real-Time Systems 23 Some Issues on Making Parallel / Distributed Real-time Systems 24 A Probabilistic Model to Schedule Tasks in DROPS 25 A Scheduling Taxonomy 26  Introduction Günter Hommel and Lonnie R. Welch In many existing real-time computing models, the execution time of a “job” is used to characterize its workload. Typically, it is assumed that an integer worst-case execution time (WCET) is known a priori. This is not without justification, since static engineering approaches based on non-stochastic models have utility in many application domains [Sha91]. Furthermore, the pre-deployment guarantee afforded by such approaches is highly desirable. However, there are numerous applications which must operate in dynamic environments, thereby precluding accurate characterization