SMS: Civil avionics systems