Add to ORKGExperiments that can be used to validate fault free performance of multiprocessor systems in aerospace systems integrating flight controls and avionics are discussed. Engineering prototypes for two fault tolerant multiprocessors are tested
The purpose of the Multi-Version Software (MVS) experiment is to obtain empirical measurements of th...
The validation process comprises the activities required to insure the agreement of system realizati...
A number of methodologies for verifying systems and computer based tools that assist users in verify...
Three experiments on fault tolerant multiprocessors (FTMP) were begun. They are: (1) measurement of ...
In the future, aircraft must employ highly reliable multiprocessors in order to achieve flight safet...
In the future, aircraft employing active control technology must use highly reliable multiprocessors...
A validation methodology for testing the performance of fault-tolerant computer systems was develope...
A validation method for the synchronization subsystem of a fault tolerant computer system is investi...
The proceedings of the first working group meeting on validation methods for fault tolerant computer...
A high-level design is presented for a reliable computing platform for real-time control application...
The reliability of voting was evaluated in a fault-tolerant software system for small output spaces....
A fault-tolerant multiprocessor architecture is reported. This architecture, together with a compreh...
A methodology for the design of a tightly coupled, highly reliable microprocessor based computer sys...
The primary goal was to determine whether the application of fault tolerance to software increases i...
A parallelized system, ASSURE, for computing the reliability of embedded avionics flight control sys...
The purpose of the Multi-Version Software (MVS) experiment is to obtain empirical measurements of th...
The validation process comprises the activities required to insure the agreement of system realizati...
A number of methodologies for verifying systems and computer based tools that assist users in verify...
Three experiments on fault tolerant multiprocessors (FTMP) were begun. They are: (1) measurement of ...
In the future, aircraft must employ highly reliable multiprocessors in order to achieve flight safet...
In the future, aircraft employing active control technology must use highly reliable multiprocessors...
A validation methodology for testing the performance of fault-tolerant computer systems was develope...
A validation method for the synchronization subsystem of a fault tolerant computer system is investi...
The proceedings of the first working group meeting on validation methods for fault tolerant computer...
A high-level design is presented for a reliable computing platform for real-time control application...
The reliability of voting was evaluated in a fault-tolerant software system for small output spaces....
A fault-tolerant multiprocessor architecture is reported. This architecture, together with a compreh...
A methodology for the design of a tightly coupled, highly reliable microprocessor based computer sys...
The primary goal was to determine whether the application of fault tolerance to software increases i...
A parallelized system, ASSURE, for computing the reliability of embedded avionics flight control sys...
The purpose of the Multi-Version Software (MVS) experiment is to obtain empirical measurements of th...
The validation process comprises the activities required to insure the agreement of system realizati...
A number of methodologies for verifying systems and computer based tools that assist users in verify...