• DocumentCode
    235439
  • Title

    Safety requirements modeling based on RUCM

  • Author

    Xue Wu ; Chao Liu ; Qingxin Xia

  • Author_Institution
    Sch. of Comput. Sci. & Eng. (SCSE), Beihang Univ., Beijing, China
  • fYear
    2014
  • fDate
    20-22 Oct. 2014
  • Firstpage
    217
  • Lastpage
    222
  • Abstract
    Safety requirements have commanded increasing attention as software is playing a more and more important role in today´s safety critical systems. As many experts, scholars have found that the main reason for safety critical systems´ accident is bad requirements which means inaccurate, incomplete or inconsistent requirements may lead to misunderstanding of the system and may cause a fault in software design and realization, and brought disaster to people or environment. The main reason of bad requirements is poor communication between safety engineers and requirements analysis engineers. Safety requirements essentially are requirements to protect the software system go into a danger state which will cause lost of life or asset or environment damage. Safety requirements deal with errors, faults that the system may come across. So In this paper, we combine fault protection concepts with safety requirements, and propose a model-based safety requirements modeling approach named Safety RUCM to describe safety requirements in order to reduce inaccurate, incomplete or inconsistent safety requirements and at the same time to enhance mutual understanding on safety requirements between safety.
  • Keywords
    safety-critical software; Safety RUCM; fault protection concepts; model-based safety requirement modeling approach; restricted use case modeling; safety critical systems; software design; Data structures; Dictionaries; Educational institutions; Fault detection; Safety; Software; Switches; modeling; rucm; safety critical systems; safety requirements;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computing, Communications and IT Applications Conference (ComComAp), 2014 IEEE
  • Conference_Location
    Beijing
  • Print_ISBN
    978-1-4799-4813-0
  • Type

    conf

  • DOI
    10.1109/ComComAp.2014.7017199
  • Filename
    7017199