Capturing Requirement Specification for Safety-critical System using SOFL and UML

QR Code

Capturing Requirement Specification for Safety-critical System using SOFL and UML

This paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri...

Full description

Bibliographic Details
Main Authors:	Azma, Abdullah, Rohani, Abu Bakar, Roslina, Abd Hamid, Muhammad Zulfahmi Toh, Abdullah
Format:	Conference or Workshop Item
Language:	English
Published:	2015
Subjects:	QA76 Computer software
Online Access:	http://umpir.ump.edu.my/id/eprint/10582/ http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf

Similar Items

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

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

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

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)

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

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

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

A Survey of UML Tools
by: Weng, Jie Thong, et al.
Published: (2015)

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

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

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)

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

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

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

Generating UML class diagram from source codes using multi-threading technique
by: Abdullah, Saif Khalid
Published: (2015)

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

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

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

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

Test case generator based on UML activity diagram
by: Loh, Kha Bee
Published: (2014)

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

Critic-based and collaborative approach for UML class diagram
by: Abdulkareem, Soran Mahmood
Published: (2015)

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

Extending UML with non-functional requirements modelling
by: Krishna, Aneesh, et al.
Published: (2011)

A case tool for UML via meta-modeling approach / Rosnafisah binti Sulaiman.
by: Sulaiman, Rosnafisah
Published: (1999)

Consistency rules between UML use case and activity diagrams using logical approach
by: Noraini, Ibrahim, et al.
Published: (2011)

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

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)

Class diagram critic: a design critic tool for UML class diagram
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)

Software Requirement Analysis and Design: Object-oriented approach with UML
by: Abd Ghani, M. K., et al.
Published: (2011)

New model transformation using requirement tracebility from requirement to UML behavioral design.
by: Kamarudin, Nuri Jazuli, et al.
Published: (2013)

Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017)

A tool for detecting ambiguity in software requirement specification
by: Isse, Abdirashid Ali
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)

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

Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)

Terms extractions: an approach for requirements reuse
by: Bakar, Noor Hasrina, et al.
Published: (2016)

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

Development of requirements pattern repository: towards supporting requirements reuse
by: Nordin, Azlin, et al.
Published: (2018)