封面圖片

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:	Azma, Abdullah, Liu, Shaoying
格式:	Conference or Workshop Item
語言:	English
出版:	2011
主題:	QA76 Computer software
在線閱讀:	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
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Hazard Analysis for Safety-critical Systems Using SOFL
由: Azma, Abdullah, et al.
出版: (2013)

Capturing Requirement Specification for Safety-critical System using SOFL and UML
由: Azma, Abdullah, et al.
出版: (2015)

A tool for capturing safety properties from critical system specifications written in SOFL
由: Azma, Abdullah, et al.
出版: (2018)

Automated safety and online healthcare system
由: Sharma, Laxmi Narayan, et al.
出版: (2009)

Safety car detection with notification system
由: Nur Fathihah, Mashudi
出版: (2019)

Develop earthquake system for safety using wireless sensor network
由: Mohd Saffwan, Mohd Reip
出版: (2018)

Children road safety awareness: Design and development of a road safety application
由: Shaari, Nassiriah, et al.
出版: (2015)

Ontology Design for Process Safety Management
由: Low, Tan Jung, et al.
出版: (2012)

Malware awareness tool for internet safety using gamification techniques
由: Omar, Nurul Suraya, et al.
出版: (2021)

Mobile edutainment games: road safety for kids
由: Nur Izdihar, Ab Ghani
出版: (2013)

SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System
由: A Rahman, Mat, et al.
出版: (2013)

Correlation network analysis of safety culture using minimum spanning tree
由: Sharif, Shamshuritawati, et al.
出版: (2011)

SafeJourney - A Pedestrian Map using Safety Annotation for Route Determination
由: Yew, Kwang Hooi, et al.
出版: (2010)

Capturing Security Requirements Using Essential Use Cases (EUCs)
出版: (2014)

SafeJourney – A Pedestrian Map Route Guidance using Safety Annotation for Route Determination
由: Yew, Kwang Hooi, et al.
出版: (2010)

Interoperation of Elements in Process Safety Management Via Ontology-oriented Architecture
由: Yew, Kwang Hooi, et al.
出版: (2012)

Interoperation of Elements in Process Safety Management Via Ontology-oriented Architecture
由: Yew, Kwang Hooi, et al.
出版: (2012)

The use of multimedia, augmented reality (AR) and virtual environment (VE) in enhancing children’s understanding of road safety
由: Abu Bakar, Nur Afiqah, et al.
出版: (2011)

Staff payroll using image capture and GPS location (SPICG)
由: Tatccayani, Ravindran
出版: (2019)

Designing a Serious Computer Game to Transfer Knowledge on Road Safety for Schoolchildren
由: M Ariffin , Mazeyanti, et al.
出版: (2011)

Developing a Simulation Game to Facilitate the Acquisition and Transfer of Road Safety Knowledge
由: M Ariffin , Mazeyanti, et al.
出版: (2010)

Search interface to capture searchers behaviour
由: Mat Yamin, Fadhilah, et al.
出版: (2013)

MEReq: A Tool to Capture and Validate Multi-Lingual Requirements
出版: (2014)

Image processing of moving object captured and received by GPRS/GSM modem
由: Johari, Ayob, et al.
出版: (2013)

A Review of virtual reality and motion capture in martial arts training
由: Mohd Jelani, N.A., et al.
出版: (2019)

Study and Implementation of Internet of Things (IoT) Based Vehicle Safety Alert and Tracking System
由: Sarasvathi, Nahalingham, et al.
出版: (2018)

Development of staff medical management system with e-management attributes for KUKTEM
由: Azma Abdullah,
出版: (2004)

Real-Time Data Capturing for Reservoir Spillway Gate Operation Via Mobile Device
由: Faisal, Zulhumadi
出版: (2006)

Inventory visibility scenario to reduce safety stock in supply chain network using blockchain hyperledger composer
由: Arwa, Mukhtar, et al.
出版: (2012)

Tracing Significant Association Rules Using Critical Least Association Rules Model
由: Zailani, Abdullah, et al.
出版: (2013)

Conference organising critics
由: Mandy, Low Man Yee
出版: (2014)

A Mobile IoT-based Elderly Monitoring System for Senior Safety
由: Mohamed Khaled Mohyeldin Naeim, et al.
出版: (2023)

An improved file carver of intertwined jpeg images using X_myKarve
由: Abdullah, Nurul Azma
出版: (2014)

Capturing Data of Children’ Concentration and Meditation Levels : How Learners’ Effort Influence the Academic Emotional Response Level
由: Nurshafiqa, Sharif, et al.
出版: (2015)

Mining significant association rules from educational data using critical relative support approach
由: Zailani, Abdullah, et al.
出版: (2011)

The critical success factors for e-government implementation in Jordan
由: AL - Naimat, Ali M., et al.
出版: (2013)

Software Based Scalable Packet Capture Mechanism To Reduce Packet Loss
由: Alias, Syazwina
出版: (2019)

A critical analysis of simulators in grid
由: Dakkak, Omar, et al.
出版: (2015)

CNAR-M: A model for mining critical negative association rules
由: Herawan, Tutut, et al.
出版: (2012)

Enhanced Adaptive Neuro-Fuzzy Inference System Classification Method for Intrusion Detection
由: Jia, Liu
出版: (2024)