Add to ORKGA transformational method is given for specifying and verifying fault-tolerant, real-time programs. Such a program needs to be provably correct according to both its functional and real-time requirements, despite the possible occurrence of system failures. The paper demonstrates that a suitably expressive logic for real-time systems makes it possible to naturally model the state changes caused by system failures and determine their effect on the functional and real-time properties of executions
Abstract Designing autonomic fault responses is diffi-cult, particularly in large-scale systems, as ...
The techniques of formal verification are one means for gaining greater assurance of the correctness...
state.edu We focus on decomposition of hard-masking real-time fault-tolerant programs (where safety,...
We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial...
Proving that a program suits its specification and thus can be called correct has been a research su...
We focus on decomposition of fault-tolerant real-time programs that are designed from their fault-in...
Fault-tolerance and timing have often been considered to be implementation issues of a program, quit...
Motivated by the close relation between real-time and fault tolerance, we investigate the foundation...
From the early days of programming, the dependability of software has been a concern. The developmen...
In this paper, we focus on automated addition of fault-tolerance to an existing fault-intolerant rea...
Fault-tolerance and timing have often been considered to be implementation issues of a program, quit...
501-509To make an event-triggered real-time system safe in application layer, this study presents a ...
In this paper, we focus on automated addition of fault-tolerance to an existing fault-intolerant rea...
Real time systems are those systems which must guarantee to response correctly within strict time co...
We present a systematic approach to design and verification of fault-tolerant components with real-t...
Abstract Designing autonomic fault responses is diffi-cult, particularly in large-scale systems, as ...
The techniques of formal verification are one means for gaining greater assurance of the correctness...
state.edu We focus on decomposition of hard-masking real-time fault-tolerant programs (where safety,...
We present a formal approach to implement fault-tolerance in real-time embedded systems. The initial...
Proving that a program suits its specification and thus can be called correct has been a research su...
We focus on decomposition of fault-tolerant real-time programs that are designed from their fault-in...
Fault-tolerance and timing have often been considered to be implementation issues of a program, quit...
Motivated by the close relation between real-time and fault tolerance, we investigate the foundation...
From the early days of programming, the dependability of software has been a concern. The developmen...
In this paper, we focus on automated addition of fault-tolerance to an existing fault-intolerant rea...
Fault-tolerance and timing have often been considered to be implementation issues of a program, quit...
501-509To make an event-triggered real-time system safe in application layer, this study presents a ...
In this paper, we focus on automated addition of fault-tolerance to an existing fault-intolerant rea...
Real time systems are those systems which must guarantee to response correctly within strict time co...
We present a systematic approach to design and verification of fault-tolerant components with real-t...
Abstract Designing autonomic fault responses is diffi-cult, particularly in large-scale systems, as ...
The techniques of formal verification are one means for gaining greater assurance of the correctness...
state.edu We focus on decomposition of hard-masking real-time fault-tolerant programs (where safety,...