Safety property attributes in critical systems for requirement specification : A review

QR Code

Safety property attributes in critical systems for requirement specification : A review

The integration of critical system components, requirement specification, and safety properties plays a crucial role in advancing the development and verification processes of critical systems. This integration enables effective analysis, management of safety requirements, and identification of pote...

Full description

Bibliographic Details
Main Authors:	Azma, Abdullah, Rohani, Abu Bakar, Gunaratnam, Kiriyadhatshini, Hujainah, Fadhl, Mohd Fairus, Abdul Farid
Format:	Conference or Workshop Item
Language:	English English
Published:	Institute of Electrical and Electronics Engineers Inc. 2023
Subjects:	QA75 Electronic computers. Computer science QA76 Computer software T Technology (General) TA Engineering (General). Civil engineering (General)
Online Access:	http://umpir.ump.edu.my/id/eprint/40356/ http://umpir.ump.edu.my/id/eprint/40356/1/Safety%20property%20attributes%20in%20critical%20systems.pdf http://umpir.ump.edu.my/id/eprint/40356/2/Safety%20property%20attributes%20in%20critical%20systems%20for%20requirement%20specification_A%20review_ABS.pdf

Similar Items

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

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

Hazard analysis techniques, methods and approaches: A review
by: Kiriyadhatshini, Gunaratnam, et al.
Published: (2022)

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

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

Investigation of requirements interdependencies in existing techniques of requirements prioritization
by: Hujainah, Fadhl, et al.
Published: (2019)

SRPTackle: a semi-automated requirements prioritisation technique for scalable requirements of software system projects
by: Fadhl, Hujainah, et al.
Published: (2021)

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

A semi-automated requirements prioritisation technique for scalable requirements with stakeholder quantification and prioritisation
by: Hujainah, Fadhl Mohammed Omar
Published: (2019)

Analyzing requirement prioritization techniques based on the used aspects
by: Hujainah, Fadhl, et al.
Published: (2016)

Capturing Safety Properties for Safety-critical Systems using SOFL
by: Azma, Abdullah, et al.
Published: (2011)

Software Requirements Prioritisation: A Systematic Literature Review on Significance, Stakeholders, Techniques and Challenges
by: Hujainah, Fadhl, 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)

Software visual specification for requirement specification validation
by: Fauziah, Zainuddin, et al.
Published: (2018)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

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

Proposal of meta-requirement approach to analyze requirements specification completeness
by: Muhamad Idaham, Umar Ong, et al.
Published: (2018)

A meta-requirement approach to validate user requirement specification : Threshold definition
by: Muhamad Idaham, Umar Ong, et al.
Published: (2023)

Measuring software requirements specification quality
by: Nordin, Azlin, et al.
Published: (2017)

Software visual specification for requirement engineering education
by: Fauziah, Zainuddin, et al.
Published: (2019)

Framework of informal specification validation with visual specification and human factor involvement to improve requirement specification quality
by: Fauziah, Zainuddin
Published: (2019)

Reviewing the Challenge and Practices of Human Factor Involvement in Requirement Specification Validation
by: Fauziah, Zainuddin, et al.
Published: (2018)

An analysis of ambiguity detection techniques for Software Requirements Specification (SRS)
by: Oo, Khin Hayman, et al.
Published: (2018)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

Feature-Based Object Detection and Tracking: A Systematic Literature Review
by: Nurul Izzatie Husna, Fauzi, et al.
Published: (2023)

New usability guidelines with implementation ways of mobile learning application based on mobile learning usability attributes
by: Hujainah, Fadhl, et al.
Published: (2016)

Applying Architectural Analysis for Current Software Systems: A Case Study of KFC and Pizza Hut Online Food Ordering Systems in Malaysia
by: Hujainah, Fadhl, et al.
Published: (2017)

Deriving domain specific requirement pattern for Collaborative Meeting and Appointment Scheduler Domain (CMASD)
by: Suhaizad, Farah Nur Atiqah, et al.
Published: (2016)

SIM-PFED: A simulation-based decision making model of patient flow for improving patient throughput time in Emergency Department
by: Hamza, Nidal Abdelgadir Ahmed, et al.
Published: (2021)

An improvement of interactive priorization technique for requirements interdependency in prioritization process
by: Siti NurSyafiqah, Rusli, et al.
Published: (2023)

Software Requirement Prioritization Prototype Using Analytical Hierarchical Process (AHP)
by: Rohani, Abu Bakar, et al.
Published: (2014)

Software Requirement Specification Tool
by: Kong, Meng Yeow
Published: (2016)

A Unified Strategy for Sequence and Sequence-less T-way Test Suite Generation
by: Abdullah, Nasser, et al.
Published: (2016)

Sequence and sequence-less T-way test suite generation strategy based on flower pollination algorithm
by: Abdullah, Nasser, et al.
Published: (2015)

Collaborative Filtering Similarity Measures: Revisiting
by: Al-Bashiri, Hael, et al.
Published: (2017)

A multi-agent K-means with case-based reasoning for an automated quality assessment of software requirement specification
by: Mohammed Ahmed Jubair, Mohammed Ahmed Jubair, et al.
Published: (2023)

Collaborative requirements review
by: Nordin, Azlin, et al.
Published: (2018)

A tool for detecting ambiguity in software requirement specification
by: Isse, Abdirashid Ali
Published: (2019)

Requirements analysis for SBS system and study review process iteration during requirements phase
by: Alghamdi, Hanan Musafer H.
Published: (2009)

Stakeholder quantification and prioritisation research: A systematic literature review
by: Hujainah, Fadhl, et al.
Published: (2018)