Capturing Safety Properties for Safety-critical Systems using SOFL

QR Code

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

Full description

Bibliographic Details
Main Authors:	Azma, Abdullah, Liu, Shaoying
Format:	Conference or Workshop Item
Language:	English
Published:	2011
Subjects:	QA76 Computer software
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

Similar Items

Hazard Analysis for Safety-critical Systems Using SOFL
by: Azma, Abdullah, et al.
Published: (2013)

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

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

Review: The limitations of hazard analysis techniques in safety critical system development
by: Kiriyadhatshini, Gunaratnam, et al.
Published: (2023)

A review: software safety requirement analysis model in critical software development
by: Azma, Abdullah, et al.
Published: (2023)

Safety property attributes in critical systems for requirement specification : A review
by: Azma, Abdullah, et al.
Published: (2023)

Safety car detection with notification system
by: Nur Fathihah, Mashudi
Published: (2019)

Develop earthquake system for safety using wireless sensor network
by: Mohd Saffwan, Mohd Reip
Published: (2018)

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

Mobile edutainment games: road safety for kids
by: Nur Izdihar, Ab Ghani
Published: (2013)

Design and process metamodels for modelling and verification of safety-related software applications in smart building systems
by: Murni, Fatehah, et al.
Published: (2018)

Staff payroll using image capture and GPS location (SPICG)
by: Tatccayani, Ravindran
Published: (2019)

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

Construction Site Safety Helmet Detection In Mobile Application
by: Ang, Suzanne
Published: (2023)

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

SDN Enabled Big Data Analytics and Framework for Sensor Data of Vehicle Health, Safety and Monitoring System
by: Ahmad, Tanvir, et al.
Published: (2023)

Meear FIRE - Augmented Reality Fire Extinguisher Application For Fire Safety Training
by: Muhammad Fahmi, Mohd Razi
Published: (2023)

An improved file carver of intertwined jpeg images using X_myKarve
by: Abdullah, Nurul Azma
Published: (2014)

Tracing Significant Association Rules Using Critical Least Association Rules Model
by: Zailani, Abdullah, et al.
Published: (2013)

A hybrid approach to semi-supervised named entity recognition in health, safety and environment reports
by: Sari, Y., et al.
Published: (2009)

Automotive anti-theft system using fuzzy logic method
by: Kahtan, Hasan, et al.
Published: (2017)

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

Applying heuristics evaluation to improve the usability of malaysia accounting training management system
by: Zuraidah, Mat Harun, et al.
Published: (2020)

Software Based Scalable Packet Capture Mechanism To Reduce Packet Loss
by: Alias, Syazwina
Published: (2019)

Heart disease diagnosis system using fuzzy logic
by: Hasan, Kahtan, et al.
Published: (2018)

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

The measurement of safety criteria in safety critical systems
by: Jasser, Muhammed Basheer, et al.
Published: (2019)

Hazard analysis for the requirements specification of safety-critical systems using the combination of FHA and FTA techniques
by: Kiriyadhatshini, Gunaratnam
Published: (2023)

Automated safety and online healthcare system
by: Sharma, Laxmi Narayan, et al.
Published: (2009)

Driver alcohol monitoring system for vehicle safety control with emergency contact
by: Devanesam SimpsoN, Emmanuel, et al.
Published: (2021)

Deep reinforcement learning based driving strategy for avoidance of chain collisions and its safety efficiency analysis in autonomous vehicles
by: Abu Jafar, Md Muzahid, et al.
Published: (2022)

Applying SOFL to construct requirements specification for examination monitoring system
by: Abdul Rahman, Mat, et al.
Published: (2012)

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

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

An Efficient Safety System For Vanet Using Enhanced Message Dissemination Protocols With Channel Performance Control
by: Samara, Ghassan Abedalkarim Abdullah
Published: (2012)

Text segmentation techniques: A critical review
by: Pak, Irina *, et al.
Published: (2017)

Web-based property management system
by: Sukiman, Safura Adeela
Published: (2006)

Ontology Development Guide Using Protege: BCS3263SQA at FSKKP
by: Jessie, Ooi, et al.
Published: (2018)

A Smile Detection for Hands-Free Selfie Capture Using Machine Learning
by: G., Ramya, et al.
Published: (2025)

T-Way Testing Strategies: A Critical Survey and Analysis
by: Kamal Z., Zamli, et al.
Published: (2013)