Venticinque, Alessio (2014) Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. [Tesi di dottorato]
Preview |
Text
ThesisVenticinqueA.pdf Download (1MB) | Preview |
| Item Type: | Tesi di dottorato |
|---|---|
| Resource language: | English |
| Title: | Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications |
| Creators: | Creators Email Venticinque, Alessio cap81034@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: | nome email Garofalo, Francesco francesco.garofalo@unina.it |
| Tutor: | nome email Mazzocca, Nicola UNSPECIFIED |
| 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 |
| URI: | http://www.fedoa.unina.it/id/eprint/9881 |
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
Downloads per month over past year
Actions (login required)
 |
View Item |
