Konferensartikel

Assurance Strategy for New Computing Platforms in Safety-Critical Avionics

Håkan Forsberg
School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

Andreas Schwierz
Research Center, Competence Field Aviation, Technische Hochschule Ingolstadt, Germany

Kristina Lundqvist
School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp19162015

Ingår i: FT2019. Proceedings of the 10th Aerospace Technology Congress, October 8-9, 2019, Stockholm, Sweden

Linköping Electronic Conference Proceedings 162:15, s. 137-144

Visa mer +

Publicerad: 2019-10-23

ISBN: 978-91-7519-006-8

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

An assurance strategy for new computing platforms in safety-critical avionics has to be flexible and take into account different types of commercial-of-the-shelf (COTS) hardware technologies. Completely new COTS technologies are today in a high pace being successfully introduced and used in other domains. Heterogeneous platforms, hardware-based machine learning and approximate computing are good examples. Current certification guidance material is not mature enough for next generation of devices. We suggest using the generic assurance approach of the Overarching Properties (OPs) together with assurance cases to argument that COTS assurance objectives are met and to achieve the flexibility required for future computing platforms.In previous research, we introduced an assurance case-based OP approach. We later refined our work into a framework. Within this framework we are able to integrate COTS technology specific assurance objectives using a five-step process. We also showed how these objectives can be demonstrated in a coherent way. In this paper, we show through some representative examples of emerging computing platforms that our strategy may be a way forward for new platforms insafety-critical avionics.

Nyckelord

safety-critical avionics, assurance strategy, assurance case, COTS assurance, overarching properties, computing platforms

Referenser

Inga referenser tillgängliga

Citeringar i Crossref