Schedulability analysis of distributed hard real-time systems with multiple-event synchronization

Authors:
J. J. Gutiérrez García;J. C. Palencia Gutiérrez;M. González Harbour
Affiliations:
Departamento de Electrónica y Computadores, Universidad de Cantabria, Santander, Spain;Departamento de Electrónica y Computadores, Universidad de Cantabria, Santander, Spain;Departamento de Electrónica y Computadores, Universidad de Cantabria, Santander, Spain
Venue:
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Year:
2000

Citing 7
Cited 7

A practitioner's handbook for real-time analysis

A practitioner's handbook for real-time analysis
Holistic schedulability analysis for distributed hard real-time systems

Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
A description language for engineering of complex real-time systems

Real-Time Systems - Special issue on the engineering of complex real-time computer control systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Joint scheduling of distributed complex periodic and hard aperiodic tasks in statically scheduled systems

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Schedulability Analysis for Tasks with Static and Dynamic Offsets

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems

RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium

Schedulability analysis with UML

UML for real
Building high-integrity distributed systems with Ravenscar restrictions

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From MDD to full industrial process: building distributed real-time embedded systems for the high-integrity domain

Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Ten years of analyzing actors: Rebeca experience

Formal modeling
Modular schedulability analysis of concurrent objects in creol

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Composing real-time concurrent objects: refinement, compatibility and schedulability

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a schedulability analysis technique for distributed hard real-time systems in which responses to different events may synchronize with each other. This technique uses a representation model for distributed systems that allows us to describe not only the task synchronization due to resource sharing, but also the activation due to combinations of events or the generation of several events by a single task. The model is representative of a large number of systems and is suitable for the treatment of message-passing systems or the client-server architecture. The analysis technique is based on the existing RMA techniques for analyzing distributed real-time systems; it allows obtaining upper bounds for the worst-case response times of the system, thus allowing us to make guarantees about the fulfillment of the timing requirements that have been imposed.