Het doel van deze opleiding is het ontwikkelen van:
– De principes van veiligheidskritische softwareontwikkeling (vanaf de specificatie tot aan de demonstratie)
– De concepten van softwaretesten, -verificatie en -validatie
– de verschillende technieken en methoden voor analyse en ontwikkeling van veiligheidskritische software