Verification and validation of safety software for automated guideway transit systems
BIED-CHARRETON ; CHOPARD-GUILLAUMOT ; ARAMAN
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
BIED-CHARRETON ; CHOPARD-GUILLAUMOT ; ARAMAN
Résumé / Abstract
This paper describes a computerised method for the verification and validation of automatic driving software for automated guideway transit systems (AGTS). This method consists in verifying that the software requirement specifications satisfy the safety criteria and then automatically running test scenarios on a host computer in order to validate the code produced by the manufacturer. The method is based on a tool, known as agape, which, amongst other things, uses a model of the specification in the lustre language and also a model of the environment. This tool (which still is at the experimental stage) frees experts from the most tedious tasks and thus enables them to concentrate on looking for complex scenarios.
