DocumentCode
2300868
Title
Capturing Safety Properties for Safety-Critical Systems Using SOFL
Author
Abdullah, Azma Binti ; Liu, Shaoying
Author_Institution
Fac. of Comput. & Inf. Sci., Hosei Univ., Koganei, Japan
fYear
2011
fDate
23-25 May 2011
Firstpage
186
Lastpage
192
Abstract
This paper presents an approach to capturing safety properties for safety critical systems using the Structured Object-oriented Formal Language (SOFL). The approach features a process and five keys for capturing safety properties that need to be verified based on a software model. The five keys include constraints of functions, domain knowledge for functions, developer´s experience, real-time constraints on functions and input/output device.
Keywords
constraint handling; formal languages; formal specification; object-oriented languages; safety-critical software; SOFL; Structured Object-oriented Formal Language; domain knowledge; function constraint; input/output device; real-time constraint; safety property; safety requirement; safety-critical system; software model; Companies; Formal specifications; Frequency control; Integrated circuits; Safety; Software; Timing; failure; safety constraint; safety properties; safety requirements;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers, Networks, Systems and Industrial Engineering (CNSI), 2011 First ACIS/JNU International Conference on
Conference_Location
Jeju Island
Print_ISBN
978-1-4577-0180-1
Type
conf
DOI
10.1109/CNSI.2011.1
Filename
5954306
Link To Document