Requirements Structure for System Requirements Formal Modelling, Verification and Validation

被引：0

作者：

Bacquet, Cyril ^{[1
]}

Marange, Pascale ^{[2
]}

Bonjour, Eric ^{[1
]}

Kerbrat, Alain ^{[3
]}

机构：

[1] Univ Lorraine, Lab ERPI, 8 Rue Bastien Lepage, F-54000 Nancy, France

[2] Univ Lorraine, Lab CRAN, Fac Sci & Technol, Campus Aiguillettes BP 70239, F-54506 Vandoeuvre Les Nancy, France

[3] Airbus, 26 Chem Espeissiere, F-31300 Toulouse, France

来源：

IFAC PAPERSONLINE | 2024年 / 58卷 / 19期

关键词：

Requirements; Boilerplates; Pattern; Model; Verification; Validation;

D O I：

10.1016/j.ifacol.2024.09.194

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. Copyright (C) 2024 The Authors. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0/)

引用

页码：289 / 294

页数：6

共 19 条

[1]

[Anonymous], 2015, GUIDE WRITING REQUIR

[2]

[Anonymous], 2018, International Standard and 29148, I.I.

[3] Model-driven engineering for requirements analysis [J].

Baudry, Benoit ;

Nebut, Clementine ;

Le Traon, Yves .

11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2007, :459-+

[4] Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica [J].

Bouskela, Daniel ;

Falcone, Alberto ;

Garro, Alfredo ;

Jardin, Audrey ;

Otter, Martin ;

Thuy, Nguyen ;

Tundis, Andrea .

REQUIREMENTS ENGINEERING, 2022, 27 (01) :1-30

[5]

Bruel J. -M., 2019, CEUR Workshop Proceedings, V2657, P1, DOI [10.48550/arXiv.1911.02564, DOI 10.48550/ARXIV.1911.02564]

[6]

Dick J., 2012, Using statement -level templates to improve the quality of requirements An Integrate white paper Using statement -level templates to improve the quality of requirements

[7]

Faisandier A., 2012, Systems Opportunities and Requirements

[8]

Hull E., 2005, Requirements Engineering, DOI [10.1007/978-3-642-61512-22, DOI 10.1007/978-3-642-61512-22]

[9]

ISO/IEC/IEEE 15288, 2015, ISO/IEC 15288:2008(E) IEEE Std 15288-2008 (Revision of IEEE Std 15288-2004)

[10]

Jeannet B., 2016, 8 EUR C EMB REAL TIM, P474

← 1 2 →