Requirements structure for system requirements formal modelling, verification and validation
Résumé
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.