System and Software development and verification

in aviation industry 

for high safety critical systems