More Related Content
Similar to Presagis presentation
Similar to Presagis presentation (20)
Presagis presentation
- 2. 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 2Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 4. 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 4Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.
- 5. 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
May-5-14 5Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.
- 7. MH-60 CAAS on LynxOS-178
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
7
- 10. SH-60 LAMPS on VxWorks 6535/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
10
- 11. KC-767 Tanker on LynxOS-1785/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
11
- 12. C-130AMP on VxWorks AE6535/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
12
- 13. 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
- 14. 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
5/5/2014 14Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 15. Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
15
AgustaWestland Merlin
5/5/2014 15
- 16. 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
5/5/2014 16Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 19. EMBEDDED SOFTWARE SOLUTIONS
> HMI development tools for Avionics
> WYSIWYG Avionics user interface development
> Develop DO178B/C Certifiable Applications
> ARINC661
> Integration with Simulink
> OpenGL Graphics Drivers
> OpenGL SC 1.0.1
> DO178B/C Certifiable
May-5-14 19Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.
- 20. HMI AND DRIVERS: HOW THEY CONNECT
May-5-14 20Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.
APPLICATION
DEVELOPMENT
PROTOTYPING
& SIMULATION
FINAL
PRODUCT
AVIONICS
HMI
EMBEDDED COMPUTER
GRAPHICS
DRIVER
- 22. 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
May-5-14 22Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.
Available
July 2014
- 23. VAPS XT MULTI-TOUCH SUPPORT
May-5-14 23Copyright © 2014 Presagis Canada Inc. and/or Presagis USA Inc. All rights reserved.
> Post-WIMP interfaces in the cockpit
> Multi-touch support available in VAPS
XT 4.1
> Foundation for future capabilities, e.g.
Gesture recognition
- 24. WHAT IS VAPS XT?
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
24
- 25. 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
5/5/2014 25Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 26. 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
5/5/2014 26Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 27. 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
5/5/2014 27Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 28. POWER OF VAPS XT
> Integrated UML
> Open Digital Map object
plus SoftMap support
5/5/2014 28Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 29. WHAT IS THE ARINC 661 STANDARD?
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
29
- 30. 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
5/5/2014 30Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 31. 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
5/5/2014 31Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 32. 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
5/5/2014 32Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 35. ARINC 661 Avionics System
5/5/2014 35Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
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
- 36. 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
5/5/2014 36Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
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)
- 37. ARINC 661 – Basic Concepts
5/5/2014 37Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
DISPLAY UNIT
WINDOWS
(MANAGED BY THE CDS)
LAYER
(OWNED BY ONE
USER APPLICATION)
WIDGET
- 38. 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/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
38
- 39. ARINC 661 Specification
5/5/2014 39Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 40. 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/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
40
- 41. 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
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
41
- 42. Common Look and Feel
> Maintain a consistent look and feel across flight deck
> Use a common set of widgets
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
42
Push Button Widgets on
Diagnostics Page
Push Button Widgets on
Radio Layer
COM
SET
MDE STO
TX
RESET
CLEAR
- 43. 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
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
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
- 44. Interaction Between CDS & Multiple UAs
> Allows multiple UAs to simultaneously and independently use
the same CDS
5/5/2014 44Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 45. 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
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
45
- 46. 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
5/5/2014 46Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 47. PRESAGIS TOOLS SUPPORTING ARINC 661
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
47
- 48. 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
5/5/2014 48Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 49. 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
5/5/2014 49Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 50. 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
User Application(s)
(Logic)
5/5/2014 50Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 51. 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
User Application(s)
(Logic)
UI Input
UI Output
5/5/2014 51Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 52. 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
User Application(s)
(Logic)
UI Input
UI Output
Various Tools:
UA Application logic design:
DOORS, Simulink, Artisan,
Rhapsody
5/5/2014 52Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 53. 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
User Application(s)
(Logic)
UI Input
UI Output
VAPS XT 661
ARINC661 Widget & Layer
Development
5/5/2014 53Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 54. 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
User Application(s)
(Logic)
UI Input
UI Output
5/5/2014 54Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 55. End to End ARINC661 CDS Development
User Application(s)
(Logic)
Events from User
Interaction
Update Commands
for Widget/Layer
Modifications
User Application(s)
(Logic)
UI Input
UI Output
Cockpit Display System
(Graphics)
Widget Library
5/5/2014 55Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 56. End to End ARINC661 CDS Development
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
Cockpit Display System
(Graphics)
Widget Library
5/5/2014 56Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 57. 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
5/5/2014Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
57
- 58. 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
5/5/2014 58Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 59. End to End ARINC661 Development
Cockpit Display System
(Graphics)
User Application(s)
(Logic)
Widget Library
Events from User
Interaction
Update Commands
for Widget/Layer
Modifications
5/5/2014 59Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 60. UA Emulator
End to End ARINC661 Development
Cockpit Display System
(Graphics)
Widget Library
5/5/2014 60Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 61. UA Emulator
End to End ARINC661 Development
User Application(s)
(Logic)
5/5/2014 61Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 62. UA Emulator
End to End ARINC661 Development
Cockpit Display System
(Graphics)
User Application(s)
(Logic)
Widget Library
5/5/2014 62Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 63. Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and
Proprietary. All rights reserved.
DO178B/C CERTIFICATION WITH VAPS XT
5/5/2014 63
- 64. VAPS XT-178 Components: Generic Development
5/5/2014 64Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
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
- 65. VAPS XT-178 Components: CDS Development
5/5/2014 65Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
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
Target System Libraries
User Integration Code
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
- 66. 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
Target System Libraries
User Integration Code
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
5/5/2014 66Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 67. 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
5/5/2014 67Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 68. 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.
5/5/2014 68Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 69. 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
5/5/2014 69Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 70. 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
5/5/2014 70Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 71. 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
5/5/2014 71Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 72. 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
5/5/2014 72Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 73. 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
5/5/2014 73Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 74. 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
5/5/2014 74Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 75. VAPS XT-178 User Certification Process (ii)
Port
LLR Tests
HMI System Software
HLR Tests
HMI System Software High
Level Requirements (HLRs)
Design Model
Files (LLRs)
Porting
Layer
Run Time
Kernel
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
Development Activities Testing Activities
Generated
Code
5/5/2014 75Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 76. 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
5/5/2014 76Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 77. VAPS XT-178 User Certification Process (iii)
Port
LLR Tests
HMI System Software
HLR Tests
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
Development Activities Testing Activities
5/5/2014 77Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 78. 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
> User Certification activities:
• Re-run the Run Time Kernel and Standard Coded Objects tests on target
system executable object code.
5/5/2014 78Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 79. VAPS XT-178 User Certification Process (iv)
Port
LLR Tests
HMI System Software
HLR Tests
HMI System Software High
Level Requirements (HLRs)
Design Model
Files (LLRs)
Porting
Layer
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
Object Tests
User Coded
Objects
(optional)
Run Time Kernel
Tests
Testing
Testing
Coverage
Analysis
Development Activities Testing Activities
Run Time
Kernel
Standard
Coded Objects
5/5/2014 79Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 80. 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
> User Certification activities:
• 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
5/5/2014 80Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 81. VAPS XT-178 User Certification Process (v)
Port
LLR Tests
HMI System Software
HLR Tests
HMI System Software High
Level Requirements (HLRs)
Design Model
Files (LLRs)
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
Development Activities Testing Activities
Porting
Layer
5/5/2014 81Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.
- 82. CONCLUSION
> VAPS XT supports development of Avionics user interfaces?
> ARINC 661 standard
> Integration with Simulink
> How to develop certifiable software
5/5/2014 82Copyright © 2013 Presagis Canada Inc. and/or Presagis USA Inc. Confidential and Proprietary. All
rights reserved.