DOC

SAFEAIR

By Jason Duncan,2014-03-06 15:16
8 views 0
SAFEAIR 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..

    SAFEAIR

    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 details

    Project reference: IST-1999-10913

    Status: Completed

Total cost: EUR 6 363 713

    EU contribution: EUR 3 599 826

    Programme acronym:

    IST

    Subprogramme area:

    1.1.2.-5.1.2 CPA2: Dependability in services and technologies Contract type:

    Cost-sharing contracts

    Coordinator

    SNECMA MOTEURS

    FRANCE

    Participants

    INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE FRANCE

    KURATORIUM OFFIS E. V.

    DEUTSCHLAND

    TELELOGIC TECHNOLOGIES TOULOUSE S.A.

    FRANCE

    AIRBUS FRANCE

    FRANCE

    ISRAEL AIRCRAFT INDUSTRIES LIMITED

    ISRAEL

    THE WEIZMANN INSTITUTE OF SCIENCE

    ISRAEL

    SIEMENS AKTIENGESELLSCHAFT

DEUTSCHLAND

    TECHNIQUES NOUVELLES D'INFORMATIQUE SA BREST

    FRANCE

    I-LOGIX ISRAEL LTD

    ISRAEL

    AIRBUS DEUTSCHLAND GMBH

    DEUTSCHLAND

    Subjects

    Information Processing, Information Systems - Innovation, Technology Transfer - Social

    Aspects

    Record number: 56900 / Last updated on (QVD): 2005-06-13

    SAFEAIR II

    Advanced Design Tools for Safety Critical Systems

    From 2002-07-01 to 2004-06-30

    Objective

    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.

Objectives:

    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.

Work description:

    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.

Milestones:

    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 details

    Project reference: IST-2001-34363

    Status: Completed

Total cost: EUR 3 226 112

    EU contribution: EUR 1 888 141

    Programme acronym:

    IST

    Subprogramme area:

    2001-1.5.4 Best practice and trials in transport and tourism

    Contract type:

    Preparatory, accompanying and support measures

    Coordinator

    HISPANO SUIZA

    FRANCE

    Participants

    CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

    FRANCE

    REGIENOV

    FRANCE

    TNI

    FRANCE

    THE WEIZMANN INSTITUTE OF SCIENCE ISRAEL

    KURATORIUM OFFIS E. V.

    DEUTSCHLAND

    MBDA FRANCE

    FRANCE

    INFINEON TECHNOLOGIES AG

    DEUTSCHLAND

    ISRAEL AIRCRAFT INDUSTRIES LIMITED ISRAEL

    Subjects

    Economic Aspects - Information Processing, Information Systems - Transport

    Record number: 61515 / Last updated on (QVD): 2005-06-13

Report this document

For any questions or suggestions please email
cust-service@docsford.com