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
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;
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
DOI :
10.1109/CNSI.2011.1
