• DocumentCode
    2816216
  • Title

    Integrating safety analysis and requirements engineering

  • Author

    Kotonya, Gerald ; Sommerville, Ian

  • Author_Institution
    Dept. of Comput., Lancaster Univ., UK
  • fYear
    1997
  • fDate
    2-5 Dec 1997
  • Firstpage
    259
  • Lastpage
    271
  • Abstract
    Some systems failures are due to defects in manufacturing and design, however that there are a significant number of system failures which result from errors, omissions and inconsistencies in the system requirements. We thus need methods to support a `safe´ requirements engineering process whose objectives are to specify system requirements such that system states which compromise safety are avoided and to include, along with the requirements, a justification or safety case which explains why the specified system is indeed safe. This paper describes the extension of a viewpoint-based requirements method to incorporate safety analysis
  • Keywords
    formal specification; software reliability; system recovery; systems engineering; requirements engineering; safety analysis; system failures; system requirements; viewpoint-based; Computer aided manufacturing; Computer industry; Control systems; Design engineering; Electrical equipment industry; Functional analysis; Industrial control; Object oriented modeling; Software safety; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
  • Print_ISBN
    0-8186-8271-X
  • Type

    conf

  • DOI
    10.1109/APSEC.1997.640183
  • Filename
    640183