Master’s in Real-Time Scheduling and Timing Analysis
Online master's programme of 1,900 hours in real-time scheduling and timing analysis (RMA/EDF, WCET, latencies): 12 modules covering fixed- and dynamic-priority scheduling, shared resources, WCET analysis, multicore platforms, RTOS, end-to-end analysis, mixed criticality and timing certification, with an assigned technical tutor.
Take the controls.
Run a real engineering trade-off from this field. Move the sliders, watch the model react in real time and beat the challenge.
What you will be able to do
Model real-time systems using task models.
Apply fixed- and dynamic-priority scheduling algorithms.
Manage shared resources without priority inversion.
Estimate worst-case execution time.
Analyse interference on multicore platforms.
Calculate end-to-end latencies.
Produce timing evidence for certification.
Who it's for
- Real-time systems engineers.
- Timing analysis engineers.
- Safety-critical embedded software engineers.
- Automotive software architects working with AUTOSAR.
- Software certification engineers dealing with DO-178C or ISO 26262 timing evidence.
- Researchers in real-time systems.
- Engineering or science graduates seeking to enter aerospace.
What you'll work with
- ARINC 653 (avionics application partitioning interface)
- RTCA DO-178C (software considerations in airborne systems)
- EASA AMC 20-193 (use of multicore processors in avionics)
- ISO 26262 (functional safety of road vehicles)
- SAE AS5506 (AADL) (Architecture Analysis and Design Language)
- IEEE 1003.1 (POSIX) (portable operating system interface)
- AUTOSAR Classic Platform (automotive software architecture)
- AbsInt aiT
- Percepio Tracealyzer
- FreeRTOS
- MAST
- Cheddar
12 modules
1.1Definition of a real-time system1.2Hard, firm and soft deadlines1.3Periodic, sporadic and aperiodic tasks1.4Task model1.5Processor utilisation1.6Determinism and predictability1.7Cyclic executives1.8Reference critical systems1.9Famous timing failures1.10Case study: task model of a flight controller
2.1Rate Monotonic2.2Deadline Monotonic2.3Liu and Layland utilisation test2.4Response time analysis2.5Critical instant2.6Tasks with arbitrary deadlines2.7Release jitter2.8Optimal priority assignment2.9Implementation on an RTOS2.10Lab: response time analysis
3.1Earliest Deadline First3.2Least Laxity First3.3Processor demand test3.4Overload and degradation3.5Aperiodic task servers3.6Constant Bandwidth Server3.7SCHED_DEADLINE in Linux3.8Comparison with fixed priorities3.9Use cases3.10Practical exercise: EDF with SCHED_DEADLINE
4.1Priority inversion4.2Priority inheritance4.3Priority ceiling protocol4.4Stack Resource Policy4.5Blocking and its analysis4.6Critical sections4.7Interrupts and latency4.8Lock-free design4.9The Mars Pathfinder case4.10Lab: priority inversion in FreeRTOS
5.1The WCET concept5.2Static analysis5.3Program flow analysis5.4Cache and pipeline modelling5.5aiT and OTAWA tools5.6Measurement-based analysis5.7Hybrid analysis5.8Probabilistic WCET5.9Design for analysability5.10Practical exercise: measurement-based WCET estimation
6.1Interference on multicore6.2Partitioned scheduling6.3Global scheduling6.4Task-to-core allocation6.5Memory and bus contention6.6Cache partitioning6.7CAST-32A and AMC 20-1936.8Hypervisors and isolation6.9Interference analysis6.10Lab: measuring interference on a multicore
7.1RTOS architecture7.2Scheduler and context switching7.3Timers7.4Interrupt management7.5FreeRTOS, Zephyr and VxWorks7.6Linux PREEMPT_RT7.7ARINC 653 partitioning7.8AUTOSAR OS7.9Latency measurement7.10Practical exercise: interrupt latency measurement
8.1Cause-effect chains8.2Data latencies8.3Inter-task communication8.4Holistic analysis8.5CAN networks and response time8.6Ethernet and TSN8.7Compositional analysis8.8Timing analysis tools8.9System timing requirements8.10Lab: end-to-end latency in an ECU
9.1Modelling with MARTE9.2AADL and timing analysis9.3SymTA/S and Chronos tools9.4Timing in AUTOSAR9.5Tracing with Tracealyzer9.6Scheduling simulation9.7Generating models from traces9.8Integration into development9.9Tool comparison9.10Practical exercise: AADL model of an embedded system
10.1Vestal's model10.2Mixed-criticality scheduling10.3Temporal partitioning10.4Guarantees per level10.5Certification in mixed criticality10.6Spatial and temporal isolation10.7Certified hypervisors10.8Cases in avionics and automotive10.9Current research10.10Workshop: designing a mixed-criticality platform
11.1Timing requirements in standards11.2DO-178C and timing analysis11.3ISO 26262 and timing11.4Timing evidence11.5Stress testing11.6Runtime monitoring11.7Overrun management11.8Documentation11.9Audits11.10Case study: timing evidence for certification
12.1System and timing requirements12.2Task model12.3WCET estimation12.4Schedulability analysis12.5Implementation on an RTOS12.6Measurements and traces12.7End-to-end analysis12.8Conclusions12.9Master's Thesis report12.10Master's Thesis: defence before a panel
How you'll learn
100% online programme on the SEIUM campus, with downloadable material, recorded lectures and an assigned technical tutor. No fixed timetables: you progress at your own pace within each intake, so it fits around your job.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is AbsInt aiT, Percepio Tracealyzer, FreeRTOS, MAST and Cheddar, in free, academic or evaluation versions. Testing is studied on real procedures: schedulability analysis, latency measurement on hardware and timing stress campaigns. Assessment is continuous by module, plus the final Master's Thesis.
Standards covered: ARINC 653, RTCA DO-178C, EASA AMC 20-193, ISO 26262, SAE AS5506 (AADL), IEEE 1003.1 (POSIX), AUTOSAR Classic Platform.
Build it end to end
Your final project follows the real engineering workflow, step by step, reviewed by your tutor.
Where this takes you
Requirements
- University degree in engineering, science or architecture, or equivalent demonstrable professional experience.
- Internet connection and a computer capable of running the programme software.
- English sufficient to read technical standards.
Ready to start?
Send your application today. Our admissions team replies within 72 hours with your study plan and funding options.
Frequently asked questions
The programme totals 1,900 hours over 12–14 months. You set your own pace within each intake, and your tutor helps you plan the workload around your job.
You work with AbsInt aiT, Percepio Tracealyzer, FreeRTOS, MAST and Cheddar, using free, academic or evaluation versions. Your tutor indicates the free alternative wherever one exists.
A SEIUM Institute diploma, awarded on passing the continuous assessment and the Master's Thesis. It is SEIUM's own qualification, not an official state degree; its recognition depends on the programme completed and the regulations of each country.
Yes. Modules passed in a course or postgraduate diploma in the same area are recognised in the higher programme. Ask about the recognition policy when you enrol.
A university degree in engineering, science or architecture (or equivalent professional experience), a computer able to run the programme software and English sufficient to read technical standards.
Start dates are set by SEIUM's faculty for each intake. Our admissions team will confirm the next available date when you apply.
Related programmes
Master’s in LPWAN IoT Engineering
Online master's programme of 1,900 hours in LPWAN IoT engineering, structured in 12 modules covering LoRa/LoRaWAN, Sigfox and ultra-narrowband, NB-IoT and LTE-M, low-power device hardware and…
Master’s in Automotive Electronics Engineering
Online master's programme of 1,900 hours in automotive electronics engineering, structured in 12 modules covering vehicle E/E architecture, automotive requirements and qualification, in-vehicle networks, AUTOSAR software,…
Master’s in Power Quality Engineering and Active Filters
Online master's programme of 1,900 hours in power quality and active filter engineering, structured in 12 modules covering harmonics, voltage dips, flicker, measurement to IEC 61000-4-30,…
More in Electronics, Embedded Systems & Telecom
All Electronics, Embedded Systems & Telecom programmes → · How to apply · Fees & financing · Scholarships