Capturing Safety Properties for Safety-critical Systems using SOFL

Azma, Abdullah and Liu, Shaoying (2011) Capturing Safety Properties for Safety-critical Systems using SOFL. In: 2011 First ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering (CNSI), 23-25 May 2011 , Jeju Island. pp. 186-192..

[img] PDF
ACIS_2011_-_Capturing_Safety_Properties_for_Safety-critical_Systems_using_SOFL.pdf - Published Version
Restricted to Repository staff only

Download (447kB) | Request a copy


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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: ISBN: 978-1-4577-0180-1
Uncontrolled Keywords: Safety requirements; Safety properties; Failure; Safety constraint
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Azma Abdullah
Date Deposited: 16 Apr 2014 03:58
Last Modified: 29 Mar 2018 06:42
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item