Summary

avionics, safety, security, software design, systems design, proposals