Obiettivo
ARTS will address the Software Intensive System Engineering aspects that are crucial in the development of safety critical and embedded real-time applications: verification and validation (V&V) of both the user requirements and the final systems. In particular, ARTS will address these aspects in the avionics field, where safety critical requirements impose analysis of consistency and adequacy during the whole application life cycle.
In the project a formal specification and test technique based on a temporal logical framework (TRIO) will be applied to critical phases of the V&V process for an Electrical Flight Control System (EFCS). This application will be developed using conventional techniques within an industrial development project which was started in 1994 and will be completed in 1998. ARTS will allow the user and the system developer to experiment with TRIO for testing both specification and implementation of critical components of EFCS. The use of TRIO on EFCS applications is completely new, since it has so far been applied in energy management systems only. TRIO has been developed within an RTD project, supported mainly by ENEL - the Italian electricity company - and has been used for the specification of real time, safety critical systems devoted to control, power production, transport and distribution.
The action aims at verifying that TRIO can satisfy specific needs - related to V&V activities in the avionics field - that conventional techniques cannot. The link with the real EFCS development project will allow a concrete evaluation of benefits and difficulties implied by the use of TRIO. On the basis of this evaluation, a methodology which integrates traditional design practice with TRIO-based formal V&V activities will be explored. To merge existing techniques - currently used in different phases of the development process - with the experimented formal approach is in fact mandatory from an industrial point of view to avoid loss of past investments and background.
A further objective of ARTS is to make more efficient and robust TRIO tools, since potential use of TRIO is often limited by the weakness in performance and user interface.
The foreseen results of the project will be transferable to all organisations where safety critical, real time embedded systems are developed, e.g. in energy, chemical, oil and gas, manufacturing, military, aerospace, telecommunications, and large utility network application domains. They appear to be of particular interest for the whole development process starting from requirements, through design and implementation, to system testing.
The consortium partners are strongly involved in the project and their roles guarantee that all the aspects of the action will be addressed. SEXTANT Avionique as user will provide the application: they will use TRIO to specify some selected parts, validate the system, and evaluate the results of the experiment. CERT-ONERA as a supplier to the aerospace industry and user of formal methods will be able to fully experiment with TRIO, exploiting the features of its logical language and tools, and will co-operate with SEXTANT Avionique to develop TRIO specification and test cases. CISE as TRIO developer will guarantee the required technical support and provide enhanced and optimised versions of TRIO tools.
http://www.cert.fr/francais/deri/seguin/ARTS/page.html(si apre in una nuova finestra)
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software
- ingegneria e tecnologia ingegneria elettrica, ingegneria elettronica, ingegneria informatica ingegneria elettronica sistemi di controllo
- scienze umanistiche arte
- ingegneria e tecnologia ingegneria elettrica, ingegneria elettronica, ingegneria informatica ingegneria informatica telecomunicazioni
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
92366 Meudon La Foret
Francia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.