Venticinque, Alessio (2014) Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. [Tesi di dottorato]
Anteprima |
Testo
ThesisVenticinqueA.pdf Download (1MB) | Anteprima |
| Tipologia del documento: | Tesi di dottorato |
|---|---|
| Lingua: | English |
| Titolo: | Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications |
| Autori: | Autore Email Venticinque, Alessio cap81034@gmail.com |
| Data: | 31 Marzo 2014 |
| Numero di pagine: | 120 |
| 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: | 25 |
| Coordinatore del Corso di dottorato: | nome email Garofalo, Francesco francesco.garofalo@unina.it |
| Tutor: | nome email Mazzocca, Nicola [non definito] |
| Data: | 31 Marzo 2014 |
| Numero di pagine: | 120 |
| Parole chiave: | 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 |
| Depositato il: | 14 Apr 2014 05:56 |
| Ultima modifica: | 26 Gen 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.
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
