Scippacercola, Fabio (2016) A Model-Driven Methodology for Critical Systems Engineering. [Tesi di dottorato]
Anteprima |
Testo
phd_thesis.pdf Download (17MB) | Anteprima |
| Tipologia del documento: | Tesi di dottorato |
|---|---|
| Lingua: | English |
| Titolo: | A Model-Driven Methodology for Critical Systems Engineering |
| Autori: | Autore Email Scippacercola, Fabio fabio.scippacercola@unina.it |
| Data: | 31 Marzo 2016 |
| Numero di pagine: | 186 |
| Istituzione: | Università degli Studi di Napoli Federico II |
| Dipartimento: | Ingegneria Elettrica e delle Tecnologie dell'Informazione |
| Scuola di dottorato: | Ingegneria dell'informazione |
| Dottorato: | Ingegneria informatica ed automatica |
| Ciclo di dottorato: | 28 |
| Coordinatore del Corso di dottorato: | nome email Garofalo, Francesco franco.garofalo@unina.it |
| Tutor: | nome email Russo, Stefano [non definito] |
| Data: | 31 Marzo 2016 |
| Numero di pagine: | 186 |
| Parole chiave: | Model-Driven Engineering; Model-Driven Architecture; Safety Critical Systems; |
| Settori scientifico-disciplinari del MIUR: | Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 - Sistemi di elaborazione delle informazioni |
| Depositato il: | 03 Mag 2016 13:03 |
| Ultima modifica: | 31 Ott 2016 11:17 |
| URI: | http://www.fedoa.unina.it/id/eprint/11012 |
Abstract
Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification. This thesis proposes a novel model-driven life cycle that is tailored to the development of critical railway systems. It also integrates an original approach for model-driven system validation, based on a new model named Computation Independent Test model (CIT). Moreover, the process supports the Failure Modes and Effect Analysis (FMEA), with a novel approach to conduct Model-Driven FMEA, based on custom SysML Diagram, namely the FMEA Diagram, and Prolog. The approaches have been experimented in multiple real-world case studies, from railway and automative domains.
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
