Obiettivo
The core objective is the development of industrial strength methodologies and associated technologies for the engineering of software-based critical systems. These methodologies and technologies will support industry in providing essential services for the information society of the Third Millennium that are highly dependable and therefore lead to increased public confidence and trust in the services.
The project will make significant use of rigorous, mathematically-based software engineering techniques, so-called formal methods, that support validation throughout the development life-cycle by providing rigorous specification and design notations as well as proof techniques, model-checking techniques and simulation techniques.
The driver for the research and development in MATISSE will be three major industrial case studies representing a spectrum of the essential services for the information society.
Objectives:
MATISSE will provide:
1) guidelines that allow formal methods to be integrated into existing systems engineering lifecycles so that higher degrees of safety and reliability can be achieved;
2) methodologies that expand the range of application of these formal methods; and
3) enhancements to technologies associated with these formal methods.
Work description:
The approach of the MATISSE project will be to exploit and enhance existing generic methodologies and associated technologies that support the correct construction of software-based systems. In particular, a strong emphasis will be placed on the use of the B Method, invented by Jean-Raymond Abrial, and its associated technology, as well as the CSP formal method, invented by Tony Hoare. Between them, the industrial and academic partners, have considerable expertise in the development and application of these methods.
The work programme will be based on three major industrial case studies representing a spectrum of the essential services for the information society.
An embedded verifier for a smartcard system.
A railway signalling and control system.
A diagnostic system for healthcare clinicians and researchers.
These case studies have been provided by three of the industrial partners and represent real products and services that the industrial partners currently have under development. The industrial partners developing the smart card system and the railway system respectively already have successful experience of applying the B Method to system development over several years. The objective for these partners is to increase the benefit of formal methods further by introducing them earlier in the life cycle and by applying them to entire systems rather than just the software parts of systems. The industrial partner developing the healthcare system have very little experience of the use of formal methods but are keen to introduce them to their organisation and understand the benefits. The MATISSE project will allow them to develop their products and services to a higher standard of safety and dependability and will provide benefits beyond the lifetime of the project by providing an improved engineering methodology
The objectives of the project have been broadly met. The Case Studies outputs are of great interest because of their diversity and levels of participant maturity in using formal methods. Their contributions to the MATISSE Methodology make it more likely that the Methodology will be applicable to other industrial critical systems design projects. Hence MATISSE has achieved its first objective. The use of heterogeneous methods has not been fully developed in MATISSE, partly due to the sound advice and direction given by the reviewers. There is some evidence of the necessity to complement the B method largely used in MATISSE Case Studies with other appropriate formal and semi-formal methods when designing a complex system. This should not be seen as contradicting the Methodological approach developed by the project but instead as an extension of this Methodology. Within this context the MATISSE project has adequately met the second objective. Four tools have been developed to support the MATISSE Methodology: an event B to B translator, by ClearSy; an Xemacs Interactive Prover Interface, by ClearSy; a translator from UML to B, by Southampton University; and a set of tools to generate distributed programs following the CORBA paradigm from B, developed by CNRS.
These tools are either supported commercially or are available for download from the Web. These tools demonstrate that MATISSE has achieved its third stated objective. The MATISSE project has made significant use of rigorous, mathematically-based software engineering techniques to support validation throughout the development life-cycle by providing rigorous specification and design notations as well as proof techniques, model-checking techniques as required by the specific case studies. The overall aim achieved by the project was the development of industrial strength methodologies and associated technologies for the engineering of software-based critical systems. These methodologies and technologies will support industry in providing essential services for the information society of the Third Millennium that are highly dependable and therefore lead to increased public confidence and trust in the services.
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
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Siamo spiacenti… si è verificato un errore inatteso durante l’esecuzione.
È necessario essere autenticati. La sessione potrebbe essere scaduta.
Grazie per il tuo feedback. Riceverai presto un'e-mail di conferma dell'invio. Se hai scelto di ricevere una notifica sullo stato della segnalazione, sarai contattato anche quando lo stato della segnalazione cambierà.
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
SW1E 6PD LONDON
Regno Unito
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.