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]](http://umpir.ump.edu.my/style/images/fileicons/application_pdf.png) |
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 |
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.
| 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 |
| URI: | http://umpir.ump.edu.my/id/eprint/5521 |
| Download Statistic: | View Download Statistics |
Actions (login required)
 |
View Item |