Scippacercola, Fabio (2016) A Model-Driven Methodology for Critical Systems Engineering. [Tesi di dottorato]
Preview |
Text
phd_thesis.pdf Download (17MB) | Preview |
Item Type: | Tesi di dottorato |
---|---|
Resource language: | English |
Title: | A Model-Driven Methodology for Critical Systems Engineering |
Creators: | Creators Email Scippacercola, Fabio fabio.scippacercola@unina.it |
Date: | 31 March 2016 |
Number of Pages: | 186 |
Institution: | Università degli Studi di Napoli Federico II |
Department: | 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 UNSPECIFIED |
Date: | 31 March 2016 |
Number of Pages: | 186 |
Keywords: | 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 |
Date Deposited: | 03 May 2016 13:03 |
Last Modified: | 31 Oct 2016 11:17 |
URI: | http://www.fedoa.unina.it/id/eprint/11012 |
Collection description
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)
View Item |