Teaching

Space Software (MSc/BSc elective)

Space Technologies, Applications and SeRvices - STAR Master Program and Dept. of Aerospace, University of Athens.

This course discusses software engineering foundations tailored for space software. For students: UoA eclass

  • Requirements and Specifications

    Requirements elicitation and Analysis; Validation, Specification and Goal modelling; Space Software Standards

  • Formal Verification

    Engineering dependable systems; From requirements and specifications to formal guarantees; Actionable techniques and technologies

  • Real-Time Operating Systems

    Timing requirements; Scheduling and synchronization primitives; RTEMS & FreeRTOS

  • Space Upstream

    Flight Software & compute stack; From embedded to CCSDS Mission Operation Services; Space Software Frameworks

  • Software Design & Software Architecture

    Design techniques; Architecture layers, styles & representations

  • Software Testing

    Failures, Faults & Errors; White-box Testing; Testing Coverage & Criteria; Black-box Testing

  • Space Downstream

    Ground “Data” Systems; Primer on Distributed and Service-based Systems; Web Services and the Cloud for the New Space Downstream; The IoT-Cloud Continuum

Operating Systems (BSc)

This course discusses fundamentals of operating systems, with a focus on aerospace, embedded and real-time applications (Dept. of Aerospace, UoA). For students: UoA eclass
  • Processes and Scheduling
  • Memory and Segmentation
  • Concurrency and threading
  • Filesystems and I/O

Theses - In progress

  • Space-Age DevOps: Kubernetes On-board
  • Interfacing Robot Control with the F’ Flight Software Framework
  • Critical Software Testing with MC/DC in Practice
  • Applying Unit Testing on Flight Software
  • Telemetry for Environmental Monitoring using F'
  • Software EDAC for Mitigating Radiation Effects
  • Integration Testing for ERMIS3 Flight Software
  • Optimizing ASN.1 Processing Using ASN1SCC

Required background for thesis projects: exceptional capabilities in programming as well as excellent grades on respective courses.

Completed Theses

G. Kokkotas. "Interfacing and Quantitative Analysis of Serial Communication Protocols in F’", 2025.

P. Kolios. "From Flight Software Development Process and Product Metrics to Continuous Integration for the ESA ERMIS Nanosatellite Mission", 2025.

I. Kasiotakis. "Integration of the ICER Compression Algorithm in the F′ Flight Software Framework", 2023.

A. Motsios. "SAT Solving as a Component for the F’ Flight Software Framework", 2023.