Projects

Research projects the Space Software Group leads or contributes to.

** Mission Control Systems and Software Assurance ** The ERMIS mission consists of a constellation â¦

Verification for Space Software Architectures

University of Bern

Software model checking flight software

Hellenic Foundation for Research & Innovation

Increased operational requirements assurance for contemporary IoT systems