mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Assurance Strategy for New Computing Platforms in Safety-Critical Avionics
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
Technische Hochschule Ingolstadt, Germany.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-0904-3712
2019 (engelsk)Inngår i: Aerospace Technology Congress 2019 FT2019, Stockholm, Sweden, 2019, s. 137-144Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Stockholm, Sweden, 2019. s. 137-144
Emneord [en]
safety-critical avionics, assurance strategy, assurance case, COTS assurance, Overarching Properties, computing platforms
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-45942DOI: 10.3384/ecp19162015ISBN: 978-91-7519-006-8 (tryckt)OAI: oai:DiVA.org:mdh-45942DiVA, id: diva2:1370803
Konferanse
Aerospace Technology Congress 2019 FT2019, 08 Oct 2019, Stockholm, Sweden
Prosjekter
DPAC - Dependable Platforms for Autonomous systems and ControlTilgjengelig fra: 2019-11-18 Laget: 2019-11-18 Sist oppdatert: 2019-11-18bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Forsberg, HåkanLundqvist, Kristina

Søk i DiVA

Av forfatter/redaktør
Forsberg, HåkanLundqvist, Kristina
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 16 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf