Real-Time Systems: Proceedings: 11th EUROMICRO Conference, 1999, York, England Book

	Message from the Program Chair
	Conference Chairs
	Program Committee
	Reviewers
	Improved Scheduling of Control Tasks	4
	The Case for Feedback Control Real-Time Scheduling	11
	Rate Modulation of Soft Real-Time Tasks in Autonomous Robot Control Systems	21
	Adaptation and Graceful Degradation of Control System Performance by Task Reallocation and Period Adjustment	29
	Static-Priority Scheduling of Multiframe Tasks	38
	An Approach to Task Attribute Assignment for Uniprocessor Systems	46
	Rate Monotonic Scheduling of Real-Time Control Systems with the Minimum Number of Priority Levels	54
	Handling Sporadic Tasks in Off-line Scheduled Distributed Real-Time Systems	60
	Worst-Case Execution Times and Schedulability Analysis of Statecharts Models	70
	Time-Constrained Sorting - A Comparison of Different Algorithms	78
	Implementing Mode Changes with Shared Resources in Ada	86
	Splitting Reachability Analysis in Hybrid Automata	98
	Timed Automaton Models for Simple Programmable Logic Controllers	106
	Formally Specified Monitoring of Temporal Properties	114
	Experiments with Parametric Verification of Real-Time Systems	123
	Automotive Electronics	132
	A Comparison of Fixed-Priority and Static Cyclic Scheduling for Distributed Automotive Control Applications	142
	Cluster Simulation - Support for Distributed Development of Hard Real-Time Systems using TDMA-based Communication	150
	Distributed Real-Time Task Monitoring in the Safety-Critical System MELODY	158
	Protocol for Wireless Real-Time Systems	168
	Adding Local Priority-based Dispatching Mechanisms to P-NET Networks: A Fixed Priority Approach	175
	Finding the Minimum Available Transmission Time for the Timed Token Medium Access Control Protocol	185
	Adaptive Dissemination of Data in Time-Critical Asymmetric Communication Environments	195
	Scheduling Coprocessor for Enhanced Least-Laxity-First Scheduling in Hard Real-Time Systems	208
	Hardware-Software Coverification of Concurrent Embedded Real-Time Systems	216
	On the Correctness of Multimedia Applications	226
	Scheduling Real-Time Multi-Task Applications in an Open System	234
	QoS Guarantee using Probabilistic Deadlines	242
	Fault Tolerant Real-Time Global Scheduling on Multiprocessors	252
	Shadowing-based Crash Recovery Schemes for Real-Time Database Systems	260
	Dynamic Value-Density for Scheduling Real-Time Systems	270
	Value-Density Algorithms to Handle Transient Overloads in Scheduling	278
	Performance of Algorithms for Scheduling Real-Time Systems with Overrun and Overload	287
	Index of Authors	297