Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
81739 Muenchen
Alemania
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.