GAM assessment of train location systems
EL KOURSI
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
EL KOURSI
Résumé / Abstract
ONE PRIMARY OBJECTIVE OF THE CERTIFICATION AND ASSESSMENT OF SAFETY-CRITICAL APPLICATION DEVELOPMENT (CASCADE) PROJECT IS TO FORMULATE, EVALUATE AND DEVELOP, THROUGH REAL APPLICATIONS, A HARMONISED GENERALISED ASSESSMENT METHOD (GAM) FOR SOFTWARE INTENSIVE SAFETY CRITICAL APPLICATIONS. TEN INDUSTRIAL APPLICATIONS, FIVE EXISTING AND FIVE UNDER DEVELOPMENT ARE ASSESSED AGAINST THE RELEVANT STANDARDS AND MEASURABLE SAFETY ATTRIBUTES. SIX CASE STUDIES ARE FROM THE RAILWAY SECTOR. THEY INCLUDE : FORMAL SPECIFICATION AND VALIDATION OF RAILTRACK'S SIGNALLING RULES AND PROCEDURES, SAFETY CRITICAL SOFTWARE MODULES FROM RATP'S METEOR PROJECT, EBILOCK, AND DSB'S AND RAILTRACK'S LEVEL CROSSING SYSTEMS. OTHER FIVE CASE STUDIES ARE TAKEN FROM THE AUTOMOTIVE SECTOR AND ASSESSMENT TOOLS. THIS WAS FURTHER SUPPORTED BY THE SURVEYS OF EXISTING ASSESSMENT AND CERTIFICATION METHODS USED WITHIN THE RAILWAY AND AUTOMOTIVE SECTORS. THE ASSESSMENT OF THE LAST CASE STUDIES OF THE PROJECT IS BASED ON THE APPLICATION OF GAM (RULES AND GUIDELINES) APPROACH AND PRINCIPLES. INRETS AND LLOYD'S REGISTER APPLY THE CASCADE GENERALISED ASSESSMENT METHOD [GAM'96A & B] TO ASSESS MATRA'S SECOND CASE STUDY. THE OBJECT OF THIS ASSESSMENT IS THE TRAIN LOCATION SYSTEM, AN IMPORTANT ELEMENT OF THE ATP SYSTEM OF A FULLY AUTOMATED TRAIN CONTROL AND OPERATION SYSTEM WHICH IS BEING DEVELOPED FOR THE PARIS METRO. THIS PAPER PRESENTS THE APPROACHES AND THE RESULTS OF THE ASSESSMENT BASED ON THE SAFETY ANALYSIS AND THE SAFETY AUDIT AND REVIEW.
