Reliability Mechanisms for Controllers in Real-Time Cyber-Physical Systems
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We present a framework integrating specification and scheduler generation for real time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources ...
This paper presents the semi-passive replication technique -- a variant of passive replication -- that can be implemented in the asynchronous system model without requiring a membership service to agree on a primary. Passive replication is a popular replic ...
Optimistic Atomic Broadcast F.Pedone and A.Schiper This paper presents an Optimistic Atomic Broadcast algorithm (OPT-ABcast) that exploits the spontaneous total order message reception property experienced in local area networks, in order to allow fast del ...
Optimistic Atomic Broadcast F.Pedone and A.Schiper This paper presents an Optimistic Atomic Broadcast algorithm (OPT-ABcast) that exploits the spontaneous total order message reception property experienced in local area networks, in order to allow fast del ...
The performance of the consensus algorithm running on FDDI N. Sergent This paper presents an application of Hierarchical Coloured Timed Petri Nets to the modelling and the performance evaluation of a distributed consensus algorithm. We took a top down modu ...
The ARTeMeD project aims to solve problems of interactivity and real-time in teleradiology. It integrates personal multimedia facilities and patient data access in a common platform that allow radiologists to collaborate from remote sites through a suitabl ...
The paper reports the results of specifying, designing, verifying and implementing safe object oriented process control applications. This work gives a solution which enables the synthesis of a general method for addressing problems associated with these p ...
Large scale systems are becoming more and more common today. Many distributed applications are emerging that use the capability of world-wide internetworking. Since many applications require availability and consistency in the presence of failures, an adeq ...
In ATM local area networks, several kinds of traffic, such as data, video and voice, are likely to coexist. Some of this traffic has stringent delay and jitter requirements, which can only be guaranteed to be met through bandwidth reservation. In contrast, ...
This paper presents the semi-passive replication technique -- a variant of passive replication -- that can be implemented in the asynchronous system model without requiring agreement on a primary (usually done using a membership service). Passive replicati ...
