4/24/2015

Realize Your Product Promise®

SCADE – A Model-based Solution to satisfy DO-178C Objectives

Presentation for Skywin Thomas Dalberto – Account Manager ANSYS Belgium Jérôme Poujardieu – Sales Director ANSYS Systems BU

4/24/2015

Systems

The Next Level: Virtual Prototype of Complete Systems

• Assemblies of components

• Powered, sensed, & controlled as an integrated system

• Must be designed & optimized as a whole

4/24/2015

ANSYS Systems Business Unit Mission

Provide systems and software developers

with model-based development and verification solutions that reduce costs, risks and time-to-market

4/24/2015

SCADE @ Airbus

• SCADE Suite & SCADE Display have been used in the following A380 systems:

4/24/2015

Typical SCADE MBDV Software Lifecycle

© 2015 ANSYS, Inc. ANSYS and Honeywell Confidential 5

Software Requirements

Software Auto-Coding

Software Architecture Software Testing Preparation

Software Project Management

Software Validation

Software Components Testing

Software Integration Testing

Software Components Design

4/24/2015

Qualified Autocoding

Qualified Testing Qualified Semantic Checks

Qualified Model

Simulation

Qualified Model Coverage

SCADE Suite Process Overview

Model

Common Requirements Based

Verification Cases

EOC

Source Code

MB.A-4

MB.A-5

MB.A-6

MB.A-7

© 2015 ANSYS, Inc. ANSYS and Honeywell Confidential 6

4/24/2015

Where Does SCADE Cut Costs?

Phase Comments

Reference Cost

Breakdown

(Manual

process)

Cost

Breakdown

(SCADE-based

process)

SCADE

GainSavings

Concept Definition 5 5 0% Out of the scope of SCADE

System Design (Requirements,

Functions and System

Architecture)

Functional & Architectural

Definition, System Safety

Analysis

12 8 35%Usage of SCADE System to model functions and

architecture

System Requirements allocated

to Software (HLRs)

Control Laws, Logic

definition, HLRs (text,

equations…)

14 9 35%Reuse of functional and architectural definitions done in

SCADE System

Software Design (LLRs)

Detailed SW architecture,

Functional design,

Requirements-based tests

creation

15 18 -20%

Detailed SW architecture, Functional design (if not using

SCADE for Control laws). Additionnal formalisation of

Software detailed specifications, requirements traceability

Coding Detailed Coding 10 2 85% Percentage of code automatically generated with SCADE

Software Unit Testing (Low

Level testing)Functional Unit testing 10 2 85%

Qualification of the Code Generator suppresses low-level

testing against the code generated with SCADE

Software / Software Integration

& TestingTesting of the above 7 1 85%

SW/SW Integration testing fully automated by SCADE for

the SW application part

Hardware/Software Integration

& Testingincl. On target debugging 10 5 50%

Model already debugged - Very short late changes cycles,

Compiler Verification Kit automates User Context

verification and SCADE LifeCycle QTE automates

application testing on target

Documentation & ReviewsDesign documentation and

Quality reviews7 1 85%

Doc for project and for authorities is automatically

generated by SCADE LifeCycle

Project Management 10 5 50%

Automation of connection with Config.Management Tools,

Shortening of project duration, better requirements

traceability thanks to SCADE LifeCycle

TOTAL : 100 50 50%

8 © 2015 ANSYS, Inc. April 24, 2015 ANSYS Confidential

MERCI

© 2015 ANSYS, Inc.

ANSYS Confidential

8