Grooming of D4.3.1

[MarcBehrens]

• Architecture Verification: SRS to SysML @MarcBehrens
• SCADE model verification:
  • Validation of the SCADE model done by property checking with the tool S3 based on HLL formalization (@MariellePetitDoche , Systerel) (T2 Toolchain to verify the SCADE model)
  • deriving a check on the correct use of SCADE model (basic verification)
  • Test Generation performed with RT- Tester (Jan Peleska, Uni- Bremen)
  • Test of Trackside @janWelte
  • Verificatoin baes on Subset-076 based User Story @MarcBehrens
  • Verification based on Siemens Testspecification @janWelte @MarcBehrens
  • Module Tests:
    • Check Balise Consistency @AbdelnasirMohamed
  • System Tests based on TCL: @jokaICS
• SCADE model validation:
  • Validation based on User Stories: @BaseliyosJacob @BerndHekele
  • Validation based on Amsterdam Utrecht Scenario @JakobGartner @BerndHekele
• Covering VnV documents Number 6-17 of document mapping

[jokaICS]

@MarcBehrens I don't understand this issue; what do you need from me?

[MarcBehrens]

• Consistency checks on connectors on the Architecture SysML model @FrancoisRevest
  e.g. Identifying differences between graphical (suppressed) and textual information while using safety architect