DocumentCode
2779188
Title
The experience of auditing software for safety critical railway signalling equipment
Author
Ghoshal, Tapan Kumar ; Bhattacharya, Samar ; Datta, Kalyankumar
Author_Institution
Centre for Knowledge Based Syst., Jadavpur Univ., Calcutta, India
fYear
2000
fDate
2000
Firstpage
193
Lastpage
196
Abstract
The experience of carrying out Audit of two versions of Software for a Railway Signalling equipment, called the “Universal Fail Safe Block Interface” (UFSBI), being developed by two vendors is described. For the users and the developers, this had been the first exposure to formal development of safety critical software. The auditors were academics with IV&V experience for only aerospace software and no prior experience with railway signalling system. Prototypes of UFSBI had been operating before the auditors were formally brought in, but a full life cycle audit was undertaken due to safety criticality of the system as per the European CENELEC standard, desired to be adopted by the users. In the absence of local precedence, new paradigms of interaction had to be evolved and the role of the auditors, expanded to also include mentoring and facilitation. Initial scepticism and conflicting expectations from software audit gradually became a participatory learning activity for all the involved parties
Keywords
railways; safety-critical software; signalling; telecommunication computing; auditing software; formal development; safety critical railway signalling equipment; safety critical software; universal fail safe block interface; Aerospace safety; Bismuth; Cables; Digital relays; Instruments; Permission; Rail transportation; Railway safety; Safety devices; Software safety;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Conference_Location
Albuquerque, NM
Print_ISBN
0-7695-0927-4
Type
conf
DOI
10.1109/HASE.2000.895459
Filename
895459
Link To Document