News

Related Works

Commercial projects

  • LynxOS : OS that conforms to the ARINC653 specification
  • VxWorks : OS that conforms to the ARINC653 specification
  • PikeOS : OS that deals with the MILS security model

OpenSource projects

  • RTEMS : an open source operating system, minimal. The main drawback is that it does not provide any mecanism for space and time isolation.
  • Topcased
  • Osate

AADL model-checking

  • Schedulability with Cheddar
  • Security analysis with the OSATE plugin (uses the user-defined SEI::Security_Level property of AADL)

Articles

AADL code generation

  • ARC
  • PolyORB-HI (Ada and C version)
 
relatedwork.txt · Last modified: 2012/05/10 16:11 by julien