Formal Methods in Requirements Engineering: Survey and Future Directions

Requirements engineering plays a pivotal role in the development of safety-critical systems. However, the process is usually a manual one and can lead to errors and inconsistencies in the requirements that are not easily detectable. Formal methods are mathematically rigorous techniques that can aid...

Full description

Saved in:
Bibliographic Details
Published in2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) pp. 88 - 99
Main Authors Lorch, Robert, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael, Paul, Saswata, Varanasi, Sarat Chandra, McMillan, Craig
Format Conference Proceeding
LanguageEnglish
Published ACM 14.04.2024
Subjects
Formal Methods
Manuals
Requirements Analysis
Requirements engineering
Scalability
Software
Specification languages
Surveys
Online AccessGet full text

Cover

More Information
Summary:Requirements engineering plays a pivotal role in the development of safety-critical systems. However, the process is usually a manual one and can lead to errors and inconsistencies in the requirements that are not easily detectable. Formal methods are mathematically rigorous techniques that can aid engineers to detect errors and produce consistent and correct requirements. We survey a variety of requirements capture and analysis tools presented in the literature. Specifically, we focus on tools that incorporate formal methods techniques into their analyses. We discuss the various tools' strengths and weaknesses, identify current trends in requirements engineering research, and highlight open research questions.CCS CONCEPTS* Software and its engineering → Requirements analysis; Specification languages.
ISSN:2575-5099