Theses

Space Software (MSc/BSc elective)

(Space Technologies, Applications and SeRvices - STAR Master Program and Dept. of Aerospace, UoA.

This course discusses software engineering foundations tailored for space software; themes include:

  • 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

  • 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

For students: eclass link

Operating Systems (BSc)

Fundamentals of operating systems, with a focus on aerospace, embedded and real-time applications (Dept. of Aerospace, UoA).

For students: eclass link

diy