Work

From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain

Year: 2024

Type: article

Abstract: The requirements specification of any system is crucial for the correct development of the systems and software. It becomes even more relevant in the development of safety-critical systems (SCS). This paper aims to investigate the process of transforming requirements specification written in natural language (textual requirements) to requirements specification written in Spectra language (formal requirements). Spectra is a formal language built to specify reactive systems. The case study carried out in this research focuses on the requirements specification of a low-cost insulin infusion pump. The requirements were initially specified in natural language and later transformed into Spectra language. During the transformation process, we investigated the potential use of the Spectra language in the phase of requirements specification, identifying the difficulties in the transformation process and its advantages, taking into account the software engineer's point of view.

Source: Journal of Software Engineering Research and Development

DOI: 10.5753/jserd.2024.3745

Author: Luiz Eduardo Galvão Martins

Institution: Universidade Federal de São Paulo

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: gold

Estimated APC paid: $1,085

Funders: Fundação de Amparo à Pesquisa do Estado de São Paulo, Tel Aviv University