A constant growth of ABS-TCS software activities and the resulting demand for software verification lead to the design of a programable verification system.The system was designed to take up any ABS-TCS controller electrically the same way a car does, including the option of generating every type of fault possible from outside the controller.To run verification procedures, a simplified test processing language was created along with a real-time sequencer.Results are acquired by monitoring ABS-TCS-Controler lines, and communicating with the built in self diagnosis of the controller. Additional software exists for the evaluation of the result data.Runnig fully automated, 350 ABS-TCS tests have already become part of the official software release process.Built to be easily upgraded and adopted to changes, the system is intended to cope with future ABS-TCS development. It even provides not only for preprogrammed or field recorded test patterns to be run, but also for hazard seeking algorithms to be developed and performed.
Automated Software Verification Supporting ABS TCS Safety Design
Sae Technical Papers
International Congress & Exposition ; 1994
1994-03-01
Conference paper
English
Automated software verification supporting ABS TCS safety design
Automotive engineering | 1994
|Automated Software Verification Supporting ABS TCS Safety Design
British Library Conference Proceedings | 1994
|
Safety verification for automated vehicle maneuvers.
Safety verification for automated car maneuvers
DSpace@MIT | 1998
|Verification and Validation of Safety Software for Automated Guideway Transit Systems
British Library Conference Proceedings | 1996
|Verification and Validation of Safety Software for Automated Guideway Transit Systems
British Library Conference Proceedings | 1996
|