Venticinque, Alessio (2014) Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. [Tesi di dottorato]

[img]
Preview
Text
ThesisVenticinqueA.pdf

Download (1MB) | Preview
[error in script] [error in script]
Item Type: Tesi di dottorato
Lingua: English
Title: Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications
Creators:
CreatorsEmail
Venticinque, Alessiocap81034@gmail.com
Date: 31 March 2014
Number of Pages: 120
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: 25
Coordinatore del Corso di dottorato:
nomeemail
Garofalo, Francescofrancesco.garofalo@unina.it
Tutor:
nomeemail
Mazzocca, NicolaUNSPECIFIED
Date: 31 March 2014
Number of Pages: 120
Uncontrolled Keywords: Semantic Analysis, Verification and Validation, Testing
Settori scientifico-disciplinari del MIUR: Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 - Sistemi di elaborazione delle informazioni
Aree tematiche (7° programma Quadro): TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE > Macchine "più intelligenti", servizi migliori
TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE > Trasporti, telecomunicazioni, attrezzature mediche, etc. Tecnologie della fotonica, plastiche elettroniche, display flessibili e micro e nano sistemi
Date Deposited: 14 Apr 2014 05:56
Last Modified: 26 Jan 2015 11:43
URI: http://www.fedoa.unina.it/id/eprint/9881

Abstract

The design and development of Safety-Critical Embedded Systems (SCES)is a relevant activity in many application fields such as railway, automotive, aerospace, health, etc. The life cycle of a new product must follow both regulatory constraints and challenging requirements and is continuously affected by a number of conflicting objectives to be achieved such as minimization of costs, improvement of performances, short time to market. Both service levels and deadlines of commitments must be satisfied without failing the required, more and more challenging, safety constraints. The Verification and validalidation represent a relevant phase that both discovers errors and certificates the achievement of the objectives. This thesis work aims to integrate into the Verification and Validation process of critical embedded systems methods to improve RAMS properties (Reliability, Availaility, Mantainability, Safety) of industrial application. We want to innovate the techniques used during the life-cycle for a railway system, in a world wide company, in order to verify and validate products in a shorter time and with the better results in terms of errors found and evidence of correctness about performed activities.

Actions (login required)

View Item View Item