Communication Dans Un Congrès Année : 2024

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.

Dates et versions

hal-04790540 , version 1 (19-11-2024)

Identifiants

Citer

Cyril Bacquet, Pascale Marangé, Eric Bonjour, Alain Kerbrat. Requirements structure for system requirements formal modelling, verification and validation. 18th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2024, Aug 2024, Vienne, Austria. ⟨10.1016/j.ifacol.2024.09.194⟩. ⟨hal-04790540⟩
60 Consultations
0 Téléchargements

Altmetric

Partager

  • More