Add to ORKGA number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic
Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probabil...
The real-time capabilities of the SIFT computer system, a highly reliable multicomputer architecture...
Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The ass...
A SIFT reliable aircraft control computer system, designed to meet the ultrahigh reliability require...
Software is playing increasingly important roles in avionics systems. It is widely used in navigatio...
The design and formal verification of a hardware system for a task that is an important component of...
SIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system desig...
The proceedings of the first working group meeting on validation methods for fault tolerant computer...
A validation method for the synchronization subsystem of a fault tolerant computer system is investi...
Presented here is a formal specification and verification of a property of a quadruplicately redunda...
This volume is concerned with the architecture of a fault tolerant digital computer for an advanced ...
A controlled experiment performed by the Software Engineering Laboratory (SEL) to compare the effect...
A validation methodology for testing the performance of fault-tolerant computer systems was develope...
A high-level design is presented for a reliable computing platform for real-time control application...
Results are summarized of the simulation verification techniques study which consisted of two tasks:...
Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probabil...
The real-time capabilities of the SIFT computer system, a highly reliable multicomputer architecture...
Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The ass...
A SIFT reliable aircraft control computer system, designed to meet the ultrahigh reliability require...
Software is playing increasingly important roles in avionics systems. It is widely used in navigatio...
The design and formal verification of a hardware system for a task that is an important component of...
SIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system desig...
The proceedings of the first working group meeting on validation methods for fault tolerant computer...
A validation method for the synchronization subsystem of a fault tolerant computer system is investi...
Presented here is a formal specification and verification of a property of a quadruplicately redunda...
This volume is concerned with the architecture of a fault tolerant digital computer for an advanced ...
A controlled experiment performed by the Software Engineering Laboratory (SEL) to compare the effect...
A validation methodology for testing the performance of fault-tolerant computer systems was develope...
A high-level design is presented for a reliable computing platform for real-time control application...
Results are summarized of the simulation verification techniques study which consisted of two tasks:...
Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probabil...
The real-time capabilities of the SIFT computer system, a highly reliable multicomputer architecture...
Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The ass...