Course in Regulation in Critical Software Certification
Online 300-hour course in regulation in critical software certification. 6 modules covering DO-178C (software in airborne systems), IEC 61508-3 (functional safety: software requirements) and LDRA Testbed. Assigned tutor and open enrolment.
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
Understand the principles of software certification in safety-critical systems.
Compare the requirements of DO-178C, IEC 61508, ISO 26262, EN 50716 and IEC 62304.
Assign software integrity levels based on the system safety analysis.
Establish full traceability between requirements, design, code and tests.
Apply structural coverage criteria, including MC/DC coverage.
Qualify development and verification tools in accordance with DO-330.
Prepare the plans and evidence for a software certification project.
Who it's for
- Critical software certification engineer looking to specialise in Regulation in Critical Software Certification.
- Software verification and validation engineer looking to specialise in Regulation in Critical Software Certification.
- Software quality assurance manager looking to specialise in Regulation in Critical Software Certification.
- Functional safety engineer looking to specialise in Regulation in Critical Software Certification.
- Embedded software process auditor looking to specialise in Regulation in Critical Software Certification.
- DER software consultant looking to specialise in Regulation in Critical Software Certification.
- Graduates in engineering or sciences seeking to enter the aerospace industry.
What you'll work with
- DO-178C (software in airborne systems)
- IEC 61508-3 (functional safety: software requirements)
- EN 50716 (railway software)
- ISO 26262-6 (automotive software)
- IEC 62304 (medical device software)
- DO-330 (software tool qualification)
- IEC 60880 (nuclear power plant software)
6 modules · 300 h
1.1What makes software critical1.2Sectors and their frameworks: aerospace, railway, medical, nuclear and automotive1.3Consequences of failure and classification1.4Product certification versus process certification1.5Role of the authority and of the assessment body1.6Applicable standards by sector1.7Software assurance vocabulary1.8Evidence required by a certifier1.9Cost of assurance and its planning1.10Exercise: classify the criticality of a piece of software
2.1Aerospace software standard and its levels2.2Objectives per level and their independence2.3General-purpose functional safety and its software part2.4Railway software standard2.5Automotive software standard2.6Medical device software2.7Software in nuclear installations2.8Supplements on formal methods and tools2.9Equivalences and differences between frameworks2.10Practice: objectives map for a project
3.1Assurance planning and plan documents3.2High-level and low-level requirements3.3Bidirectional traceability3.4Architecture design and partitioning3.5Coding standards and restricted language3.6Configuration management3.7Quality assurance and audits3.8Change management and impact analysis3.9Lifecycle data and its delivery3.10Practice: build a traceability matrix
4.1Requirements and design review4.2Static analysis and standards compliance checking4.3Requirements-based testing4.4Statement, decision and condition coverage4.5Analysis of uncovered code4.6Integration and system testing4.7Testing on target hardware4.8Qualification of verification tools4.9Formal methods and their use as evidence4.10Practice: design the tests for a requirement
5.1Reuse of previously developed software5.2Commercial off-the-shelf components and their assurance5.3Operating systems and time partitioning5.4Multicore software and determinism5.5Models and automatic code generation5.6Machine learning in critical systems5.7Cybersecurity and its relationship with safety5.8Deviation management and open issues5.9Certifier audits and preparation5.10Practice: justify the reuse of a component
6.1Choice of system and sector6.2Criticality classification and applicable framework6.3Software assurance plans6.4Requirements and traceability6.5Verification and coverage strategy6.6Tool qualification6.7Objectives compliance matrix6.8Audit plan and data delivery6.9Technical report6.10Project defence
How you'll learn
100% online training on the SEIUM campus, with downloadable material, recorded classes and an assigned technical tutor. No fixed timetables: students progress at their own pace within the intake, which makes it possible to combine the course with work.
Each module combines theory, guided reading of the original standard and applied exercises. The working software is LDRA Testbed, VectorCAST, MathWorks Polyspace, IBM DOORS, Ansys SCADE, in free, academic or evaluation versions. Tests are studied using real procedures for MC/DC structural coverage analysis, requirements traceability reviews and certification audits before the authority. Assessment is continuous 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.
Understand the principles of software certification in safety-critical systems.
Compare the requirements of DO-178C, IEC 61508, ISO 26262, EN 50716 and IEC 62304.
Assign software integrity levels based on the system safety analysis.
Establish full traceability between requirements, design, code and tests.
Apply structural coverage criteria, including MC/DC coverage.
Where this takes you
Requirements
- No prior degree is required.
- Internet connection and a computer capable of running the programme software.
- Sufficient command of Spanish to follow technical regulatory texts.
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 is 300 hours in total, spread over 3 to 5 months. That is an average of 10 to 15 hours per week, compatible with a full-time job.
The course works with LDRA Testbed, VectorCAST, MathWorks Polyspace, IBM DOORS and Ansys SCADE. Free, academic or evaluation versions are used, and the tutor indicates the free alternative where one exists.
An own diploma from SEIUM upon passing the continuous assessment and the integrating project. It is in-house training, not an official Ministry qualification.
Yes. Modules passed in a course or postgraduate diploma in the same area can be credited towards the advanced programme. Check the credit transfer policy when you enrol.
Related programmes
Course in Export Control in Military Encryption Systems
Online 300-hour course in export control in military encryption systems. 6 modules covering the Wassenaar Arrangement, Category 5 Part 2 (information security), Regulation (EU) 2021/821, Annex…
International Law Course on the Use of Armoured Vehicles in Conflicts
Online 300-hour course in international law on the use of armoured vehicles in conflicts. 6 modules covering the Hague Regulations (1907), the Fourth Geneva Convention (1949,…
Aerial–Ground Interoperability Standards Course
Online 300-hour course on air–ground interoperability standards. 6 modules covering STANAG 5516 (Link 16), MIL-STD-6016 (Link 16 messaging) and Wireshark. Assigned tutor and open enrolment.
More in Defense, Military Engineering & Land Systems
All Defense, Military Engineering & Land Systems programmes → · How to apply · Fees & financing · Scholarships