Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1570329> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Q1570329 subject Q14324087.
- Q1570329 subject Q6441782.
- Q1570329 subject Q7454773.
- Q1570329 subject Q8625184.
- Q1570329 subject Q8635948.
- Q1570329 abstract "Template:Infobox OSPikeOS is a microkernel-based real-time operating system made by SYSGO AG. It is targeted at safety and security critical embedded systems. It provides a partitioned environment for multiple operating systems with different design goals, safety requirements, or security requirements to coexist in a single machine.If several programs having different criticality levels are to coexist in one machine, the underlying OS must ensure that they remain independent. Resource partitioning is a widely accepted technique to achieve this. PikeOS combines resource partitioning and virtualisation: Its virtual machine environments (VMs) are able to host entire operating systems, along with their applications. Since PikeOS uses paravirtualisation, operating systems need to be adapted in order to run in one of its VMs. Application programs, however, can run unmodified. Additionally PikeOS supports hardware assisted virtualization,on CPUs such as ARM-VE, ARM TrustZone, Intel VT or Freescale QorIQ ensure high performance with minimal changes to guest operating systems. Since each VM has its own, separate set of resources, programs hosted by one VM are independent of those hosted by another. This allows for legacy (e.g. Linux) programs to coexist with safety-critical programs in one machine. Unlike other popular virtualisation systems, PikeOS features not only separation of spatial resources, but also strictly separates temporal resources of its client OSes. This allows for hard real-time systems to be virtualised, while still retaining their timing properties. The PikeOS scheduling method is patented.Spatial and temporal resources are assigned statically to the individual VMs by the PikeOS System Software. Together with the PikeOS microkernel, this system software forms a minimal layer of globally trusted code.Due to the small amount of trusted code and the modular design PikeOS is suited for safety-critical projects requiring certification according to industrial standards. Known examples are the development of the Airbus A350 Integrated Modular Avionics devices and the Airbus A400M loadmaster workstation.".
- Q1570329 developer Q7395275.
- Q1570329 latestReleaseVersion "4.0".
- Q1570329 thumbnail PikeOS_Architecture.svg?width=300.
- Q1570329 wikiPageExternalLink www.sysgo.com.
- Q1570329 wikiPageExternalLink pikeos-rtos-and-virtualization-concept.
- Q1570329 wikiPageWikiLink Q1060017.
- Q1570329 wikiPageWikiLink Q1123036.
- Q1570329 wikiPageWikiLink Q1137075.
- Q1570329 wikiPageWikiLink Q1205020.
- Q1570329 wikiPageWikiLink Q1333845.
- Q1570329 wikiPageWikiLink Q14324087.
- Q1570329 wikiPageWikiLink Q14658.
- Q1570329 wikiPageWikiLink Q154755.
- Q1570329 wikiPageWikiLink Q1600588.
- Q1570329 wikiPageWikiLink Q165194.
- Q1570329 wikiPageWikiLink Q1665437.
- Q1570329 wikiPageWikiLink Q16799505.
- Q1570329 wikiPageWikiLink Q16980.
- Q1570329 wikiPageWikiLink Q17118861.
- Q1570329 wikiPageWikiLink Q178677.
- Q1570329 wikiPageWikiLink Q182933.
- Q1570329 wikiPageWikiLink Q192726.
- Q1570329 wikiPageWikiLink Q193040.
- Q1570329 wikiPageWikiLink Q209860.
- Q1570329 wikiPageWikiLink Q213666.
- Q1570329 wikiPageWikiLink Q251.
- Q1570329 wikiPageWikiLink Q273190.
- Q1570329 wikiPageWikiLink Q296667.
- Q1570329 wikiPageWikiLink Q300113.
- Q1570329 wikiPageWikiLink Q388.
- Q1570329 wikiPageWikiLink Q518020.
- Q1570329 wikiPageWikiLink Q527464.
- Q1570329 wikiPageWikiLink Q5492632.
- Q1570329 wikiPageWikiLink Q555032.
- Q1570329 wikiPageWikiLink Q595445.
- Q1570329 wikiPageWikiLink Q6441782.
- Q1570329 wikiPageWikiLink Q6484.
- Q1570329 wikiPageWikiLink Q6496.
- Q1570329 wikiPageWikiLink Q726378.
- Q1570329 wikiPageWikiLink Q7395275.
- Q1570329 wikiPageWikiLink Q7454773.
- Q1570329 wikiPageWikiLink Q8625184.
- Q1570329 wikiPageWikiLink Q8635948.
- Q1570329 wikiPageWikiLink Q906182.
- Q1570329 wikiPageWikiLink Q94.
- Q1570329 developer "SYSGO AG".
- Q1570329 latestReleaseVersion "4".
- Q1570329 name "PikeOS".
- Q1570329 website pikeos-rtos-and-virtualization-concept.
- Q1570329 type CreativeWork.
- Q1570329 type Software.
- Q1570329 type Work.
- Q1570329 type Thing.
- Q1570329 type Q386724.
- Q1570329 type Q7397.
- Q1570329 comment "Template:Infobox OSPikeOS is a microkernel-based real-time operating system made by SYSGO AG. It is targeted at safety and security critical embedded systems. It provides a partitioned environment for multiple operating systems with different design goals, safety requirements, or security requirements to coexist in a single machine.If several programs having different criticality levels are to coexist in one machine, the underlying OS must ensure that they remain independent.".
- Q1570329 label "PikeOS".
- Q1570329 depiction PikeOS_Architecture.svg.
- Q1570329 homepage pikeos-rtos-and-virtualization-concept.
- Q1570329 name "PikeOS".