As more and more transit systems look towards automated systems to increase their capacity and efficiency, software is consistently being called upon to provide the necessary functionability and behavior required. However, safety cannot be compromised as these systems increase in complexity in order to satisfy customer demands. This paper discusses the experience of Alcatel Canada with Formal Graphical Specifications that can mitigate the risk of hazardous software being designed, built and delivered due to insufficient, incomplete or defective specifications. Formal Graphical Specifications provide the ability to generate a minimum and sufficient set of correct, consistent and complete requirements through various illustrations or views of the system under development.

  • Supplemental Notes:
    • Full Conference proceedings available only on CD.
  • Corporate Authors:

    American Public Transportation Association

    1201 New York Avenue, NW
    Washington, DC    20005
  • Authors:
    • Gerstmann, M
  • Conference:
  • Publication Date: 1998


  • English

Media Info

  • Pagination: 10p

Subject/Index Terms

Filing Info

  • Accession Number: 00769796
  • Record Type: Publication
  • Report/Paper Numbers: Volume 3
  • Files: TRIS
  • Created Date: Sep 27 1999 12:00AM