Postgraduate Diploma in Validation/Verification of Safety
Online 800-hour Postgraduate Diploma in Validation/Verification of Safety. 8 modules covering IEC 61508-3, ISO 26262 and MathWorks Polyspace. Assigned tutor and enrolment open.
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
Plan safety verification and validation activities.
Verify the quality and traceability of requirements.
Apply static analysis and testing with MC/DC coverage.
Verify hardware diagnostics through fault injection.
Execute integration tests in MIL, SIL and HIL environments.
Validate the system against its safety case.
Manage and audit V&V evidence.
Who it's for
- Verification and validation engineer looking to specialise in Validation/Verification of Safety.
- Critical software test engineer looking to specialise in Validation/Verification of Safety.
- Functional safety engineer looking to specialise in Validation/Verification of Safety.
- Independent assessor looking to specialise in Validation/Verification of Safety.
- HIL engineer looking to specialise in Validation/Verification of Safety.
- Software quality manager looking to specialise in Validation/Verification of Safety.
- Graduates in engineering or science seeking to enter the automotive sector.
What you'll work with
- IEC 61508-3
- ISO 26262
- IEC 61508-2
- EN 50716
- IEC 61511-1
- ISO 13849-2
- DO-178C
- MISRA C:2012
8 modules · 800 h
1.1Difference between verification and validation1.2V-model and its variants1.3V&V requirements in IEC 615081.4V&V in ISO 26262 and EN 507161.5Independence of verification1.6Verification and validation plan1.7Entry and exit criteria1.8Non-conformity management1.9Evidence for the safety case1.10Practical case: V&V plan for a controller
2.1Quality of safety requirements2.2Formal reviews and inspections2.3Bidirectional traceability2.4Verifiable and measurable requirements2.5Completeness and consistency analysis2.6Requirements modelling2.7Requirements management tools2.8Verification of derived requirements2.9Changes and impact analysis2.10Workshop: inspection of a requirements document
3.1Static analysis and MISRA C rules3.2Abstract interpretation with Polyspace3.3Unit testing and instrumentation3.4Statement, decision and MC/DC coverage3.5Requirements-based testing3.6Software integration testing3.7Timing and stack analysis3.8Tool qualification3.9Formal methods and model checking3.10Laboratory: MC/DC coverage measurement
4.1FMEDA analysis and hardware metrics4.2Hardware fault injection4.3Verification of diagnostics4.4Environmental and EMC testing4.5Reliability and accelerated testing4.6Verification of programmable components4.7Schematic and design review4.8Common cause failure analysis4.9Hardware evidence for certification4.10Practice: fault injection campaign
5.1Incremental integration strategies5.2Model-in-the-loop simulation5.3Software- and processor-in-the-loop5.4Hardware-in-the-loop5.5Interface and communications testing5.6Robustness and edge-case testing5.7Fault reaction testing5.8Test automation5.9Regression and version management5.10Laboratory: HIL bench for a safety function
6.1Validation against the safety case6.2Validation in the operational environment6.3Factory and site acceptance testing6.4Validation according to ISO 13849-26.5Validation of SIS functions under IEC 615116.6Scenario validation in automotive6.7Field evidence and proven-in-use6.8Functional safety assessment6.9Validation report6.10Practical case: FAT of a safety system
7.1V&V process metrics7.2Configuration management of evidence7.3Qualification of test tools7.4Process audits7.5Interaction with external assessors7.6Defect management and root cause7.7V&V process improvement7.8Costs and planning7.9Ethics and professional responsibility7.10Practice: audit of V&V evidence
8.1Safety system and requirements8.2Verification and validation plan8.3Requirements verification8.4Software testing and coverage8.5HIL integration testing8.6Validation and acceptance criteria8.7Evidence report8.8Conclusions and residual risks8.9Written report and presentation8.10Final 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 timetable: students progress at their own pace within the intake, which makes it possible to combine with work.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is MathWorks Polyspace, VectorCAST, LDRA Testbed, Parasoft C/C++test, dSPACE SCALEXIO, in free, academic or evaluation versions. Tests are studied using real procedures for MC/DC coverage testing, fault injection campaigns and HIL testing of safety functions. Assessment is continuous, module by module, plus the final integrating project.
Build it end to end
Your final project follows the real engineering workflow, step by step, reviewed by your tutor.
Plan safety verification and validation activities.
Verify the quality and traceability of requirements.
Apply static analysis and testing with MC/DC coverage.
Verify hardware diagnostics through fault injection.
Execute integration tests in MIL, SIL and HIL environments.
Where this takes you
Requirements
- Prior technical training or professional experience in the sector. A university degree is not required.
- Internet connection and a computer capable of running the programme’s software.
- Sufficient level of Spanish to follow technical standards documentation.
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 consists of 800 hours in total, spread over 6 to 8 months. That is between 10 and 15 hours a week on average, compatible with a full-time job.
You work with MathWorks Polyspace, VectorCAST, LDRA Testbed, Parasoft C/C++test, dSPACE SCALEXIO. Free, academic or evaluation versions are used, and the tutor indicates the free alternative where one exists.
An own SEIUM diploma upon passing the continuous assessment and the integrating project. It is in-house training, not an official title from the Ministry.
Yes. Modules passed in a course or diploma in the same area are credited towards the advanced programme. Check the recognition policy when you enrol.
Related programmes
Postgraduate Diploma in Energy Optimisation and Duty-Cycle
Online 800-hour Postgraduate Diploma in energy optimisation and duty-cycle. 8 modules with EEMBC ULPMark, IEC 60086-4 and Nordic Power Profiler Kit II. Assigned tutor and open…
Diploma in Applied Cryptography and Anti-rollback
Online postgraduate diploma of 800 hours in applied cryptography and anti-rollback. 8 modules covering cryptographic primitives, embedded cryptography, key management and PKI, firmware signing, anti-rollback protection,…
Diploma in AXI/DMA Buses and Heterogeneous Platforms
Online postgraduate diploma of 800 hours in AXI/DMA Buses and Heterogeneous Platforms: 8 modules covering heterogeneous SoC architecture, AMBA AXI protocols, interconnect and IP design, DMA…
More in Electronics, Embedded Systems & Telecom
All Electronics, Embedded Systems & Telecom programmes → · How to apply · Fees & financing · Scholarships