Diploma in Model-Based V&V and Requirements Management
Online postgraduate diploma of 800 hours in model-based V&V and requirements management. 8 modules covering requirements engineering, traceability, system verification and validation, executable models, model-based testing and formal methods with ISO/IEC/IEEE 29148, SAE ARP4754B and IBM DOORS Next, with an assigned technical tutor.
Diploma in Model-Based V&V and Requirements Management — studying from the United Kingdom
The United Kingdom has one of the world's most established aerospace sectors, anchored by clusters in Bristol, Filton, Derby, Hampshire and Scotland's Glasgow corridor. Major manufacturers and suppliers such as Rolls-Royce, BAE Systems, Airbus UK and GKN Aerospace drive demand for engineers in design, propulsion, structures and systems integration. Urban air mobility, electric vertical take-off and landing aircraft, and commercial drones are emerging alongside, supported by government programmes and test corridors. Space engineering is growing through launch and satellite activity around the UK spaceports and Harwell. Graduates with aerospace expertise find roles across manufacturing, certification and research.
Fees for the United Kingdom: £1,250 (Pound sterling), with instalments and employer sponsorship available.
Relevant bodies in the United Kingdom
Typical roles
Questions from the United Kingdom
Which professional bodies in the UK recognise aerospace engineering qualifications, and does SEIUM's qualification give me chartered status?
In the UK, the Royal Aeronautical Society (RAeS) is the main professional body for aerospace engineers and can award Chartered Engineer status through the Engineering Council. SEIUM's qualifications are private and are not accredited by the Engineering Council or RAeS, so they do not confer chartered status on their own. Recognition is decided by employers and the relevant body, so check directly with RAeS whether your study and experience will count towards registration.
Will a private online aerospace qualification help me find work with UK aerospace or drone employers?
UK aerospace, drone and space employers, including many working on civil aviation, defence and space projects, generally judge candidates on demonstrated skills, portfolio work and experience. A private qualification may support your application, but its value depends on each employer's own assessment. It is worth asking prospective employers how they view such qualifications before you enrol.
Can I study this programme alongside a full-time job in the UK, and what language level is needed?
Yes, programmes are delivered fully online, so you can study from home without a student visa, wherever you are based. Workload varies by programme length, and you will have an assigned technical tutor for support. Teaching is in English, so you should be comfortable reading and writing technical English. Check the programme schedule and time commitment against your working hours before enrolling.
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
Write high-quality requirements according to ISO/IEC/IEEE 29148.
Manage traceability and change impact.
Plan verification and validation at system level.
Verify executable models against requirements.
Design model-based tests at MIL, SIL and HIL levels.
Apply formal methods to verify properties.
Measure the quality and coverage of the V&V process.
Who it's for
- Requirements engineers moving into model-based development.
- Verification and validation engineers.
- HIL test engineers.
- Formal methods analysts.
- Engineering quality managers.
- Systems engineers.
- Engineering or science graduates looking to enter the aerospace sector.
What you'll work with
- ISO/IEC/IEEE 29148 (requirements engineering)
- SAE ARP4754B (development of civil aircraft and systems)
- RTCA DO-331 (model-based development and verification)
- ECSS-E-ST-10-02C (space engineering verification)
- ECSS-E-ST-10-06C (space technical requirements specification)
- IEEE 1012 (system, software and hardware verification and validation)
- RTCA DO-333 (formal methods supplement)
- ISO/IEC/IEEE 15288 (system life cycle processes)
- IBM DOORS Next
- Jama Connect
- Simulink Test
- Simulink Design Verifier
- Polarion ALM
8 modules
1.1Stakeholders and needs1.2Types of requirements1.3Quality characteristics according to ISO 291481.4EARS writing patterns1.5Functional and performance requirements1.6Interfaces and constraints1.7Ambiguity and verifiability1.8Derived requirements1.9Requirements validation1.10Workshop: rewriting requirements with EARS
2.1Requirements databases2.2Attributes and states2.3Vertical and horizontal traceability2.4Change impact analysis2.5Baselines2.6Configuration management2.7Volatility metrics2.8Exchange with suppliers using ReqIF2.9Formal reviews2.10Practical exercise: impact analysis in DOORS Next
3.1V&V in ARP4754B3.2Inspection, analysis, demonstration and test3.3Verification matrices3.4V&V planning3.5System-level verification3.6Validation of assumptions3.7Independence3.8Verification close-out3.9Evidence management3.10Case study: verification matrix for a fuel system
4.1Modelling in Simulink and Stateflow4.2Specification models and design models4.3MAB modelling guidelines4.4Simulation as a means of verification4.5Verifying the model against requirements4.6Model coverage4.7Checks with Model Advisor4.8Code generation4.9Model-to-code equivalence4.10Lab: verification of an autopilot model
5.1MIL, SIL, PIL and HIL levels5.2Automatic test case generation5.3Test harnesses5.4Back-to-back testing5.5Oracles and formalised requirements5.6Automated regression5.7Real-time HIL rigs5.8Results management5.9Continuous integration5.10Practical exercise: MIL-SIL back-to-back campaign
6.1Temporal logic6.2Model checking6.3Property proving6.4Abstract interpretation6.5Using Simulink Design Verifier6.6Credit under DO-3336.7Counterexample analysis6.8Scalability limits6.9Combining with testing6.10Lab: proving safety properties
7.1Coverage metrics7.2Defect classification and analysis7.3Peer reviews7.4Tool qualification7.5Process audits7.6Continuous improvement7.7V&V in the supply chain7.8Risk management7.9Lessons from programmes7.10Case study: V&V plan for an equipment item
8.1Baseline system and requirements8.2Improving and formalising requirements8.3Executable model8.4Verification plan8.5MIL and SIL campaign8.6Formal proof of properties8.7Coverage report8.8Conclusions8.9Report and presentation8.10Final project: final review with the tutor
How you'll learn
100% online programme 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 fits around your job.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is IBM DOORS Next, Jama Connect, Simulink Test, Simulink Design Verifier and Polarion ALM, in free, academic or evaluation versions. Practical work is based on real procedures: writing and reviewing requirements with EARS patterns, MIL, SIL and HIL test campaigns, and formal proof of safety properties. Assessment is continuous per module plus the final project.
Standards covered: ISO/IEC/IEEE 29148, SAE ARP4754B, RTCA DO-331, ECSS-E-ST-10-02C, ECSS-E-ST-10-06C, IEEE 1012, RTCA DO-333, ISO/IEC/IEEE 15288.
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 IBM DOORS Next, Jama Connect, Simulink Test, Simulink Design Verifier and Polarion ALM, 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 Aerospace Quality Systems and Auditing
Online postgraduate diploma of 800 hours in aerospace quality systems and auditing. 8 modules covering aerospace quality management systems, aerospace-specific requirements, special processes and NADCAP, quality…
Diploma in Campaign Planning and Flight Data Analysis
Online postgraduate diploma of 800 hours in flight test campaign planning and flight data analysis. 8 modules covering flight test methodology, test planning and risk, performance…
Diploma in CNS/ATM for Urban Air Mobility
Online postgraduate diploma of 800 hours in CNS/ATM for Urban Air Mobility. 8 modules covering UAM concepts of operations, urban aeronautical communications, navigation and surveillance, UAM…
More in Aerospace, UAM, Drones & Space
All Aerospace, UAM, Drones & Space programmes → · How to apply · Fees & financing · Scholarships