Sökning: onr:"swepub:oai:DiVA.org:mdh-45942" >
Assurance Strategy ...
Assurance Strategy for New Computing Platforms in Safety-Critical Avionics
-
- Forsberg, Håkan (författare)
- Mälardalens högskola,Inbyggda system
-
- Schwierz, Andreas (författare)
- Technische Hochschule Ingolstadt, Germany
-
- Lundqvist, Kristina (författare)
- Mälardalens högskola,Inbyggda system
-
(creator_code:org_t)
- Stockholm, Sweden : Linköping University Electronic Press, 2019
- 2019
- Engelska.
-
Ingår i: Aerospace Technology Congress 2019 FT2019. - Stockholm, Sweden : Linköping University Electronic Press. - 9789175190068 ; , s. 137-144
- Relaterad länk:
-
https://doi.org/10.3...
-
visa fler...
-
http://www.ep.liu.se...
-
https://urn.kb.se/re...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- safety-critical avionics
- assurance strategy
- assurance case
- COTS assurance
- Overarching Properties
- computing platforms
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas