Requirements Structure for System Requirements Formal Modelling, Verification and Validation
Cyril Bacquet, Pascale Marangé, Éric Bonjour, Alain Kerbrat · IFAC-PapersOnLine · 2024
Requirements engineering (RE) is essential for system design because incorrect or incomplete RE can lead to misunderstandings, gaps, and mistakes that can negatively affect projects. Higher-quality requirements can reduce errors. However, verification and validation (V&V) of requirements qualities is challenging. Formal modeling enables automation for early V&V of large requirements sets. The use of patterns improves requirements quality, but gaps still exist in formal modeling and V&V methodologies. This paper presents a system requirements conceptual model with requirements writing patterns that enable the systems requirements modeling and V&V, along with a comparative analysis with existing concepts in the literature.