Projects

Research projects the Space Software Group leads or contributes to.

Software Assurance and Ground Control Systems

Swiss National Science Foundation

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