mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Assurance Strategy for New Computing Platforms in Safety-Critical Avionics
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Technische Hochschule Ingolstadt, Germany.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0904-3712
2019 (English)In: Aerospace Technology Congress 2019 FT2019, Stockholm, Sweden, 2019, p. 137-144Conference paper, Published paper (Refereed)
Abstract [en]

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 already being introduced and successfully used in other domains. Good examples are heterogeneous platforms, hardware-based machine learning and approximate computing. Current avionics certification guidance material cannot cope with 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. We introduce a novel assurance cased-based OP approach in [1] and refine the work into a framework in [2]. Within this framework we are able to integrate COTS technology specific assurance objectives using a five-step process. In this paper, we show through some representative examples of emerging computing platforms that our strategy is a way forward for new platforms in safety-critical avionics.

Place, publisher, year, edition, pages
Stockholm, Sweden, 2019. p. 137-144
Keywords [en]
safety-critical avionics, assurance strategy, assurance case, COTS assurance, Overarching Properties, computing platforms
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-45942DOI: 10.3384/ecp19162015ISBN: 978-91-7519-006-8 (print)OAI: oai:DiVA.org:mdh-45942DiVA, id: diva2:1370803
Conference
Aerospace Technology Congress 2019 FT2019, 08 Oct 2019, Stockholm, Sweden
Projects
DPAC - Dependable Platforms for Autonomous systems and ControlAvailable from: 2019-11-18 Created: 2019-11-18 Last updated: 2019-11-18Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Forsberg, HåkanLundqvist, Kristina

Search in DiVA

By author/editor
Forsberg, HåkanLundqvist, Kristina
By organisation
Embedded Systems
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf