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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | 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 |
| _version_ | 1848817603820126208 |
|---|---|
| author | Azma, Abdullah Liu, Shaoying |
| author_facet | Azma, Abdullah Liu, Shaoying |
| author_sort | Azma, Abdullah |
| building | UMP Institutional Repository |
| collection | Online Access |
| 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. |
| first_indexed | 2025-11-15T01:24:24Z |
| format | Conference or Workshop Item |
| id | ump-5521 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T01:24:24Z |
| publishDate | 2011 |
| recordtype | eprints |
| repository_type | Digital Repository |
| 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.. (Published) http://dx.doi.org/10.1109/CNSI.2011.1 |
| spellingShingle | QA76 Computer software Azma, Abdullah Liu, Shaoying Capturing Safety Properties for Safety-critical Systems using SOFL |
| title | 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_short | Capturing Safety Properties for Safety-critical Systems using SOFL |
| title_sort | capturing safety properties for safety-critical systems using sofl |
| topic | QA76 Computer software |
| 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 |