A tool for capturing safety properties from critical system specifications written in SOFL
Requirements Engineering (RE) plays an essential role in software project success. RE illustrate system behavior such as safety that directly impacts the customer experience. However, literature reported challenges in safety requirements pertaining to several activities including elicitation, analys...
| Main Authors: | Azma, Abdullah, Hasan, Kahtan, Abdulgabber, Mansoor Abdullateef, Rohani, Abu Bakar, Roslina, Abd. Hamid |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
American Scientific Publisher
2018
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/19574/ http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf |
Similar Items
Capturing Requirement Specification for Safety-critical System using SOFL and UML
by: Azma, Abdullah, et al.
Published: (2015)
by: Azma, Abdullah, et al.
Published: (2015)
Capturing Safety Properties for Safety-critical Systems using SOFL
by: Azma, Abdullah, et al.
Published: (2011)
by: Azma, Abdullah, et al.
Published: (2011)
Hazard Analysis for Safety-critical Systems Using SOFL
by: Azma, Abdullah, et al.
Published: (2013)
by: Azma, Abdullah, et al.
Published: (2013)
Applying SOFL to construct requirements specification for examination monitoring system
by: Abdul Rahman, Mat, et al.
Published: (2012)
by: Abdul Rahman, Mat, et al.
Published: (2012)
Safety property attributes in critical systems for requirement specification : A review
by: Azma, Abdullah, et al.
Published: (2023)
by: Azma, Abdullah, et al.
Published: (2023)
2DCBS: A Model for Developing Dependable Component-Based Software
by: Kahtan, Hasan, et al.
Published: (2016)
by: Kahtan, Hasan, et al.
Published: (2016)
SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System
by: A Rahman, Mat, et al.
Published: (2013)
by: A Rahman, Mat, et al.
Published: (2013)
An improved memory-based collaborative filtering method based on the TOPSIS technique
by: Al-Bashiri, Hael, et al.
Published: (2018)
by: Al-Bashiri, Hael, et al.
Published: (2018)
StakeQP: a semi-automated stakeholder quantification and prioritisation technique for requirement selection in software system projects
by: Hujainah, Fadhl, et al.
Published: (2019)
by: Hujainah, Fadhl, et al.
Published: (2019)
A review: software safety requirement analysis model in critical software development
by: Azma, Abdullah, et al.
Published: (2023)
by: Azma, Abdullah, et al.
Published: (2023)
An ontology-based approach for test case management system using semantic technology / Mansoor Abdullateef Abdulgabber Abdulhak
by: Mansoor Abdullateef, Abdulgabber Abdulhak
Published: (2013)
by: Mansoor Abdullateef, Abdulgabber Abdulhak
Published: (2013)
Automotive anti-theft system using fuzzy logic method
by: Kahtan, Hasan, et al.
Published: (2017)
by: Kahtan, Hasan, et al.
Published: (2017)
Investigation of requirements interdependencies in existing techniques of requirements prioritization
by: Hujainah, Fadhl, et al.
Published: (2019)
by: Hujainah, Fadhl, et al.
Published: (2019)
Investigation of stakeholder analysis in requirement prioritization techniques
by: Hujainah, Fadhl, et al.
Published: (2018)
by: Hujainah, Fadhl, et al.
Published: (2018)
Stakeholder quantification and prioritisation research: A systematic literature review
by: Hujainah, Fadhl, et al.
Published: (2018)
by: Hujainah, Fadhl, et al.
Published: (2018)
Software Requirements Prioritisation: A Systematic Literature Review on Significance, Stakeholders, Techniques and Challenges
by: Hujainah, Fadhl, et al.
Published: (2018)
by: Hujainah, Fadhl, et al.
Published: (2018)
Heart disease diagnosis system using fuzzy logic
by: Hasan, Kahtan, et al.
Published: (2018)
by: Hasan, Kahtan, et al.
Published: (2018)
Ontology Development Guide Using Protege: BCS3263SQA at FSKKP
by: Jessie, Ooi, et al.
Published: (2018)
by: Jessie, Ooi, et al.
Published: (2018)
Sustainable supply chain management: issues & challenges identification
by: Arwa, Mukhtar, et al.
Published: (2018)
by: Arwa, Mukhtar, et al.
Published: (2018)
Detection on ambiguous software requirements specification written in malay using machine learning
by: Zahrin, Mohd Firdaus
Published: (2017)
by: Zahrin, Mohd Firdaus
Published: (2017)
Review: The limitations of hazard analysis techniques in safety critical system development
by: Kiriyadhatshini, Gunaratnam, et al.
Published: (2023)
by: Kiriyadhatshini, Gunaratnam, et al.
Published: (2023)
Hazard analysis for the requirements specification of safety-critical systems using the combination of FHA and FTA techniques
by: Kiriyadhatshini, Gunaratnam
Published: (2023)
by: Kiriyadhatshini, Gunaratnam
Published: (2023)
Capturing team dynamics in the wild: The communication analysis tool
by: Klonek, Florian, et al.
Published: (2020)
by: Klonek, Florian, et al.
Published: (2020)
Collaborative Filtering Similarity Measures: Revisiting
by: Al-Bashiri, Hael, et al.
Published: (2017)
by: Al-Bashiri, Hael, et al.
Published: (2017)
Collaborative Filtering Recommender System: Overview and Challenges
by: Al-Bashiri, Hael, et al.
Published: (2017)
by: Al-Bashiri, Hael, et al.
Published: (2017)
Iot cloud simulation managing resources: an overview
by: Hamza, Nidal Abdelgadir Ahmed, et al.
Published: (2018)
by: Hamza, Nidal Abdelgadir Ahmed, et al.
Published: (2018)
Environmental Risks in Supply Chain: Recommendations and Directions for Future Research
by: Arwa, Mukhtar, et al.
Published: (2019)
by: Arwa, Mukhtar, et al.
Published: (2019)
A Developed Collaborative Filtering Similarity Method to Improve the Accuracy of Recommendations under Data Sparsity
by: Al-Bashiri, Hael, et al.
Published: (2018)
by: Al-Bashiri, Hael, et al.
Published: (2018)
Software Requirement Specification Tool
by: Kong, Meng Yeow
Published: (2016)
by: Kong, Meng Yeow
Published: (2016)
The measurement of safety criteria in safety critical systems
by: Jasser, Muhammed Basheer, et al.
Published: (2019)
by: Jasser, Muhammed Basheer, et al.
Published: (2019)
Capturing pedestrian movement safety and security issues at major transportation interchanges
by: Bohari, Zulfadly Azizi, et al.
Published: (2013)
by: Bohari, Zulfadly Azizi, et al.
Published: (2013)
Safety stressors, safety-specific trust, and safety citizenship behavior: A contingency perspective
by: Wang, D., et al.
Published: (2020)
by: Wang, D., et al.
Published: (2020)
WRITTEN REPORT TEMPLATE
by: Bell, L., et al.
Published: (2014)
by: Bell, L., et al.
Published: (2014)
Recursixeness In Written Feedback
by: Kumar, Margaret, et al.
Published: (2009)
by: Kumar, Margaret, et al.
Published: (2009)
Digital written discourse
by: Mansor, Noraien, et al.
Published: (2017)
by: Mansor, Noraien, et al.
Published: (2017)
Methods for systematic identification of membrane proteins for specific capture of cancer-derived extracellular vesicles
by: Zaborowsk, MikoĊaj Piotr, et al.
Published: (2019)
by: Zaborowsk, MikoĊaj Piotr, et al.
Published: (2019)
A conceptual model for semantic interoperability in heterogeneous IoT healthcare
by: Khalid, Adam, et al.
Published: (2018)
by: Khalid, Adam, et al.
Published: (2018)
Class diagram critic: a design critic tool for UML class diagram
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)
Stereo-image capture tool for forensic mapping of surveillance video footage
by: Mohd. Ariff, Mohd. Farid, et al.
Published: (2009)
by: Mohd. Ariff, Mohd. Farid, et al.
Published: (2009)
Literal translation as communication strategy in non-native Japanese language learner's written text
by: Tajuddin, Farah, et al.
Published: (2015)
by: Tajuddin, Farah, et al.
Published: (2015)
Similar Items
-
Capturing Requirement Specification for Safety-critical System using SOFL and UML
by: Azma, Abdullah, et al.
Published: (2015) -
Capturing Safety Properties for Safety-critical Systems using SOFL
by: Azma, Abdullah, et al.
Published: (2011) -
Hazard Analysis for Safety-critical Systems Using SOFL
by: Azma, Abdullah, et al.
Published: (2013) -
Applying SOFL to construct requirements specification for examination monitoring system
by: Abdul Rahman, Mat, et al.
Published: (2012) -
Safety property attributes in critical systems for requirement specification : A review
by: Azma, Abdullah, et al.
Published: (2023)