Projects

CaSSIS-Verif

CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions Duration: 2023 Funding: University of Bern Project partner: Prof.

FONDA

Foundations of Workflows for Large-Scale Scientific Data Analysis B3: Debugging Distributed Data Analysis Workflows Duration: 2020 - 2024 Funding: DFG Project partner: Prof.

Merge++

Turning software merge conflicts into conflict-induced variability Duration: 2023 - 2027 Funding: Swiss National Science Foundation (SNSF) Merging is an essential operation in software version control that reconciles concurrent changes to multiple working copies of a shared development artifact.

RUNVERSPACE

Runtime Verification for Space Software Architectures Duration: 2024 - 2025 Funding: Swiss National Science Foundation (SNSF) Recent technological advances have led to powerful and cost-effective on-board computers running software built with open frameworks targeting small-scale missions such as CubeSats and Unmanned Aerial Vehicles.