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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2009-2017
02420092017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This paper presents a case study in the design and implementation of OS-level support for low-criticality tasks with stringent… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2014
2014
Virtualization has become of increasing importance for the security of embedded systems during the last years. One of the major… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Virtualization has become one of the most important security enhancing techniques for embedded systems during the last years… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2012
2012
Electronic architectures in the aerospace domain get more and more integrated and interconnected due to functional and… (More)
  • 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… (More)
  • 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… (More)
  • figure 1
  • figure 2
  • figure 3
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… (More)
  • figure 2
  • figure 3
Is this relevant?
2010
2010
The main goal of the Verisoft XT project is the creation of methods and tools which allow for the pervasive formal verification… (More)
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… (More)
Is this relevant?