1982-02-01

Robotic Testing for Digital Systems 821422

The use of digital computers in flight control and avionics systems requires new techniques to verify and validate (V&V) the associated applications software. To compound the problem, changes in the application software subsequent to final certifications may require repeated certification testing, an expensive and time consuming process.
Digital computer technology created the difficult validation problem; but it can also solve it through application of advances in design and validation technology such as Finite State Machine (FSM), Logic Tree Graphic (LTG), and Robotic Testing (RT).
With FSM, system design is described in precise manner that allows direct testing of design states. The LTG will allow the design of test cases using minimal cut sets for failure combinations. In RT, the control of the test program, the detailed magnitude of the test, as well as the sequence of the test is exact and can be repeated in the same exact manner.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 43% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
X