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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | en |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/5521/1/ACIS_2011_-_Capturing_Safety_Properties_for_Safety-critical_Systems_using_SOFL.pdf http://umpir.ump.edu.my/id/eprint/5521/ http://dx.doi.org/10.1109/CNSI.2011.1 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1831521786088390656 |
|---|---|
| author | Azma, Abdullah Liu, Shaoying |
| author_facet | Azma, Abdullah Liu, Shaoying |
| author_sort | Azma, Abdullah |
| building | UMPSA Library |
| collection | Institutional Repository |
| content_provider | Universiti Malaysia Pahang Al-Sultan Abdullah |
| content_source | UMPSA Institutional Repository |
| continent | Asia |
| country | Malaysia |
| 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 |
| id | my.ump.umpir.5521 |
| institution | Universiti Malaysia Pahang |
| language | en |
| publishDate | 2011 |
| record_format | eprints |
| spelling | my.ump.umpir.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/1/ACIS_2011_-_Capturing_Safety_Properties_for_Safety-critical_Systems_using_SOFL.pdf http://umpir.ump.edu.my/id/eprint/5521/ http://dx.doi.org/10.1109/CNSI.2011.1 |
| url_provider | http://umpir.ump.edu.my/ |