| dc.contributor.author | Butterfield, Andrew | |
| dc.contributor.editor | L. Ouwehand | en |
| dc.date.accessioned | 2024-08-19T10:30:35Z | |
| dc.date.available | 2024-08-19T10:30:35Z | |
| dc.date.created | 10 May 2016 | en |
| dc.date.issued | 2016 | |
| dc.date.submitted | 2016 | en |
| dc.identifier.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 | en |
| dc.identifier.other | Y | |
| dc.description.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) | en |
| dc.format.extent | 1 | en |
| dc.format.extent | 4 | en |
| dc.language.iso | en | en |
| dc.rights | Y | en |
| dc.title | Qualification Strategy and Plan for Integrated Modular Avionics for Space Separation Kernel | en |
| dc.title.alternative | ESA Communications, ESTEC, NL | en |
| dc.title.alternative | DASIA 2016 DAta Systems In Aerospace | en |
| dc.type | Conference Paper | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | |
| dc.identifier.rssinternalid | 182118 | |
| dc.rights.ecaccessrights | openAccess | |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | |
| dc.identifier.uri | https://hdl.handle.net/2262/109052 | |
