Obiettivo
Three major software-related trends dominate most technological industries today: The costs for software development are exploding and already dominate the development costs, the features that determine purchase decisions are implemented in software, and the demand for complex safety-critical systems is rapidly increasing. Academic advances in the specification, verification and code generation of such systems have provided new technologies which can be used to improve dramatically the conventional way of building them. While commercial tools are already available, which successfully apply such techniques to the design of system components or smaller systems, it is generally recognised that the design of complex safety-critical systems requires a multi-formalism approach which combines visual programming as an engineer-friendly means of capturing and validating user requirements and formal methods for guaranteeing high quality specifications as well as provably correct generated code.
The objective of providing an integrated set of formalisms and supporting methods and tools brings together in SACRES industrial developers of safety critical systems, tool vendors and technology providers. The industrial users (British Aerospace, Siemens and SNECMA) will provide design tasks, help develop supporting design methodologies and generally assess the new approach in the context of real applications. The vendors (i-Logix, SNI and TNI) adapt and enhance their products in accordance with the needs of the users. The technology providers (INRIA, OFFIS, Siemens, and Weizmann Institute) will close the remaining technology gaps.
Since non-functional requirements such as real-time properties and distributed architectures are strongly requested by users, the project will develop new technology, which supports real-time verification and distributed code generation. Novel techniques for modular verification and code generation will also be developed. These will allow large industrial applications to be treated with the new technology. Certification techniques for the new technology will be developed in order to ensure the realisation of savings in development time and cost.
Usage of intuitive visual techniques as well as highly automated verification and code generation ensures that formally-based technology can be utilised by systems engineers without a background in formal specification methods. This will substantially reduce the heavy costs of developing safety-critical systems, and at the same time increase flexibility and the ability to react to customer needs. In consequence, SACRES will substantially contribute to increasing the competitiveness of European industry.
An important goal of the SACRES project is to secure the vendor participants an adequate share of the strategically important development tool markets. Combining efforts to provide an integrated set of formalisms and tools will increase the attractiveness of the offer of all three vendors and offer the unique advantages of a multi-formalism approach to the user.
Marketing and acceptance of the SACRES results will be supported by information dissemination targeted to the technical community of safety-critical embedded systems and to target industrial clients. Broad acceptance and usability of the results will also be supported by providing and disseminating a methodology, which ensures that the tools and techniques developed within SACRES can be smoothly integrated into typical design flows for safety critical systems.
Campo scientifico (EuroSciVoc)
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
81739 Muenchen
Germania
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.