Capturing Safety Properties for Safety-critical Systems using SOFL

Capturing Safety Properties for Safety-critical Systems using SOFL

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 inc...

Full description

Bibliographic Details
Main Authors: Azma, Abdullah, Liu, Shaoying
Format: Conference or Workshop Item
Language:English
Published: 2011
Subjects:
QA76 Computer software
Online Access:http://umpir.ump.edu.my/id/eprint/5521/
http://umpir.ump.edu.my/id/eprint/5521/
http://umpir.ump.edu.my/id/eprint/5521/1/ACIS_2011_-_Capturing_Safety_Properties_for_Safety-critical_Systems_using_SOFL.pdf
id ump-5521
recordtype eprints
spelling ump-55212018-03-29T06:42:08Z http://umpir.ump.edu.my/id/eprint/5521/ Capturing Safety Properties for Safety-critical Systems using SOFL Azma, Abdullah Liu, Shaoying QA76 Computer software 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. 2011 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/5521/1/ACIS_2011_-_Capturing_Safety_Properties_for_Safety-critical_Systems_using_SOFL.pdf 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.. http://dx.doi.org/10.1109/CNSI.2011.1
repository_type Digital Repository
institution_category Local University
institution Universiti Malaysia Pahang
building UMP Institutional Repository
collection Online Access
language English
topic QA76 Computer software
spellingShingle QA76 Computer software
Azma, Abdullah
Liu, Shaoying
Capturing Safety Properties for Safety-critical Systems using SOFL
description 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.
format Conference or Workshop Item
author Azma, Abdullah
Liu, Shaoying
author_facet Azma, Abdullah
Liu, Shaoying
author_sort Azma, Abdullah
title Capturing Safety Properties for Safety-critical Systems using SOFL
title_short Capturing Safety Properties for Safety-critical Systems using SOFL
title_full Capturing Safety Properties for Safety-critical Systems using SOFL
title_fullStr Capturing Safety Properties for Safety-critical Systems using SOFL
title_full_unstemmed Capturing Safety Properties for Safety-critical Systems using SOFL
title_sort capturing safety properties for safety-critical systems using sofl
publishDate 2011
url http://umpir.ump.edu.my/id/eprint/5521/
http://umpir.ump.edu.my/id/eprint/5521/
http://umpir.ump.edu.my/id/eprint/5521/1/ACIS_2011_-_Capturing_Safety_Properties_for_Safety-critical_Systems_using_SOFL.pdf
first_indexed 2023-09-18T22:00:51Z
last_indexed 2023-09-18T22:00:51Z
_version_ 1777414387582107648

Similar Items