Requirements are the core work items of the design and checking workflow target safety critical systems. Accordingly, their completeness, compliance with the standards and understandability is a dominant factor in the subsequent steps. Requirements review is a special kind of Independent Software/Systems Verification and Validation (ISVV). The current chapter presents methodologies to use lightweight formal methods supporting experts in a peer review based ISVV.
Lightweight Formal Analysis of Requirements / Andras Pataricza, Imre Kocsis, Francesco Brancati, Lorenzo Vinerbi, Andrea Bondavalli. - ELETTRONICO. - (2017), pp. 143-166.
Lightweight Formal Analysis of Requirements
Andrea Bondavalli
2017
Abstract
Requirements are the core work items of the design and checking workflow target safety critical systems. Accordingly, their completeness, compliance with the standards and understandability is a dominant factor in the subsequent steps. Requirements review is a special kind of Independent Software/Systems Verification and Validation (ISVV). The current chapter presents methodologies to use lightweight formal methods supporting experts in a peer review based ISVV.
| File | Dimensione | Formato | |
|---|---|---|---|
|
RP_9788793519558C7.pdf
accesso aperto
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Open Access
Dimensione
5.08 MB
Formato
Adobe PDF
|
5.08 MB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
