Master’s in Model-Based Design Engineering
Online master's programme of 1,900 hours in Model-Based Design engineering, structured in 12 modules covering model-based development, physical plant modelling, control algorithm design, requirements and traceability, model verification, automatic code generation, in-the-loop testing, functional safety and certification, continuous integration and system architecture, with an assigned technical tutor.
Take the controls.
Run a real engineering trade-off from this programme. Move the sliders, watch the model react in real time and beat the challenge.
What you will be able to do
Apply the model-based development workflow.
Model multi-domain physical plants.
Design control algorithms and mode logic.
Manage requirements and traceability in models.
Verify models with testing and formal analysis.
Generate embedded code automatically.
Validate software with MIL, SIL, PIL and HIL testing.
Who it's for
- Model-Based Design engineers looking to master the full workflow.
- Embedded software developers moving to automatic code generation.
- Verification and validation engineers working with simulation-based testing.
- Control engineers designing algorithms in Simulink and Stateflow.
- HIL specialists building and automating real-time test benches.
- Functional safety engineers applying ISO 26262 or DO-331 to models.
- Engineering or science graduates seeking to enter the automotive sector.
What you'll work with
- ISO 26262-6:2018 (road vehicle functional safety — software level)
- IEC 61508-3:2010 (functional safety — software requirements)
- RTCA DO-331 (model-based development supplement to DO-178C)
- RTCA DO-178C (software considerations in airborne systems)
- MISRA C:2012 (guidelines for C in critical systems)
- AUTOSAR Classic Platform (automotive software architecture)
- IEC 61131-3:2013 (PLC programming languages)
- MAB Modeling Guidelines (MathWorks Advisory Board modelling guidelines)
- MATLAB/Simulink
- Stateflow
- Embedded Coder
- Simulink Test
- dSPACE SCALEXIO
12 modules · 1900 h
1.1. From hand coding to Model-Based Design1.2. The V cycle and Model-Based Design1.3. Executable models as specifications1.4. Benefits in quality and time1.5. Cases in automotive and aerospace1.6. The MathWorks workflow1.7. Alternative tools: Scilab and Modelica1.8. Roles in development teams1.9. Organisational maturity1.10. Case study: analysis of a development workflow
2.1. Modelling mechanical systems2.2. Electrical and motor modelling2.3. Hydraulic and pneumatic modelling2.4. Thermal modelling of components2.5. Simscape and acausal modelling2.6. Parameterisation with catalogue data2.7. Parameter identification2.8. Validation of plant models2.9. Models of different fidelity2.10. Lab: DC motor model in Simscape
3.1. Controller design in Simulink3.2. Tuning with control tools3.3. State machines with Stateflow3.4. Mode and supervisory logic3.5. Digital filter design3.6. Estimation algorithms3.7. Data types and scaling3.8. Fixed-point modelling3.9. Model architecture with model references3.10. Practical exercise: speed control with Stateflow
4.1. Requirements management in models4.2. Using Requirements Toolbox4.3. Links between requirements and blocks4.4. Test specification from requirements4.5. Requirements coverage analysis4.6. Formal and temporal requirements4.7. Change management4.8. Integration with ALM tools4.9. Traceability reports4.10. Workshop: requirement-model-test traceability
5.1. Simulation with test cases5.2. Simulink Test and test harnesses5.3. MC/DC model coverage5.4. Formal verification with Design Verifier5.5. Checking MAB guidelines5.6. MISRA modelling guidelines5.7. Static model analysis5.8. Back-to-back model-code testing5.9. Automated regression testing5.10. Lab: test harness with coverage
6.1. Embedded Coder and configuration6.2. C code for microcontrollers6.3. Generation for PLCs with IEC 61131-36.4. HDL generation for FPGAs6.5. Optimising the generated code6.6. Interfacing with hand-written code6.7. Task partitioning6.8. MISRA C compliance6.9. Verification of the generated code6.10. Practical exercise: code generation for a microcontroller
7.1. Model-in-the-loop (MIL) testing7.2. Software-in-the-loop (SIL) testing7.3. Processor-in-the-loop (PIL) testing7.4. Hardware-in-the-loop (HIL) testing7.5. Speedgoat and dSPACE platforms7.6. Real-time plant models7.7. Fault injection in HIL7.8. HIL test automation7.9. Test bench management7.10. Case study: HIL bench for an inverter
8.1. ISO 26262 and model-based development8.2. IEC 61508 and qualified tools8.3. DO-178C and DO-3318.4. Tool qualification8.5. IEC Certification Kit8.6. Evidence for certification8.7. Safety analysis on models8.8. Partitioning of critical software8.9. Process audits8.10. Practical exercise: tool qualification plan
9.1. Model version control9.2. Model comparison and merging9.3. Continuous integration with Jenkins9.4. Automated testing on the server9.5. Block library management9.6. Software architecture with AUTOSAR9.7. Software deployment9.8. Model quality metrics9.9. DevOps for embedded systems9.10. Workshop: continuous integration pipeline for models
10.1. Electric motor control10.2. Battery management systems (BMS)10.3. Power converters10.4. Braking systems10.5. Robots and machines10.6. Process automation10.7. Avionics and flight control10.8. Medical device software10.9. Control in renewable energy10.10. Case study: PMSM motor control with FOC
11.1. System architecture with System Composer11.2. Components and interfaces11.3. Product variants11.4. Large models11.5. Simulation performance11.6. Collaboration between teams11.7. Managing model suppliers11.8. Component reuse11.9. Process evolution11.10. Practical exercise: architecture with System Composer
12.1. Requirements of the embedded system12.2. Plant model12.3. Control algorithm design12.4. Verification in simulation12.5. Code generation12.6. SIL, PIL and HIL testing12.7. Quality evidence12.8. Conclusions and improvements12.9. Master's Thesis report12.10. Master's Thesis: defence before a panel
How you'll learn
Training is 100% online on the SEIUM campus, with downloadable material, recorded classes and an assigned technical tutor. There are no fixed timetables: you progress at your own pace within the intake, so it is compatible with full-time work.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is MATLAB/Simulink, Stateflow, Embedded Coder, Simulink Test and dSPACE SCALEXIO, in free, academic or evaluation versions. Exercises are based on real procedures for controller design in Simulink, embedded code generation and HIL in-the-loop testing. Assessment is continuous by module, plus the final Master's Thesis.
Standards covered: ISO 26262-6:2018, IEC 61508-3:2010, RTCA DO-331, RTCA DO-178C, MISRA C:2012, AUTOSAR Classic Platform, IEC 61131-3:2013, MAB Modeling Guidelines.
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
- A university degree in engineering, science or architecture, or equivalent demonstrable professional experience.
- An 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 MATLAB/Simulink, Stateflow, Embedded Coder, Simulink Test and dSPACE SCALEXIO, 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 Spare Parts and Life Cycle Management Engineering
Online master's programme of 1,900 hours in spare parts and lifecycle management engineering. 12 modules covering asset lifecycle, spare parts classification, intermittent demand forecasting, inventory models,…
Master’s in Soft Robotics Engineering
Online master's programme of 1,900 hours in soft robotics engineering. 12 modules covering soft robotics principles, materials, pneumatic and other actuators, fabrication, mechanical modelling, soft sensors,…
Master’s in Virtual Commissioning Engineering
Online master's programme of 1,900 hours in virtual commissioning engineering, structured in 12 modules covering virtual plant modelling, controller emulation, software- and hardware-in-the-loop, robot simulation, commissioning…
More in Robotics, Automation & Control
All Robotics, Automation & Control programmes → · How to apply · Fees & financing · Scholarships