SAFEAIR Advanced Design Tools for Aircraft Systems and Airborne Software
From 2000-01-01 to 2002-06-30
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 leaders…
Project reference: IST-1999-10913
Total cost: EUR 6 363 713
EU contribution: EUR 3 599 826
1.1.2.-5.1.2 CPA2: Dependability in services and technologies Contract type:
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE FRANCE
KURATORIUM OFFIS E. V.
TELELOGIC TECHNOLOGIES TOULOUSE S.A.
ISRAEL AIRCRAFT INDUSTRIES LIMITED
THE WEIZMANN INSTITUTE OF SCIENCE
TECHNIQUES NOUVELLES D'INFORMATIQUE SA BREST
I-LOGIX ISRAEL LTD
AIRBUS DEUTSCHLAND GMBH
Information Processing, Information Systems - Innovation, Technology Transfer - Social
Record number: 56900 / Last updated on (QVD): 2005-06-13
Advanced Design Tools for Safety Critical Systems
From 2002-07-01 to 2004-06-30
SafeAir II will secure the leading edge ASDE (Avionics System Development Environment) tool set and its associated methodology developed in the IST SafeAir 1999-10913 project, while including relevant improved functionalities for end users and demonstrating dramatic cost effectiveness. Beyond SafeAir results, SafeAir II will result in a complete and coherent methodology and development framework to be customised in each industrial company involved in the embedded systems development, to be able to demonstrate the Y life-cycle in secure conditions. The tool kit adoption process will include an evaluation metrics definition as well as its qualification process.
The project focuses on the European transport industry as a major domain for embedded systems with exploitation potential in a wide range of European industries with similar challenges.
SafeAir II is aimed to foster the future adoption of the ASDE methodology in actual real size industrial applications while securing the overall tool set implementation. SafeAir II defines the adaptation process of industrial ASDE exploitation. A methodology for the adaptation process will support the ASDE technology adoption. The connection to industry-standard requirements traceability tools will allow a better integration in the users context, and the automatic test generation will allow subsequent savings in the long run. Modifying the process step by step (from the classical V cycle to the Enhanced Y Cycle) and controlling the
result with the preceding step is a major objective of the project. The major reduction in the development effort has to come from a severe cut down of the integration, verification and validation endeavor.
SafeAir II will define and promote an adaptation process that will exploit the ASDE results for extensive usage in safety critical projects. This process will enable a smooth transfer from currently used development methods to the ASDE methodology inside a qualification framework. Pilot projects trials will serve as justification for the verification activity reduction strategy.
ASDE provides a complete environment that combines the described development activities in a seamless and convenient process. It is associated with an Implementation Process Methodology (IPM) developed in the SafeAir project that establishes the usage of the ASDE during the development cycle phases. SafeAir II will result in a process for the IPM and tool kit adoption. The different user companies will try this adoption process on pilot projects that will be performed in parallel to (or after) real-life programs, and will be evaluated and measured in comparison to them. The real simulation, integration, test, verification and validation environments will be used for the parallel pilot project trials. The process will be modify step by step (from the classical V to the Enhanced Y Cycle) while controlling the results. The major reduction in the development effort has to come from a severe cut down of the integration, verification and validation endeavour. The project includes skilled teams from users companies in avionics and automotive domains (Snecma Moteurs, IAI, EADS-AMM and Renault) with complementary applications covering the entire development from system and subsystem specification to safe software implementation. TNI is the key tool provider of Model Build as ASDE integrator while the other SafeAir tool vendors are already positioned in commercial offerings. The key technology providers are CNRS-UJF for automatic test generation, OFFIS for user-friendly formal verification and Weizmann Institute for enhanced code validation capability.
The milestones are planned every 6 months with two major versions of the SafeAir tool set ASDE (Avionics System Development Environment) delivered months 12 and 18.
Results: validated, integrated ASDE for system and software development including: - rigorous verification of critical properties and integration;
- automatic code validation;
- evaluation metrics definition;
- Pilot Project formal metrics;
- assimilation and training package.
Project reference: IST-2001-34363
Total cost: EUR 3 226 112
EU contribution: EUR 1 888 141
2001-1.5.4 Best practice and trials in transport and tourism
Preparatory, accompanying and support measures
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
THE WEIZMANN INSTITUTE OF SCIENCE ISRAEL
KURATORIUM OFFIS E. V.
INFINEON TECHNOLOGIES AG
ISRAEL AIRCRAFT INDUSTRIES LIMITED ISRAEL
Economic Aspects - Information Processing, Information Systems - Transport
Record number: 61515 / Last updated on (QVD): 2005-06-13