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
Link To Document