Objetivo SafeAir will contribute to the overall goal of facilitating aircraft subsystem and component development in order to foster the competitiveness of the European avionics industry. Its focus is on substantially improving the electronic system development process, leading to a 35-40% reduction in development cost for airborne software systems. This will give European Avionics Industry process leadership in systems- and software development. Beyond this, the exploitation potential addresses a wide range of European industries with similar challenges.SafeAir will develop a model-based methodology for designing dependable embedded systems. The approach will be based on the integration of mature, well-accepted notations and tools integrated in a usable development environment. The result will ensure a high degree of dependability of avionics systems in spite of ever increasing complexity. Salient novel features are rigorous verification of critical properties, automated, certified code generation and automatic validation of the code with respect to the design.Objectives:SafeAir aims at the development of an Avionics Systems Development Environment (ASDE), encompassing technologies, methods and tools that meet the high dependability needs in the area of embedded control systems. Challenges in designing and developing such systems for avionics and other industrial application of similar complexity span the whole development cycle. Requirements need to be described unambiguously and correctly, the design, code and implementation must be checked for correctness and reliability with respect to the requirements. At the same time, the development effort must be kept low to meet the tight time to market. SafeAir's goal is to substantially improve the electronic and embedded systems development process, allowing to maintain the high level of dependability of aircraft systems in the face of an exponential growth in functionality and complexity. The proposed improvements aim at a dramatic reduction in development effort for airborne software systems and its consequent reduction in development cycle time.Work description:European avionics industry typically uses variations of the V-process model to structure the development process of airborne software which will be defined as the reference model. This model is compliant with the DO-178B recommendations in commitment with certification authorities worldwide: FAA and JAA. The figure below indicates, how SafeAir proposes to gradually improve a V to a Y-based process, in order to significantly reduce the design time. The slope of curves is selected to qualitatively indicate the time consumed in particular design steps.SafeAir supports an incremental, two-stage road for process improvements, each leading to successive reductions in development costs and design time, while maintaining, or increasing, system reliability. The key concepts for these improvements are a model based design process, automatic code generation and formal verification. An Aircraft System Development Environment (ASDE) implementing these concepts will be developed and evaluated in the project. This integrated environment will be built on the verification and validation technologies developed in the SACRES Esprit project and expand them to a mature tool set, responsive to user needs. SafeAir will secure that proposed enhancements in the design methodology will be acceptable for the DO178B and ARP4754 certification authorities.To ensure both the technical development and the user take-up, the project combines technology providers and vendors with skilled teams from user companies. The applications cover the entire development from system and subsystem specification to software implementation in the aeronautics sector.Milestones:The major result of SafeAir will be a validated ASDE for system and software development. This environment will support system specification and software specification, on the basis of formal, readable notations both at the analysis and design phase, and integrate de-facto standard modelling tools for avionics applications. ASDE will significantly raise the degree of early error detection and reduce the validation effort at integration time through formal verification techniques for the verification of critical properties. It will provide a seamless integration from system-level modelling tools to an automatic code generation tool in compliance with the DO-178B standard for critical airborne embedded systems. Automatic generation of distributed code will be supported.The method includes an innovative approach for automatically proving consistency of source and generated code supporting the complete translation chain down to the binary level, thereby eliminating potential coding errors and allowing a dramatic reduction of unit testing. This approach constitutes a major technological breakthrough providing valuable certification evidence for the users. As a result of introducing and assessing ASDE within aerospace engineering processes and as the basis for technology dissemination, a comprehensive assessment report as well as an assimilation and training package will be provided. Ámbito científico engineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcontrol systemsnatural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwareengineering and technologymechanical engineeringvehicle engineeringaerospace engineeringaircraftnatural sciencescomputer and information sciencessoftwaresoftware developmentengineering and technologymechanical engineeringvehicle engineeringaerospace engineeringaeronautical engineering Programa(s) FP5-IST - Programme for research, technological development and demonstration on a "User-friendly information society, 1998-2002" Tema(s) 1.1.2.-5.1.2 - CPA2: Dependability in services and technologies Convocatoria de propuestas Data not available Régimen de financiación CSC - Cost-sharing contracts Coordinador SNECMA MOTEURS Aportación de la UE Sin datos Dirección 2 BD DU GENERAL MARTIAL VALIN 75015 PARIS 15 Francia Ver en el mapa Coste total Sin datos Participantes (10) Ordenar alfabéticamente Ordenar por aportación de la UE Ampliar todo Contraer todo AIRBUS DEUTSCHLAND GMBH Alemania Aportación de la UE Sin datos Dirección KREETSLAG 10 21129 HAMBURG Ver en el mapa Coste total Sin datos AIRBUS FRANCE Francia Aportación de la UE Sin datos Dirección 316, ROUTE DE BAYONNE 31060 TOULOUSE Ver en el mapa Coste total Sin datos I-LOGIX ISRAEL LTD Israel Aportación de la UE Sin datos Dirección KIRYAT WEIZMANN - SCIENCE BASED PARK 76327 REHOVOT Ver en el mapa Coste total Sin datos INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Francia Aportación de la UE Sin datos Dirección DOMAINE DE VOLUCEAU 78153 LE CHESNAY Ver en el mapa Coste total Sin datos ISRAEL AIRCRAFT INDUSTRIES LIMITED Israel Aportación de la UE Sin datos Dirección 70100 BEN GURION INTERNATIONAL AIRPORT Ver en el mapa Coste total Sin datos KURATORIUM OFFIS E. V. Alemania Aportación de la UE Sin datos Dirección ESCHERWEG 2 26121 OLDENBURG Ver en el mapa Enlaces Sitio web Opens in new window Coste total Sin datos SIEMENS AKTIENGESELLSCHAFT Alemania Aportación de la UE Sin datos Dirección WITTELSBACHERPLATZ 2 80333 MUENCHEN Ver en el mapa Coste total Sin datos TECHNIQUES NOUVELLES D'INFORMATIQUE SA BREST Francia Aportación de la UE Sin datos Dirección 120 RUE RENE DESCARTES, TECHNOPOLE BREST IROISE, SITE DE LA 29608 BREST Ver en el mapa Coste total Sin datos TELELOGIC TECHNOLOGIES TOULOUSE S.A. Francia Aportación de la UE Sin datos Dirección 150 RUE NICOLAS VAUQUELIN, IMMEUBLE EUROPOLIS 31100 TOULOUSE Ver en el mapa Coste total Sin datos THE WEIZMANN INSTITUTE OF SCIENCE Israel Aportación de la UE Sin datos Dirección HERZEL STREET 2 76100 REHOVOT Ver en el mapa Coste total Sin datos