Main

Links

  • OCRA tool for the verification of contract refinement and reuse.
  • CHESS Model-driven Component Based methodology for high integrity software development.
  • COrDeT-2 ESA study related to the On-Board Software Reference Architecture.