表紙画像

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

保存先:

書誌詳細
主要な著者:	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, 等
出版事項: (2013)

Capturing Requirement Specification for Safety-critical System using SOFL and UML
著者:: Azma, Abdullah, 等
出版事項: (2015)

A tool for capturing safety properties from critical system specifications written in SOFL
著者:: Azma, Abdullah, 等
出版事項: (2018)

Automated safety and online healthcare system
著者:: Sharma, Laxmi Narayan, 等
出版事項: (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, 等
出版事項: (2015)

Ontology Design for Process Safety Management
著者:: Low, Tan Jung, 等
出版事項: (2012)

Malware awareness tool for internet safety using gamification techniques
著者:: Omar, Nurul Suraya, 等
出版事項: (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, 等
出版事項: (2013)

Correlation network analysis of safety culture using minimum spanning tree
著者:: Sharif, Shamshuritawati, 等
出版事項: (2011)

SafeJourney - A Pedestrian Map using Safety Annotation for Route Determination
著者:: Yew, Kwang Hooi, 等
出版事項: (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, 等
出版事項: (2010)

Interoperation of Elements in Process Safety Management Via Ontology-oriented Architecture
著者:: Yew, Kwang Hooi, 等
出版事項: (2012)

Interoperation of Elements in Process Safety Management Via Ontology-oriented Architecture
著者:: Yew, Kwang Hooi, 等
出版事項: (2012)

The use of multimedia, augmented reality (AR) and virtual environment (VE) in enhancing children’s understanding of road safety
著者:: Abu Bakar, Nur Afiqah, 等
出版事項: (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, 等
出版事項: (2011)

Developing a Simulation Game to Facilitate the Acquisition and Transfer of Road Safety Knowledge
著者:: M Ariffin , Mazeyanti, 等
出版事項: (2010)

Search interface to capture searchers behaviour
著者:: Mat Yamin, Fadhilah, 等
出版事項: (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, 等
出版事項: (2013)

A Review of virtual reality and motion capture in martial arts training
著者:: Mohd Jelani, N.A., 等
出版事項: (2019)

Study and Implementation of Internet of Things (IoT) Based Vehicle Safety Alert and Tracking System
著者:: Sarasvathi, Nahalingham, 等
出版事項: (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, 等
出版事項: (2012)

Tracing Significant Association Rules Using Critical Least Association Rules Model
著者:: Zailani, Abdullah, 等
出版事項: (2013)

A Mobile IoT-based Elderly Monitoring System for Senior Safety
著者:: Mohamed Khaled Mohyeldin Naeim, 等
出版事項: (2023)

Conference organising critics
著者:: Mandy, Low Man Yee
出版事項: (2014)

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, 等
出版事項: (2015)

Mining significant association rules from educational data using critical relative support approach
著者:: Zailani, Abdullah, 等
出版事項: (2011)

Software Based Scalable Packet Capture Mechanism To Reduce Packet Loss
著者:: Alias, Syazwina
出版事項: (2019)

The critical success factors for e-government implementation in Jordan
著者:: AL - Naimat, Ali M., 等
出版事項: (2013)

A critical analysis of simulators in grid
著者:: Dakkak, Omar, 等
出版事項: (2015)

CNAR-M: A model for mining critical negative association rules
著者:: Herawan, Tutut, 等
出版事項: (2012)

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