UMP Institutional Repository

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

Azma, Abdullah and Rohani, Abu Bakar and Roslina, Abd Hamid and Muhammad Zulfahmi Toh, Abdullah (2015) Capturing Requirement Specification for Safety-critical System using SOFL and UML. In: Computational Science and Information Management (ICOCSIM 2015), 19-21 August 2015 , Kuantan, Pahang. . (Unpublished)

[img] PDF
Capturing Requirement Specification for Safety-critical System uses SOFL and UML.pdf
Restricted to Repository staff only

Download (326kB) | Request a copy

Abstract

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 Net and VDM-SL. An On-Board Automation Systems is used to demonstrate how the two techniques work. Also, the differences between the two techniques is discussed, specifically with respect to the requirement in informal and semi-formal specifications.

Item Type: Conference or Workshop Item (Lecture)
Uncontrolled Keywords: capturing requirement; requirement specification ; SOFL; UML; OBA.
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Neng Sury Sulaiman
Date Deposited: 01 Oct 2015 03:06
Last Modified: 29 Mar 2018 02:43
URI: http://umpir.ump.edu.my/id/eprint/10582
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item