DERIVING SAFETY-CRITICAL SYSTEM SPECIFICATIONS THROUGH REQUIREMENTS ENGINEERING PROCESS

This paper clarifies some issues inherent in requirements analysis for safety-critical systems and indicates the importance of such notions as environment model, traceability, and well-grounded decisions. Secondly, it discusses the use of requirements engineering techniques in design processes of safety-critical systems. Finally, it gives an account of an experiment in which requirement engineering processes are applied to the specification of level crossing control systems, a typical safety-critical system in railroads.

• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/oclc/3127232
• Corporate Authors:

  Railway Technical Research Institute

  2-8-38, Hikari-cho, Kokubunji-shi
  Tokyo 185,   Japan 
• Authors:
  • Tsuchiya, R
  • Hirao, Y
  • Fukuda, M
  • Arai, H
  • Uehan, Y
  • Nozue, N
• Publication Date: 1998-12

Language

• English

Media Info

• Features: Figures; References; Tables;
• Pagination: p. 198-202
• Serial:
  • Railway Technical Research Institute, Quarterly Reports
  • Volume: 39
  • Issue Number: 4
  • Publisher: Railway Technical Research Institute/Tetsudo Gijutsu Kenkyujo
  • ISSN: 0033-9008
  • Serial URL: http://www.rtri.or.jp/eng/

Subject/Index Terms

• TRT Terms: Adaptive control; Control systems; Engineering; Environmental design; Safety factors; System design; Systems engineering; Trace analysis; Validation
• Subject Areas: Railroads; Safety and Human Factors;

Filing Info

• Accession Number: 00760726
• Record Type: Publication
• Files: TRIS
• Created Date: Mar 2 1999 12:00AM