Add to ORKGWe present a contract for consistent mode change in a real-time system for control applications. The contract between the control engineer and the software developer guarantees that when a mode change is signalled, it will occur at a specific instant thereafter, and that the task sets for the modes are never mixed. The concept is illustrated by small examples, and efficient implementations in Safety Critical Java on two platforms are demonstrated. </em
Mode switches are used to partition the system’s behavior into different modes to reduce the complex...
This paper addresses the problem of detecting and resolving conflicts due to timing constraints impo...
Multi-mode real-time systems are those which support applications with different modes of operation,...
This paper presents a resource allocation approach that benefits from modal nature of hard-real time...
The design of safety-critical systems calls for rigorous application of specification and verificati...
Handling mode changes is one of the most complex and important problems for real-time systems design...
The document describes and examines possibilities of run-time vari- ability in real-time embedded co...
In many real-time applications, the set of tasks in the system, as well as the characteristics of th...
The design of safety-critical systems calls for rigorous application of specification and verificati...
This paper focuses on the important holonic manufacturing systems issue of automatic and dynamic ada...
We present a unified framework for the specification and analysis of mode-change protocols used in m...
The goal of the thesis is to examine possibilities of dynamic reconfiguration in real-time component...
Real-time systems are becoming increasingly complex. A modern car, for example, requires a multitude...
We present an approach to enhance fault-tolerance of real-time systems through steering. Steering me...
International audienceThis paper tackles the problem of designing and programming a realtime system ...
Mode switches are used to partition the system’s behavior into different modes to reduce the complex...
This paper addresses the problem of detecting and resolving conflicts due to timing constraints impo...
Multi-mode real-time systems are those which support applications with different modes of operation,...
This paper presents a resource allocation approach that benefits from modal nature of hard-real time...
The design of safety-critical systems calls for rigorous application of specification and verificati...
Handling mode changes is one of the most complex and important problems for real-time systems design...
The document describes and examines possibilities of run-time vari- ability in real-time embedded co...
In many real-time applications, the set of tasks in the system, as well as the characteristics of th...
The design of safety-critical systems calls for rigorous application of specification and verificati...
This paper focuses on the important holonic manufacturing systems issue of automatic and dynamic ada...
We present a unified framework for the specification and analysis of mode-change protocols used in m...
The goal of the thesis is to examine possibilities of dynamic reconfiguration in real-time component...
Real-time systems are becoming increasingly complex. A modern car, for example, requires a multitude...
We present an approach to enhance fault-tolerance of real-time systems through steering. Steering me...
International audienceThis paper tackles the problem of designing and programming a realtime system ...
Mode switches are used to partition the system’s behavior into different modes to reduce the complex...
This paper addresses the problem of detecting and resolving conflicts due to timing constraints impo...
Multi-mode real-time systems are those which support applications with different modes of operation,...