Scippacercola, Fabio (2016) A Model-Driven Methodology for Critical Systems Engineering. [Tesi di dottorato]

[img]
Preview
Text
phd_thesis.pdf

Download (17MB) | Preview
[error in script] [error in script]
Item Type: Tesi di dottorato
Lingua: English
Title: A Model-Driven Methodology for Critical Systems Engineering
Creators:
CreatorsEmail
Scippacercola, Fabiofabio.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:
nomeemail
Garofalo, Francescofranco.garofalo@unina.it
Tutor:
nomeemail
Russo, StefanoUNSPECIFIED
Date: 31 March 2016
Number of Pages: 186
Uncontrolled 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

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.

Actions (login required)

View Item View Item