Grooming of D4.3.2

[MarcBehrens]

VnV of Implementation / Code

• What to respect when generating SCADE C- Code and integrating
• Integration Tests @BerndHekele @marcbehrens
  • detailed findings of integration tests
  • GE- Hardware Integrated inside test environment (@MarcBehrens, DLR)
  • Integration into test environment
  • Integration into embedded system @t12z
  • Integration into MEN System
• KCG integration into toolchain
• Integration Glue Code @stefan-karg
  • Configuratoin Items (According to the SCMP)
• Verification of additional hand written code (wrapper)
• Bitwalker @jensgerlach
  • generation
  • formal verificatoin with FRAMA-C
• Covering VnV documents Number 18-23 of document mapping