A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

Nowadays interest in Smart Mass Transit Rail has grown-up to a large extent in a metropolitan area as the need for urban mobility has increased steadily. The reliability of software being used in such mass transit rail is crucial for us, specifically when software crashes may lead to catastrophic loss of human life and assets. For example, when we travel by metro it is essential for us that the interlocking system software controlling the metros are accurate so collisions and derailment are prevented. The reliability and safety of such interlocking systems are made on the precise functional requirements specification and verification respectively. Therefore, the precise functional requirements specification and verification of such interlocking systems represent a challenge in an active research area, so in this paper, we survey various articles in this field and discuss their consequences.

Spesifikasi Kebutuhan Perangkat Lunak Sistem Informasi Berita Dengan Standard ISO/IEC/IEEE 29148:2018

TVRI Sulawesi Tengah merupakan lembaga yang bergerak dibidang penyiaran publik, serta mempunyai tugas untuk memberikan pelayanan informasi, pendidikan, hiburan yang sehat, kontrol dan perekat sosial. Memiliki siaran lokal yang beragam membuat TVRI Sulawesi Tengah dituntut untuk update dalam memberikan informasi setiap harinya. Kenyataannya dalam aktivitas sehari-hari, pendistribusian naskah dan list berita masih dilakukan secara manual yaitu mengandalkan Microsoft Word dan Microsoft Excel serta pendistribusian item berita yang berisikan video atau gambar hasil liputan reporter dan kameramen yang sudah di edit dengan menambahkan hasil dubbing dari dubber di distribusikan mengandalkan hard disk yang sewaktu-waktu bisa terserang virus dan akhirnya data yang di dalam tidak dapat terbaca oleh komputer. Oleh karena itu untuk memudahkan proses operasional, diperlukan analisis kebutuhan perangkat lunak sistem informasi berita untuk menganalisis kebutuhan dari perangkat lunak sistem informasi yang diperlukan sesuai dengan proses bisnis yang sedang berlangsung. Analisis kebutuhan perangkat lunak sistem informasi berita ini menggunakan outline dari Software Requirements Specification standar ISO/IEC/IEEE 29148:2018. Analisis kebutuhan yang dilakukan menghasilkan enam (6) menu antara lain tambah naskah baru, review naskah, data naskah, list berita, data list berita, gambar berita, data gambar berita dan siaran siap tayang.

Constructing a software requirements specification and design for electronic IT news magazine system

Requirements engineering process intends to obtain software services and constraints. This process is essential to meet the customer's needs and expectations. This process includes three main activities in general. These are detecting requirements by interacting with software stakeholders, transferring these requirements into a standard document, and examining that the requirements really define the software that the client needs. Functional requirements are services that the software should deliver to the end-user. In addition, functional requirements describe how the software should respond to specific inputs, and how the software should behave in certain circumstances. This paper aims to develop a software requirements specification document of the electronic IT news magazine system. The electronic magazine provides users to post and view up-to-date IT news. Still, there is a lack in the literature of comprehensive studies about the construction of the electronic magazine software specification and design in conformance with the contemporary software development processes. Moreover, there is a need for a suitable research framework to support the requirements engineering process. The novelty of this paper is the construction of software specification and design of the electronic magazine by following the Al-Msie'deen research framework. All the documents of software requirements specification and design have been constructed to conform to the agile usage-centered design technique and the proposed research framework. A requirements specification and design are suggested and followed for the construction of the electronic magazine software. This study proved that involving users extensively in the process of software requirements specification and design will lead to the creation of dependable and acceptable software systems.

Automated Conditional Statements Checking for Complete Natural Language Requirements Specification

Defects such as the duality and the incompleteness in natural language software requirements specification have a significant impact on the success of software projects. By now, many approaches have been proposed to assist requirements analysts to identify these defects. Different from these approaches, this paper focuses on the requirements incompleteness implied by the conditional statements, and proposes a sentence embedding- and antonym-based approach for detecting the requirements incompleteness. The basic idea is that when one condition is stated, its opposite condition should also be there. Otherwise, the requirements specification is incomplete. Based on the state-of-the-art machine learning and natural language processing techniques, the proposed approach first extracts the conditional sentences from the requirements specification, and elicits the conditional statements which contain one or more conditional expressions. Then, the conditional statements are clustered using the sentence embedding technique. The conditional statements in each cluster are further analyzed to detect the potential incompleteness by using negative particles and antonyms. A benchmark dataset from an aerospace requirements specification has been used to validate the proposed approach. The experimental results have shown that the recall of the proposed approach reaches 68.75%, and the F1-measure (F1) 52.38%.