Master'sRobotics, Automation & Control Applications open

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.

Duration1900 h
ModeOnline
LanguageEnglish
Start datesSet by the faculty
AwardSEIUM Institute diploma
Virtual lab · try it before you enrol

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.

SIM · LIVE ●
Learning outcomes

What you will be able to do

01

Apply the model-based development workflow.

02

Model multi-domain physical plants.

03

Design control algorithms and mode logic.

04

Manage requirements and traceability in models.

05

Verify models with testing and formal analysis.

06

Generate embedded code automatically.

07

Validate software with MIL, SIL, PIL and HIL testing.

Profile

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.
Standards & tools

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
Syllabus

12 modules · 1900 h

  1. 1.1. From hand coding to Model-Based Design
  2. 1.2. The V cycle and Model-Based Design
  3. 1.3. Executable models as specifications
  4. 1.4. Benefits in quality and time
  5. 1.5. Cases in automotive and aerospace
  6. 1.6. The MathWorks workflow
  7. 1.7. Alternative tools: Scilab and Modelica
  8. 1.8. Roles in development teams
  9. 1.9. Organisational maturity
  10. 1.10. Case study: analysis of a development workflow
  1. 2.1. Modelling mechanical systems
  2. 2.2. Electrical and motor modelling
  3. 2.3. Hydraulic and pneumatic modelling
  4. 2.4. Thermal modelling of components
  5. 2.5. Simscape and acausal modelling
  6. 2.6. Parameterisation with catalogue data
  7. 2.7. Parameter identification
  8. 2.8. Validation of plant models
  9. 2.9. Models of different fidelity
  10. 2.10. Lab: DC motor model in Simscape
  1. 3.1. Controller design in Simulink
  2. 3.2. Tuning with control tools
  3. 3.3. State machines with Stateflow
  4. 3.4. Mode and supervisory logic
  5. 3.5. Digital filter design
  6. 3.6. Estimation algorithms
  7. 3.7. Data types and scaling
  8. 3.8. Fixed-point modelling
  9. 3.9. Model architecture with model references
  10. 3.10. Practical exercise: speed control with Stateflow
  1. 4.1. Requirements management in models
  2. 4.2. Using Requirements Toolbox
  3. 4.3. Links between requirements and blocks
  4. 4.4. Test specification from requirements
  5. 4.5. Requirements coverage analysis
  6. 4.6. Formal and temporal requirements
  7. 4.7. Change management
  8. 4.8. Integration with ALM tools
  9. 4.9. Traceability reports
  10. 4.10. Workshop: requirement-model-test traceability
  1. 5.1. Simulation with test cases
  2. 5.2. Simulink Test and test harnesses
  3. 5.3. MC/DC model coverage
  4. 5.4. Formal verification with Design Verifier
  5. 5.5. Checking MAB guidelines
  6. 5.6. MISRA modelling guidelines
  7. 5.7. Static model analysis
  8. 5.8. Back-to-back model-code testing
  9. 5.9. Automated regression testing
  10. 5.10. Lab: test harness with coverage
  1. 6.1. Embedded Coder and configuration
  2. 6.2. C code for microcontrollers
  3. 6.3. Generation for PLCs with IEC 61131-3
  4. 6.4. HDL generation for FPGAs
  5. 6.5. Optimising the generated code
  6. 6.6. Interfacing with hand-written code
  7. 6.7. Task partitioning
  8. 6.8. MISRA C compliance
  9. 6.9. Verification of the generated code
  10. 6.10. Practical exercise: code generation for a microcontroller
  1. 7.1. Model-in-the-loop (MIL) testing
  2. 7.2. Software-in-the-loop (SIL) testing
  3. 7.3. Processor-in-the-loop (PIL) testing
  4. 7.4. Hardware-in-the-loop (HIL) testing
  5. 7.5. Speedgoat and dSPACE platforms
  6. 7.6. Real-time plant models
  7. 7.7. Fault injection in HIL
  8. 7.8. HIL test automation
  9. 7.9. Test bench management
  10. 7.10. Case study: HIL bench for an inverter
  1. 8.1. ISO 26262 and model-based development
  2. 8.2. IEC 61508 and qualified tools
  3. 8.3. DO-178C and DO-331
  4. 8.4. Tool qualification
  5. 8.5. IEC Certification Kit
  6. 8.6. Evidence for certification
  7. 8.7. Safety analysis on models
  8. 8.8. Partitioning of critical software
  9. 8.9. Process audits
  10. 8.10. Practical exercise: tool qualification plan
  1. 9.1. Model version control
  2. 9.2. Model comparison and merging
  3. 9.3. Continuous integration with Jenkins
  4. 9.4. Automated testing on the server
  5. 9.5. Block library management
  6. 9.6. Software architecture with AUTOSAR
  7. 9.7. Software deployment
  8. 9.8. Model quality metrics
  9. 9.9. DevOps for embedded systems
  10. 9.10. Workshop: continuous integration pipeline for models
  1. 10.1. Electric motor control
  2. 10.2. Battery management systems (BMS)
  3. 10.3. Power converters
  4. 10.4. Braking systems
  5. 10.5. Robots and machines
  6. 10.6. Process automation
  7. 10.7. Avionics and flight control
  8. 10.8. Medical device software
  9. 10.9. Control in renewable energy
  10. 10.10. Case study: PMSM motor control with FOC
  1. 11.1. System architecture with System Composer
  2. 11.2. Components and interfaces
  3. 11.3. Product variants
  4. 11.4. Large models
  5. 11.5. Simulation performance
  6. 11.6. Collaboration between teams
  7. 11.7. Managing model suppliers
  8. 11.8. Component reuse
  9. 11.9. Process evolution
  10. 11.10. Practical exercise: architecture with System Composer
  1. 12.1. Requirements of the embedded system
  2. 12.2. Plant model
  3. 12.3. Control algorithm design
  4. 12.4. Verification in simulation
  5. 12.5. Code generation
  6. 12.6. SIL, PIL and HIL testing
  7. 12.7. Quality evidence
  8. 12.8. Conclusions and improvements
  9. 12.9. Master's Thesis report
  10. 12.10. Master's Thesis: defence before a panel
Methodology, software & labs

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.

Assigned technical tutor:every module ends with a deliverable that your tutor marks individually.
Standards-based learning:guided reading of ISO 26262-6, IEC 61508-3 and RTCA DO-331 applied to real cases, not as a theoretical annex.
Industry software:MATLAB/Simulink, Stateflow, Embedded Coder, Simulink Test and dSPACE SCALEXIO, in free, academic or evaluation versions.
Master's Thesis with defence:A model-based embedded control system, from requirements to HIL validation, defended before a panel.
Flexible format:100% online, no fixed timetables, compatible with full-time work.
Capstone project

Build it end to end

Your final project follows the real engineering workflow, step by step, reviewed by your tutor.

Define requirements and plant
Specify the embedded system requirements and build the plant model.
Design the control algorithm
Develop the controller and mode logic in Simulink and Stateflow.
Verify and generate code
Verify the model in simulation and generate embedded code automatically.
Test in the loop
Run SIL, PIL and HIL tests and compile the quality evidence.
Master's Thesis
A model-based embedded control system, from requirements to HIL validation, defended before a panel.
Career opportunities

Where this takes you

Model-Based Design engineerEmbedded software developerVerification and validation engineerControl engineerHIL specialistFunctional safety engineer
Admissions & scholarships

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.

FAQ

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.

Master’s in Model-Based Design EngineeringEnrol
Scroll to Top
SEIUM – Institute of Advanced Engineering
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.