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


Download (1MB) | Preview
[error in script] [error in script]
Item Type: Tesi di dottorato
Resource language: English
Title: Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications
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:
Mazzocca, NicolaUNSPECIFIED
Date: 31 March 2014
Number of Pages: 120
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

Collection description

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.


Downloads per month over past year

Actions (login required)

View Item View Item