Qualification Strategy and Plan for Integrated Modular Avionics for Space Separation Kernel

Butterfield, Andrew

This item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more

File Type:

PDF

Item Type:

Conference Paper

Date:

2016

Author:

Butterfield, Andrew

Access:

openAccess

Citation:

Mark Hann, Regis de Ferluc, Alexandre Cortier, Julien Galizzi, Andrew Butterfield, Qualification Strategy and Plan for Integrated Modular Avionics for Space Separation Kernel, ESA Communications, ESTEC, NL, DASIA 2016 DAta Systems In Aerospace, Tallinn, Estonia, 10 May 2016, L. Ouwehand, 2016, 1 - 4

Download Item:

(Published (author's copy) - Peer Reviewed) 158.6Kb

Abstract:

The project IMA-SP Kernel Qualification Preparation (IMAKQP) is an ongoing activity led by SciSys Ltd, involving CNES, Airbus DS, TASF, looking at the approach to be adopted for IMA-SP Separation Kernel qualification. The activity Formal Methods Expert to IMA- SP Kernel Qualification Preparation (FMEIMAKQP) 1 is a parallel joint activity involving Lero@TCD, exploring the potential role that formal verification techniques might play in a future kernel qualification process. It follows on from the experience of a previous activity Method and Tools for Onboard Software Engineering (MTOBSE)