CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishThe ESA AUTOGEF (Dependability Design Approach for Critical Flight Software) study is a direct follow-on of the ESA TRP COMPASS (Correctness, Modelling and Performance of Aerospace Systems). The aim of COMPASS project was to develop a modelbased approach to system-software co-engineering, tailored to the specifics of critical on-board spacecraft systems. COMPASS included the development of a platform based on formal methods, which offers a wide range of techniques for system verification and validation. AUTOGEF aims to demonstrate that synthesis approaches can allow for effective automated FDIR development in accordance with the dependability requirements, through the implementation of an add-on to the COMPASS tool.
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
| Titolo: | Automated generation of FDIR for the compass integrated toolset (AUTOGEF) |
| Autori: | Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia |
| Autori Unitn: | |
| Titolo del volume contenente il saggio: | SP-701 DASIA 2012 DAta Systems In Aerospace |
| Luogo di edizione: | Dubrovnik, Croatia |
| Casa editrice: | European Space Agency - ESA |
| Anno di pubblicazione: | 2012 |
| Handle: | http://hdl.handle.net/11572/99533 |
| Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |
File in questo prodotto:
Copyright © 2020