Summary

software, real-time, transportation, traffic control, embedded systems, safety, safety systems, intersection control, military, Ada83, Ada95, CORBA, technical services, Android, C++, C, redundant systems, international, weapon systems, missile systems, guidance systems, Linux, VxWorks, LynxOS, flight control