Presagis presentation

Softline Seminar Moscow April 2014

AGENDA

> Introduction to Presagis

> How VAPS XT supports development of Avionics user

interfaces?

> What is the ARINC 661 standard?

> Integration with Simulink

> Developing certifiable software

> Q&A

\\ 5/5/2014 \\ 2 Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All

rights reserved.

OVERVIEW OF PRESAGIS

PRESAGIS OVERVIEW

> Leader in two main markets:

> Embedded graphics tools

• HMI development tools for Avionics (DO178B/C Certifiable)

• OpenGL Graphics Drivers (DO178B/C Certifiable)

> Modeling and simulation

• Content Creation (ex: terrain and 3-D modeling tools)

• Visualization (ex: image generation and out the window views)

• Simulation (ex: simulated forces, entities, threats)

• HMI (ex: HUD or virtual control overlays)

> Headquartered in Montreal since 1987

\\ May-5-14 \\ 4 Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.

MARKETS AND APPLICATIONS

Aircraft Instrumentation

Training Systems

Analysis Systems

Planning Systems

Presagis provides software tools

to allow our customers to build:

Aerospace and

Defense

Public Safety

and Security

Critical

Infrastructure

Transportation


>1000 active

customers worldwide

TRUSTED BY THE BEST


http://www.google.ca/url?sa=i&rct=j&q=cae+logo&source=images&cd=&cad=rja&docid=WPgV-05GIpIg1M&tbnid=g8sVfqp2_s3DDM:&ved=0CAUQjRw&url=https://commons.wikimedia.org/wiki/File:CAE_Inc_Logo.svg&ei=JX6eUbb-GfOo4AOji4G4BQ&bvm=bv.47008514,d.dmg&psig=AFQjCNElkZBs9obqlQORskweODCjE53i2w&ust=1369427841658779

http://www.google.ca/url?sa=i&rct=j&q=mercedes+benz&source=images&cd=&cad=rja&docid=0uuc9brS45gWVM&tbnid=38236qTlLy_i7M:&ved=0CAUQjRw&url=http://en.wikipedia.org/wiki/Mercedes-Benz&ei=XZGeUbjCA8Xy0QGOl4HoBA&psig=AFQjCNE2wsu5qCXPMofHLJGb9fAT9_VkmA&ust=1369432794384368

http://www.google.ca/url?sa=i&rct=j&q=siemens+logo+vector&source=images&cd=&cad=rja&docid=1ej32zZxYu53rM&tbnid=h1JgQ7ZKcCogcM:&ved=0CAUQjRw&url=http://www.logoeps.com/fujitsu-siemens-computers-logo-vector/38282/&ei=UnCfUYfzPLfe4APt54DABg&psig=AFQjCNEcqODN9idh8aKW79JXq0R22Oqx_A&ust=1369489863901099

http://www.google.ca/url?sa=i&rct=j&q=comac+logo&source=images&cd=&cad=rja&docid=r4PqkmW7QHth0M&tbnid=lua6xQ6n1T_2uM:&ved=0CAUQjRw&url=http://newsroom.craneae.com/tag/comac/&ei=H3GfUY6dDKeg4AOB7oCYBQ&psig=AFQjCNEPbcqsLfk3C7oRzv8QFQW8GjRqYQ&ust=1369490074004199

http://www.google.ca/url?sa=i&rct=j&q=national+aerospace+laboratories+logo&source=images&cd=&cad=rja&docid=-wcfmJktEwFvsM&tbnid=gkJxY1Ws6DxPsM:&ved=0CAUQjRw&url=http://www.hirf-se.eu/hirf/?q=node/38&ei=UHKfUdLhCIPE4APkvYDYAQ&bvm=bv.47008514,d.dmg&psig=AFQjCNEcvg2q5eOsyfQKNLRWp-Hi-7_4qQ&ust=1369490379320402

http://www.google.ca/url?sa=i&rct=j&q=honda+logo&source=images&cd=&cad=rja&docid=chMBFy-96hi3oM&tbnid=5CqJ-_01UAHB5M:&ved=0CAUQjRw&url=http://proftools.net/&ei=0XKfUbmJB4_J4AOrroD4AQ&bvm=bv.47008514,d.dmg&psig=AFQjCNF_6VhariD2lDQzpb_GERl03nW6rQ&ust=1369490510727311

http://www.google.ca/url?sa=i&rct=j&q=elbit+systems+logo&source=images&cd=&cad=rja&docid=j6yHamN3t2vd2M&tbnid=Z_wohpL-wPgcfM:&ved=0CAUQjRw&url=http://ausasustainingmembers.searchablelisting.com/viewDetails.php?id=1416&ei=noKfUfXEFa3K4AOUloDAAw&bvm=bv.47008514,d.dmg&psig=AFQjCNEeW4FC47Npgcozc52IhEluyMhKPQ&ust=1369494549578853

http://www.csir.co.za/

Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and

Proprietary. All rights reserved.

13

“Employing advanced model based development processes and tools,

Rockwell Collins has made significant reductions in development cost, cycle

time and life cycle costs typically associated with displays systems.”

\\ 5/5/2014 \\ 13

ROCKWELL COLLINS AND VAPS XT

> Key ARINC 661 initial customer

> Using VAPS XT for Boeing 787 program and others

> Rockwell has now standardized on VAPS XT as their de-facto

tool


rights reserved.



15

AgustaWestland Merlin

\\ 5/5/2014 \\ 15

REASONS AGUSTA WESTLAND CHOSE VAPS XT

> Specialist tool designed to exploit new HMI concepts and approach

> Reduced COO and obsolescence protection

> Turn key solution for HMI

> Availability of certification package

> AW to concentrate on core competence of HMI development

> Reduce project risk

> Provides reuse on other hardware platforms & in other phases, i.e. simulation,

training systems

> Supports ‘rapid’ HMI changes


rights reserved.

Eurofighter

F-18

NH-90

E-2C

F-15 OH-58

L-159

PC-21

A340 A320

C-130

B1B

B-787

B-52

CH-47 Merlin MK1

T-6

F-16 SuperPuma F-22

AH-1

V-22

PRESAGIS EMBEDDED AIRBORNE HISTORY

Global Hawk


rights reserved.

PRESAGIS EMBEDDED SOFTWARE PRODUCTS

EMBEDDED SOFTWARE SOLUTIONS

> HMI development tools for Avionics

> WYSIWYG Avionics user interface development

> Develop DO178B/C Certifiable Applications

> ARINC661


> OpenGL Graphics Drivers

> OpenGL SC 1.0.1

> DO178B/C Certifiable


HMI AND DRIVERS: HOW THEY CONNECT


APPLICATION

DEVELOPMENT PROTOTYPING

& SIMULATION

FINAL

PRODUCT

AVIONICS

HMI

EMBEDDED COMPUTER

GRAPHICS

DRIVER

NEW DIRECTIONS

NEW RELEASE ANNOUNCEMENT

> VAPS XT 4.1 Release

> Main new features

> Support for Multi-Touch

> Foundation for post-WIMP features

> Updated porting layer and sample ports

> Future releases

> Gesture support


Available

July 2014

VAPS XT MULTI-TOUCH SUPPORT


> Post-WIMP interfaces in the cockpit

> Multi-touch support available in VAPS

XT 4.1

> Foundation for future capabilities, e.g.

Gesture recognition

WHAT IS VAPS XT?

5/5/2014 Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and


WHAT IS VAPS XT?

> PC-based software for developing Human-Machine Interfaces

> C++ object oriented architecture

> Easy to use and get started

> For non-programmers and experts alike

> Extendible product architecture

> Both simulation and embedded applications


rights reserved.

POWER OF VAPS XT

> Graphically design and prototype displays on PC without

writing code

> Create, save, and re-use objects or complete designs between

projects

> Maintenance of designs is simple – all done in the editor

> Supports rapid deployment of systems and easy iteration as

design develops and changes

> Built-in code generator to

> animate design on PC

> deploy design on embedded system


rights reserved.

POWER OF VAPS XT

> C++ provides great design flexibility

> Unlimited extensibility (objects, interactions, communications,

integrations)

> Object Oriented design and layer APIs gives modularity

> Objects and interactions

> Application code layer, runtime and porting layers –easy to update

> Support for ARINC 661

> Create DO-178B/C certifiable code


rights reserved.

POWER OF VAPS XT

> Integrated UML

> Open Digital Map object

plus SoftMap support


rights reserved.

WHAT IS THE ARINC 661 STANDARD?



Avionics Systems Cost Increasing

35-40%* Of a Civil aircraft costs are

attributed to the

Avionics Systems

*ONERA is the French aeronautics, space and defense research lab


rights reserved.

Manufacturers Under Increasing Pressure

$ LIFECYCLE COSTS

More functionality being

added to the cockpit

Development timescales

being reduced

Increasing level of competition

Hardware obsolescence driving

up lifecycle costs


rights reserved.

A Standard For Systems Development

ARINC 661 – Defines a standard method for multiple avionics

systems to interact with a display

Key Objectives:

Minimize costs of adding new display capabilities

Reduce the amount of Re-certification required for changes

Minimize costs of hardware obsolescence management

Increased interactivity in the cockpit

Standard way to add interactivity in the cockpit


rights reserved.

ARINC 661 PROVEN, COST EFFECTIVE, WIDELY DEPLOYED

787 DREAMLINER

ARINC 661

AIRBUS 380

MERLIN HELICOPTER A400M

ARINC 661 Avionics System


rights reserved.

COCKPIT DISPLAY SYSTEM

Navigation System

AVIONICS SYSTEMS

Radar System

FM System

Fuel System

ARINC 661 PROTOCOL

Industry Standard Protocol

Less expensive to recertify systems

& no impact to CDS

Quickly add new functionality

at a lower cost

Support different certification levels

Not locked into a single supplier

User Application(s)

(Logic)

Cockpit Display

System (Graphics)

Widget Library

Kernel

Crew

Member(s)

with input

devices(s)

Display

Crew interaction

ARINC 661 – Basic Concepts


rights reserved.

Binary

Definition

Files

Update Commands

for Widget/Layer

Modifications

Widget Events (from

User Interaction),

Error Notifications

ARINC 661 Binary File Format

ARINC 661 Run Time Messages (Data Content Only – Not Transport Layer)

ARINC 661 Standard Widget (Functional Description, no Look/Feel Details)

ARINC 661 – Basic Concepts


rights reserved.

DISPLAY UNIT

WINDOWS

(MANAGED BY THE CDS)

LAYER

(OWNED BY ONE

USER APPLICATION)

WIDGET

ARINC661 Widgets

> Widgets are defined with Functionality and Parameters > 68 in Supplement 4, more in Supplement 5

> Some are interactive and generate events

> Most (not all) have a visual representation

> Placeholders allow for OEM/CDS custom widgets

> Widget Categories > Container

> Graphical Representation

> Text String

> Interactive

> Map Management

> Dynamic Motion

> Utility

> UA Management

5/5/2014

Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All

rights reserved. 38

ARINC 661 Specification


rights reserved.

ARINC661 Layer

> Contains one or more widgets

> Widgets can be nested hierarchically

> Each widget has an ID number uniquely

identifying it within its enclosing layer

> Each layer is controlled by a single UA

5/5/2014 Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All

rights reserved. 40

Elements Not Defined by ARINC661

> ARINC661 leaves some components undefined

> Widget “Look & Feel”

• CDS manufacturer defines the look and feel

> Protocol Transport

• Specifies message protocol, not transport mechanism

> Windowing

• Does not specify details of “windowing” or cursor interaction

> Increases flexibility of implementation


rights reserved. 41

Common Look and Feel

> Maintain a consistent look and feel across flight deck

> Use a common set of widgets


rights reserved. 42

Push Button Widgets on

Diagnostics Page

Push Button Widgets on

Radio Layer

COM

SET

MDE STO

TX

RESET

CLEAR

Reuse Layers with New Look and Feel

> Layers can be re-used on multiple CDS systems

> Custom appearance is defined in the widget library

implementations


rights reserved. 43

Rendering on CDS

of Aircraft “A”

COM

SET

MDE STO

TX

COM

SET

MDE

Rendering on CDS

of Aircraft “B”

STO

TX

Interaction Between CDS & Multiple UAs

> Allows multiple UAs to simultaneously and independently use

the same CDS


rights reserved.

UA Responsibilities

> Perform the avionics logic – core of application

> Send messages to CDS to:

> Display (update) widgets/layers

> Make a layer visible

> Receive messages from CDS:

> When a widget/layer event occurs

> Determine appropriate response

> Respond to a widget event


rights reserved. 45

Problem: System Latency

> For interactive displays response to input selection depends on

> CDS Response timing

> Transmission schedule

> UA Response timing

Time

User Input CDS

Response

Time Transport

Transmission

Time

UA

Response

Time Transport

Transmission

Time

CDS

Response

Time


rights reserved.

PRESAGIS TOOLS SUPPORTING ARINC 661



Presagis ARINC661 Development Tools

> VAPS XT/XT-178 ARINC661 Option

> Standard VAPS XT features plus pre-built standard widgets

> ARINC 661 built/coded widgets are DO-178 certifiable

> Generates binary DF for CDS

> UA developed in your preferred logic design tool

> Simulink

> UA2 provides CDS model to UA deign

> Ensures independent development of UA connects correctly with

CDS


rights reserved.

End to End ARINC661 CDS Development

Cockpit Display System

(Graphics) User Application(s)

(Logic) Widget Library

Events from User

Interaction

Update Commands

for Widget/Layer

Modifications


rights reserved.





Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)


rights reserved.





Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)

UI Input

UI Output


rights reserved.





Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)

UI Input

UI Output

Various Tools:

UA Application logic design:

DOORS, Simulink, Artisan,

Rhapsody


rights reserved.





Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)

UI Input

UI Output

VAPS XT 661

ARINC661 Widget & Layer

Development


rights reserved.





Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)

UI Input

UI Output


rights reserved.


User Application(s)

(Logic)

Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)

UI Input

UI Output


(Graphics)

Widget Library


rights reserved.


User Application(s)

(Logic)

Events from User

Interaction

Update Commands

for Widget/Layer

Modifications

User Application(s)

(Logic)

UI Input

UI Output

UA2

“UI” of UA (A661-specific)

User Interface Development


(Graphics)

Widget Library


rights reserved.

UA/CDS Development

> CDS & UA developed in different tools, different groups

> CDS receives data from, transmits user input to, UA

> CDS needs protocol to stimulate display

> So… validation of CDS needs working UA

> UA transmits data to, and receives user input from, CDS

> UA needs DF files from CDS to know how to interact

> Needs input protocol to test behavior

> So… validation of UA needs a working CDS


rights reserved.

57

Testing the CDS & UA

> UA Emulator

> ARINC 661 messaging debugger

• Reads and parses the XML DF generated by VAPS XT/178

• Allows scripted/manual ARINC 661 message passing/receiving with

CDS

> Enables early & incremental testing of CDS before UA is complete

• CDS simulation without a UA

• UA simulation without a CDS


rights reserved.

End to End ARINC661 Development




Events from User

Interaction

Update Commands

for Widget/Layer

Modifications


rights reserved.

UA Emulator



(Graphics)

Widget Library


rights reserved.

UA Emulator


User Application(s)

(Logic)


rights reserved.

UA Emulator






rights reserved.



DO178B/C CERTIFICATION WITH VAPS XT

5/5/2014 63

VAPS XT-178 Components: Generic Development


rights reserved.

HMI Display System

VAPS XT-178 Application Run Time

Application

Generated

Code

VAPS XT-178 Editor

Run Time Kernel

Standard Coded

Objects

Porting Layer

VAPS XT-178 Code

Generator

Key

User developed or

third party items

HMI APPLICATION DEVELOPMENT RUN TIME

Target System Libraries

User Integration Code

Application

Design Files

User Coded Objects

VAPS XT-178

certification

credit through

VAPS XT-178

CertKit

VAPS XT-178

certification credit

through VAPS XT-178

Porting Layer CertKit

VAPS XT-178 Components: CDS Development


rights reserved.

A661 CDS

VAPS XT-178 A661 Run Time

Widget

Library

Generated

Code

VAPS XT-178 Editor

Run Time Kernel

Standard Coded

Objects / Widgets

Porting Layer

VAPS XT-178

Code Generator

CDS DEVELOPMENT RUN TIME



Widget Library

Design Files

User Coded Objects /

Widgets

A661 Run Time Kernel

Key

User developed or

third party items

VAPS XT-178

certification

credit through

VAPS XT-178

CertKit

VAPS XT-178

certification

credit through VAPS

XT-178 Porting Layer

CertKit

VAPS XT-178 Components: HMI Layers Development

A661 CDS

VAPS XT-178 A661 Run Time

Widget

Library

Generated

Code

VAPS XT-178 Editor

Run Time Kernel

Standard Coded

Objects / Widgets

Porting Layer

VAPS XT-178

A661 XML to

Binary Converter

HMI APPLICATION DEVELOPMENT RUN TIME



A661

Application

Design Files

(UALDs)

User Coded Objects /

Widgets

A661 Run Time Kernel

data loading

Key

User developed or

third party items

VAPS XT-178

certification

credit through

VAPS XT-178

CertKit

VAPS XT-178

certification credit

through VAPS XT-

178 Porting Layer

CertKit

A661 Binary

UALDs


rights reserved.

VAPS XT-178 Code Generator

> Code Generator transforms input model into the C++ code.

> INPUT is a design model in the form of Application Design Files

(XML)

• Defines the HMI Application or A661 Widget Library.

> OUTPUT is machine-independent certifiable C++ source code

• Implements the input design model


rights reserved.

VAPS XT-178 Code Generator

> The Code Generator is developed as a DO-178B qualifiable

software development tool.

> Tool qualification gives assurance that Code Generator generates

source code that correctly implements the input model

> Provides user with assurance of the quality of generated code

> Allows certification credit related to it to be claimed

> Presagis provides complete artifacts for the Code Generator to

support qualification

> The A661 XML to Binary Converter is developed in a similar way

> Qualifiable development tool.


rights reserved.

VAPS XT-178 Run Time Components

> Application Generated Code > Implements the behaviour of the model

> Should not be customized by the user

> Coded Objects, A661 Widgets and Run Time Kernel > Implement built-in behaviour of VAPS XT-178 that the generated code depends on

(e.g. base classes and utilities)

> Delivered in source code form with certification artifacts • Should not be customized by the user

> Custom user coded objects and A661 widgets may be developed > User is responsible for certification artifacts however

> Porting Layer > Abstraction layer that encapsulates target system functions

• Such as provided by the RTOS and Graphics Driver

> Porting Layer implementation requires customization for each platform • Combination of hardware and software


rights reserved.

VAPS XT-178 Components Cert Kits

> VAPS XT-178 Certification Kit > Artifacts to support DO-178B compliance (for certification/ qualification)

> VAPS XT-178 Porting Layer Certification Kit > Artifacts to support DO-178B compliance for porting layer

> Porting Layer requires target-specific customization

> Porting Layer certification artifacts can only be completed after customization

Toolset Component Applicability DO-178B Category

VAPS XT-178 Code Generator Generic and ARINC 661 Qualifiable Development Tool

VAPS XT-178 Standard Coded Objects Generic and ARINC 661 Certifiable Software Components

VAPS XT-178 Run Time Kernel Generic and ARINC 661 Certifiable Software Component

VAPS XT-178 Standard Coded Widgets ARINC 661 only Certifiable Software Components

VAPS XT-178 A661 Run Time Kernel ARINC 661 only Certifiable Software Component

VAPS XT-178 A661 XML to Binary Converter ARINC 661 only Qualifiable Development Tool


rights reserved.

VAPS XT-178 in the User Certification Process

> The following steps are involved in the User Certification Process with VAPS XT-178:

i. Planning

ii. Model Development and Verification

iii. User Coded Objects Development and Verification (optional)

iv. Run Time Kernel and Objects Test Execution

v. Porting Layer Implementation and Verification

> More details in the following slides…

> Note that items i, iii, iv and v can be re-used across projects

> Full details of certification credit that may be claimed are provided in the VAPS XT-178 PSAC

> Defined in terms of DO-178B objectives


rights reserved.

VAPS XT-178 User Certification Process Overview

Porting Layer

LLR Tests

HMI System Software

HLR Tests

Development Activities Testing Activities

HMI System Software High

Level Requirements (HLRs)

Design Model

Files (LLRs)

Porting

Layer

Run Time

Kernel

Generated

Code

Verification

against HLRs

required

Verification by code review

not required due to tool

qualification

User Coded Object

Tests (optional)

VAPS XT-178 Code

Generator

Key

Verification activity

Development activity

Item for which credit can be claimed and/or

artifacts included in VAPS XT-178 CertKit

User developed item

Automated, not required or reduced

verification activity

Automated development activity

VAPS XT-178

Editor

Standard

Coded Objects

Standard Coded

Object Tests

User Coded

Objects

(optional)

Run Time Kernel

Tests

Testing

Testing

Coverage

Analysis


rights reserved.

VAPS XT-178 User Certification Process (i)

> Planning

> VAPS XT-178 PSAC should be referenced from user PSAC

• The VAPS XT-178 PSAC covers tool qualification and certifiable

components

• Liaison with Cert Authority should include acceptance of the usage of

VAPS XT-178

> User’s development process for a VAPS XT-178 application can

take advantage of model based design and verification

• Should be addressed in user’s plans and standards


rights reserved.

VAPS XT-178 User Certification Process (ii)

> Model Development and Verification

> VAPS XT-178 model is the Design/LLRs for the user’s application (HMI

application or A661 widget library) • User activities are focused at the functional and model levels rather than down

at the source code level

> User Certification activities: • Develop and verify model against System/High Level Requirements

• Test model against System/High Level Requirements: – Model coverage analysis should ensure design and low level requirements testing is

complete

– Structural coverage of generated code is facilitated by VAPS XT-178 generated code design

» Includes links back to model elements)

– User testing should also achieve integration with target computer


rights reserved.

VAPS XT-178 User Certification Process (ii)

Port

LLR Tests

HMI System Software

HLR Tests HMI System Software High


Design Model

Files (LLRs)

Porting

Layer

Run Time

Kernel

Verification

against HLRs

required



qualification

User Coded Object

Tests (optional)

VAPS XT-178 Code

Generator

Key





User developed item




VAPS XT-178

Editor

Standard

Coded Objects

Standard Coded

Object Tests

User Coded

Objects

(optional)

Run Time Kernel

Tests

Testing

Testing

Coverage

Analysis


Generated

Code


rights reserved.

VAPS XT-178 User Certification Process (iii)

> User Coded Objects Development and Verification

> This is an optional step of adding user coded objects

• Only required for special needs that are not supported by the

standard objects

• User coded objects are developed in the same way that Presagis

develops the standard objects

> User Certification activities:

• Develop coded objects against user requirements and VAPS XT-178

design and standards

• Verify user coded objects


rights reserved.

VAPS XT-178 User Certification Process (iii)

Port

LLR Tests

HMI System Software



Design Model

Files (LLRs)

Porting

Layer

Run Time

Kernel

Generated

Code

Verification

against HLRs

required



qualification

User Coded Object

Tests (optional)

VAPS XT-178 Code

Generator

Key





User developed item




VAPS XT-178

Editor

Standard

Coded Objects

Standard Coded

Object Tests

User Coded

Objects

(optional)

Run Time Kernel

Tests

Testing

Testing

Coverage

Analysis



rights reserved.

VAPS XT-178 User Certification Process (iv)

> Run Time Kernel and Coded Objects Test Execution

> VAPS XT-178 Certification Kit contains artifacts for

• HLRs, Design and LLRs, Tests, Structural Coverage, Traceability etc.

> Presagis executes the tests on a reference platform and delivers runtime components to user in source code form

• To complete DO-178B objectives, evidence is required that the executable object code complies with the requirements


• Re-run the Run Time Kernel and Standard Coded Objects tests on target system executable object code.


rights reserved.

VAPS XT-178 User Certification Process (iv)

Port

LLR Tests

HMI System Software



Design Model

Files (LLRs)

Porting

Layer

Generated

Code

Verification

against HLRs

required



qualification

User Coded Object

Tests (optional)

VAPS XT-178 Code

Generator

Key





User developed item




VAPS XT-178

Editor

Standard Coded

Object Tests

User Coded

Objects

(optional)

Run Time Kernel

Tests

Testing

Testing

Coverage

Analysis


Run Time

Kernel

Standard

Coded Objects


rights reserved.

VAPS XT-178 User Certification Process (v)

> Porting Layer Development and Verification

> Requirements for the Porting Layer API are provided in the VAPS

XT-178 Certification Kit


• The implementation and verification of the Porting Layer for the

project’s target system is required against the provided requirements

• Presagis can help - various options available


rights reserved.

VAPS XT-178 User Certification Process (v)

Port

LLR Tests

HMI System Software



Design Model

Files (LLRs)

Run Time

Kernel

Generated

Code

Verification

against HLRs

required



qualification

User Coded Object

Tests (optional)

VAPS XT-178 Code

Generator

Key





User developed item




VAPS XT-178

Editor

Standard

Coded Objects

Standard Coded

Object Tests

User Coded

Objects

(optional)

Run Time Kernel

Tests

Testing

Testing

Coverage

Analysis


Porting

Layer


rights reserved.

CONCLUSION

> VAPS XT supports development of Avionics user interfaces?

> ARINC 661 standard


> How to develop certifiable software


rights reserved.

Questions?

Presagis presentation

Devices & Hardware

Transcript of Presagis presentation