Diploma in Partitioning and Insulation type ARINC-653
Online postgraduate diploma of 800 hours in ARINC 653-type partitioning and isolation. 8 modules covering integrated modular avionics, the ARINC 653 standard, spatial and temporal partitioning, inter-partition communication and health monitoring, partitioned RTOS and hypervisors and certification with ARINC 653, RTCA DO-297 and RTCA DO-178C, 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
Explain the principles of integrated modular avionics.
Apply the APEX services of the ARINC 653 standard.
Configure spatial isolation of memory and devices.
Design temporal schedules with major frames and windows.
Implement inter-partition communication and health management.
Compare partitioned operating systems and hypervisors.
Prepare certification evidence for partitioned platforms.
Who it's for
- Avionics software engineers developing APEX applications.
- IMA systems integrators combining applications from several suppliers.
- DO-178C certification engineers working on partitioned platforms.
- Partitioned platform architects.
- Real-time operating system engineers.
- Space software engineers working with XtratuM or separation kernels.
- Engineering or science graduates looking to enter the aerospace sector.
What you'll work with
- ARINC 653 Part 1 (Required Services) (avionics application software standard interface)
- RTCA DO-297 (integrated modular avionics development and certification)
- RTCA DO-178C (airborne software certification)
- EASA AMC 20-193 (use of multicore processors)
- ARINC 664 Part 7 (AFDX) (avionics full-duplex switched Ethernet)
- RTCA DO-254 (airborne electronic hardware assurance)
- EUROCAE ED-12C (European equivalent of DO-178C)
- Wind River VxWorks 653
- SYSGO PikeOS
- LynxOS-178
- XtratuM
- DDC-I Deos
8 modules
1.1From federated avionics to IMA1.2DO-297 concepts: platform and applications1.3Shared resources and partitions1.4Roles of platform supplier and integrator1.5IMA examples in the A380, A350 and B7871.6AFDX network according to ARINC 6641.7Cabinets and computing modules1.8Benefits in weight, volume and maintenance1.9Risks of common-mode failures1.10Case study: IMA architecture of a regional aircraft
2.1Structure of the standard and its parts2.2Required APEX services2.3Partitions, processes and modes2.4XML system configuration2.5Major schedule table and frames2.6Health Monitor and error levels2.7Sampling and queuing ports2.8Time management and deadlines2.9Profiles and optional extensions2.10Lab: APEX application in a partition
3.1MMU and MPU for memory isolation3.2Memory maps per partition3.3I/O and device protection3.4IOMMU and secure DMA3.5Caches and spatial partitioning3.6Stacks, heaps and static resources3.7Detection of access violations3.8Verification of spatial isolation3.9Covert channel analysis3.10Practical exercise: MPU regions per partition
4.1Major frame and time windows4.2Process scheduling within the partition4.3Budgets and switching times4.4Interrupts and their impact on isolation4.5Jitter between windows4.6Temporal partitioning on multicore4.7I/O scheduling4.8WCET analysis per partition4.9Windows for applications of different DAL4.10Workshop: designing the major frame of an IMA system
5.1Intra- and inter-partition channels5.2Sampling versus queuing semantics5.3Buffers, blackboards and semaphores5.4Communication with AFDX networks5.5Health Monitor: tables and actions5.6Partition and system recovery5.7Event logging and maintenance5.8Message validation and data freshness5.9Application design patterns5.10Lab: channels and Health Monitor in PikeOS
6.1VxWorks 653 and its architecture6.2PikeOS and paravirtualisation6.3LynxOS-178 and Deos6.4XtratuM for space6.5Separation kernels and MILS6.6Hypervisors in automotive6.7Porting legacy applications6.8Comparison of commercial platforms6.9Available certification packages6.10Practical exercise: porting an application to XtratuM
7.1Incremental acceptance according to DO-2977.2DO-178C objectives for the RTOS7.3AMC 20-193 interference requirements7.4Partitioning robustness analysis7.5Evidence of spatial and temporal isolation7.6Configuration as certifiable data7.7Qualification of configuration tools7.8Integration of applications from different suppliers7.9Change management on an IMA platform7.10Case study: certification plan for an IMA module
8.1Definition of applications and DAL8.2Spatial partitioning design8.3Major frame design8.4Communications configuration8.5Health Monitor and recovery8.6Implementation on a hypervisor8.7Robustness testing8.8Certification dossier8.9Report and presentation8.10Final project: final review with the tutor
How you'll learn
100% online training on the SEIUM campus, with downloadable material, recorded classes and an assigned technical tutor. No fixed timetables: you progress at your own pace within the intake, so it can be combined with work.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is Wind River VxWorks 653, SYSGO PikeOS, LynxOS-178, XtratuM and DDC-I Deos, in free, academic or evaluation versions. Testing is studied on real procedures: partition configuration on hypervisors, isolation robustness testing and design of schedule tables. Assessment is continuous by module plus the final project.
Standards covered: ARINC 653 Part 1 (Required Services), RTCA DO-297, RTCA DO-178C, EASA AMC 20-193, ARINC 664 Part 7 (AFDX), RTCA DO-254, EUROCAE ED-12C.
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
- Prior technical training or professional experience in the sector. No university degree is required.
- Internet connection and a computer able to run 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 800 hours over 6–8 months. You set your own pace within each intake, and your tutor helps you plan the workload around your job.
You work with Wind River VxWorks 653, SYSGO PikeOS, LynxOS-178, XtratuM and DDC-I Deos, 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 final project. 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 are recognised in a higher programme in the same area (postgraduate diploma or master's). Ask about the recognition policy when you enrol.
Prior technical training or professional experience in the sector (no university degree required), a computer able to run the 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
Diploma in Deterministic Design and Ultra-Low Latency
Online postgraduate diploma of 800 hours in Deterministic Design and Ultra-Low Latency: 8 modules covering sources of latency and non-determinism, deterministic hardware architecture, low-latency operating systems…
Postgraduate Diploma in PdM Deployment and ROI in the Factory
800-hour online Postgraduate Diploma in PdM Deployment and ROI in the Factory. 8 modules covering ISO 55001, EN 13306 and MATLAB Predictive Maintenance Toolbox. Dedicated tutor…
Postgraduate Diploma in NMEA 2000, IP67/69K and Corrosion
Online Postgraduate Diploma of 800 hours in NMEA 2000, IP67/69K and Corrosion. 8 modules covering IEC 61162-3 (NMEA 2000), IEC 60529:1989+A2:2013 and Actisense NMEA Reader. Assigned…
More in Electronics, Embedded Systems & Telecom
All Electronics, Embedded Systems & Telecom programmes → · How to apply · Fees & financing · Scholarships