Projects

Current Projects

• CPOT-SM: Complete Property-oriented Testing with Symbolic Methods (2019-10-01 - 2022-09-30)

Completed Projects

• ITTCPS: Implementable Testing Theories for Cyber-physical Systems
• STEVE
• openETCS: European Train Control System (ETCS) - Open Proofs - Open Source
• COMPASS: Comprehensive Modelling for Advanced Systems of Systems
• TCGen: Test Case Generator and Error Diagnostics
• E-Cab: E-enabled Cabin and Associated Logistics for Improved Passenger Services and Operational Efficiency
• KATO: Innovative Cabin Technology
• HYBRIS: Efficient Analysis of Hybrid Systems
• VICTORIA: Validation platform for Integration of standardised Components, Technologies and tools in an Open, modulaR and Improved Aircraft electronic system