Title of proposed project: HIMoCo

1
Project proposal EUROSTARS

• Title of proposed project HI-MoCo
• Name of SME and project contact person
• AdaCore
• Romain Berrendonner berrendo_at_adacore.com
• 01.49.70.67.16
• Project idea/summary?
• A model compiler (a compiler that translates
  directly models to binary code in an integrated
  fashion)
• For high-integrity application (availability of
  a qualification kit usable in certification, eg.
  DO-178B)
• Targeted market
• Aerospace (DO-178B), Space (ECSS-E-40),
  Transportation, Automotive
• All high-integrity applications
• Partners (countries) already identified IB
  Krates (ES)
• Technological competencies/partners (countries)
  sought
• None