News

Links

Embedded kernel

Partitioned systems

  • Homepage of John Rushby who created the MILS initiative. Many papers about partitioned systems could be found on his homepage
  • Sysgo and their ARINC653 compliant OS
  • WindRiver with an ARINC653 compliant OS
 
links.txt · Last modified: 2012/05/10 16:11 by julien