One of the goals of the 4SECURail project has been to demonstrate the benefits, limits, and costs of introducing formal meth- ods in the system requirements definition process. This has been done, on an experimental basis, by applying a specific set of tools and method- ologies to a case study from the railway sector. The paper describes the approach adopted in the project and some considerations resulting from the experience.
A case study in formal analysis of system requirements
Belli D;Mazzanti F
2023
Abstract
One of the goals of the 4SECURail project has been to demonstrate the benefits, limits, and costs of introducing formal meth- ods in the system requirements definition process. This has been done, on an experimental basis, by applying a specific set of tools and method- ologies to a case study from the railway sector. The paper describes the approach adopted in the project and some considerations resulting from the experience.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_471855-doc_191804.pdf
Open Access dal 11/02/2024
Descrizione: Preprint - A case study in formal analysis of system requirements
Tipologia:
Versione Editoriale (PDF)
Dimensione
404.99 kB
Formato
Adobe PDF
|
404.99 kB | Adobe PDF | Visualizza/Apri |
|
prod_471855-doc_197016.pdf
Open Access dal 11/02/2024
Descrizione: A case study in formal analysis of system requirements
Tipologia:
Versione Editoriale (PDF)
Dimensione
436.27 kB
Formato
Adobe PDF
|
436.27 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
