Adopting formal methods on requirements verification and validation for cyber-physical systems: A systematic literature review

Requirements engineering is a critical activity in developing complex cyber-physical systems. Requirements are usually expressed using natural language, which may be ambiguous, inconsistent, or incomplete. These issues in requirements qualities may introduce errors in system design that lead to high...

Full description

Saved in:
Bibliographic Details
Published in:IFAC-PapersOnLine 2022, Vol.55 (10), p.3274-3279
Main Authors: Masmoudi, Chedhli, Marange, Pascale, Bonjour, Eric, Levrat, Eric, Kerbrat, Alain
Format: Article
Language:English
Subjects:
Cyber-Physical Systems
Formal Methods
Requirements Engineering
Requirements Verification
Validation
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Requirements engineering is a critical activity in developing complex cyber-physical systems. Requirements are usually expressed using natural language, which may be ambiguous, inconsistent, or incomplete. These issues in requirements qualities may introduce errors in system design that lead to high project cost overruns. Hence it is essential to verify the qualities of requirements early. Since formal methods have demonstrated their ability to verify system designs and are increasingly adopted to support requirements engineering for software systems, a question arises about adapting formal methods to account for specific properties of cyber-physical systems. Even if there are many literature reviews concerning requirements engineering, there is a lack of a global view on the reviews that specifically address the issues related to validation and verification (V&V) of requirements. This paper aims to provide an overview of literature reviews related to requirements V&V and mainly investigates the use of formal approaches and models for preventing, detecting, or correcting errors occurring in requirements and identifies the main challenges of adopting formal methods on requirements engineering for cyber-physical systems.
ISSN:2405-8963
2405-8963
DOI:10.1016/j.ifacol.2022.10.131