Add to ORKGAn experiment to evaluate the applicability of the Verifiable Integrated Processor for Enhanced Reliability (VIPER) microprocessor to real time control is described. The VIPER microprocessor was invented by the Royal Signals and Radar Establishment (RSRE), U.K., and is an example of the use of formal mathematical methods for developing electronic digital systems with a high degree of assurance on the system design and implementation correctness. The experiment consisted of selecting a control law, writing the control law algorithm for the VIPER processor, and providing real time, dynamic inputs into the processor and monitoring the outputs. The control law selected and coded for the VIPER processor was the yaw damper function of an automati...
Three experiments on fault tolerant multiprocessors (FTMP) were begun. They are: (1) measurement of ...
A Controller Performance Evaluation (CPE) methodology for multi-input/multi-output digital control s...
In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simul...
The formal specification and partial verification of the VIPER microprocessor is reviewed. The VIPER...
The Royal Signals and Radar Establishment (RSRE) and members of the Hardware Verification Group at C...
A real-time digital simulator of a Pratt and Whitney F 100 engine is discussed. This self-contained ...
Research programs have demonstrated that digital electronic controls are more suitable for advanced ...
Experiments that can be used to validate fault free performance of multiprocessor systems in aerospa...
In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simul...
A computer program was developed for the study of a single-rotor helicopter on the Langley Research ...
Flight weight digital computers are being used today to carry out many of the propulsion system cont...
National audienceDuring the development of control systems, hardware-in-the-loop (HIL) takes place b...
A real-time digital simulator of a Pratt and Whitney F100 engine has been developed for real-time co...
A real-time, man-in-the loop, simulation of the rotor system research aircraft (RSRA) was conducted....
The evolution and optimization of a real-time digital control system is presented. The control syste...
Three experiments on fault tolerant multiprocessors (FTMP) were begun. They are: (1) measurement of ...
A Controller Performance Evaluation (CPE) methodology for multi-input/multi-output digital control s...
In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simul...
The formal specification and partial verification of the VIPER microprocessor is reviewed. The VIPER...
The Royal Signals and Radar Establishment (RSRE) and members of the Hardware Verification Group at C...
A real-time digital simulator of a Pratt and Whitney F 100 engine is discussed. This self-contained ...
Research programs have demonstrated that digital electronic controls are more suitable for advanced ...
Experiments that can be used to validate fault free performance of multiprocessor systems in aerospa...
In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simul...
A computer program was developed for the study of a single-rotor helicopter on the Langley Research ...
Flight weight digital computers are being used today to carry out many of the propulsion system cont...
National audienceDuring the development of control systems, hardware-in-the-loop (HIL) takes place b...
A real-time digital simulator of a Pratt and Whitney F100 engine has been developed for real-time co...
A real-time, man-in-the loop, simulation of the rotor system research aircraft (RSRA) was conducted....
The evolution and optimization of a real-time digital control system is presented. The control syste...
Three experiments on fault tolerant multiprocessors (FTMP) were begun. They are: (1) measurement of ...
A Controller Performance Evaluation (CPE) methodology for multi-input/multi-output digital control s...
In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simul...