• 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