Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

PikeOS

PikeOS is a microkernel-based real-time operating system made by SYSGO AG. It is targeted at safety- and security-critical embedded systems. It… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
The PikeOS microkernel is targeted at real-time embedded systems. Its main goal is to provide a partitioned environment for… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2015
2015
PikeOS is an industrial operating system for safety and security critical applications in, for example, avionics and automotive… Expand
Is this relevant?
2015
2015
With a growing demand for complex, safety-critical features in automotive vehicles, functional safety is a key issues of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2014
Highly Cited
2014
The performance and power efficiency of multi-core processors are attractive features for safety-critical applications, as in… Expand
  • figure 1
  • figure 2
  • table II
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Electronic architectures in the aerospace domain get more and more integrated and interconnected due to functional and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2011
2011
Often, an integrated mixed-criticality system is built in an environment which provides separation functionality for available on… Expand
  • figure 1
  • figure 2
Is this relevant?
2010
2010
In the context of the Verisoft XT project functional correctness of the microkernel of PikeOS from SYSGO AG is shown at the… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2010
2010
  • Rudolf Fuchsen
  • 29th Digital Avionics Systems Conference
  • 2010
  • Corpus ID: 16461614
In modern aircrafts, more and more functions traditionally implemented as Line Replaceable Units (LRUs) will be hosted by… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe a practical method for reasoning about realistic concurrent programs Our method allows global two-state invariants… Expand
  • figure 2
  • figure 3
Is this relevant?
Review
2009
Review
2009
In this paper, we are giving an overview of the ongoing VerisoftXT Avionics project reporting on the progress of the project, and… Expand
Is this relevant?