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
Integrerad modulär avionik med virtualisering
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
2013 (Swedish)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAlternative title
Integrated modular avionics with virtualization (English)
Abstract [sv]

Det finns huvudsakligen tre olika sätt att konstruera ett partitionerat system på: Federerad arkitektur, Integrerad Modulär Avionik (IMA) med ARINC 653 eller IMA med virtualisering. I den här rapporten undersöks de olika arkitekturernas egenskaper och vilka möjligheter som finns för certifiering av dem. Efter den teoretiska undersökningen har Virtualisering, och framförallt Xen, valts ut för en testimplementation och tillförlitlighetstester.

Testimplementationen består av fyra partitioner där varje partition har sin specifika uppgift att lösa. Den fjärde partitionen används för att undersöka hur Xen hanterar en partition som aggressivt nyttjar I/O, processor eller arbetsminne.

Testerna visar att Xen har en svag punkt: all I/O hanteras via en egen, speciell, partition. Denna partition saknar dessutom möjligheter att prioritera I/O från specifika partitioner. Den slutgiltiga slutsatsen av de tester som genomförts är att ett system byggt på Xen inte kan lämna samma tillförlitlighet som ett system med en federerad arkitektur eller ett system som bygger på ARINC 653.

Abstract [en]

One can basically take three different approaches when designing a partitioned avionic system: Federated Architecture, Integrated Modular Avionics (IMA) with ARINC 653 or IMA with Virtualization. This report examines the different architectural characteristics and the possibilities for certifying them. After the theoretical investigation, Virtualization and, in particular, Xen has been selected for a trial implementation and reliability tests.

The implementation consists of four partitions where each partition has its own specific task to solve. The fourth partition is used to examine how Xen handles a partition that aggressively utilizes I/O, processor or memory resources.

Tests show that Xen has a weak point: all I/O is handled through a separate and unique partition. This partition also lacks the ability of prioritizing I/O from specific partitions. The final conclusion of the tests carried out in this thesis is that a system built on Xen cannot provide the same reliability as a system with a federated architecture or a system based on ARINC 653.

Place, publisher, year, edition, pages
2013. , 60 p.
Keyword [sv]
Partitionerat system, Virtualisering, Xen, ARINC 653, DO-178C
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-98433ISRN: LIU-IDA/LITH-EX-A--13/046–SEOAI: oai:DiVA.org:liu-98433DiVA: diva2:654874
External cooperation
Saab Dynamics
Subject / course
Computer Engineering
Presentation
2013-09-18, Alan Turing, Linköpings universitet, 581 83, Linköping, 10:15 (Swedish)
Supervisors
Examiners
Available from: 2013-10-18 Created: 2013-10-08 Last updated: 2013-11-15Bibliographically approved

Open Access in DiVA

fulltext(6072 kB)180 downloads
File information
File name FULLTEXT02.pdfFile size 6072 kBChecksum SHA-512
e5b5c3f949256918b969d7dbba0191353badce5117c85c928a1ac134a6db9062ad814f4deb984366227814fb992d831cb26fa208837560d79aa65cafaf0638f3
Type fulltextMimetype application/pdf

Other links

http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98433

Search in DiVA

By author/editor
Enkvist, Clas
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 192 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 819 hits
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