Grooming of D4.3.1 - Githubissues

MarcBehrens commented 8 years ago

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 commented 8 years ago

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

MarcBehrens commented 8 years ago

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

openETCS / validation