Teaching/Theses

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

Προυπόθεσεις για υποψήφιους/ες: εξοικείωση με θέματα ανάπτυξης λογισμικού και επιδόσεις στα σχετικα μαθήματα (αριστερά).

Completed Theses

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

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