AES is a technology company specialized in the development of safety-critical software and hardware for military and civil aviation applications and other industries. Some of the key elements of their professional competencies are embedded software development and verification, software requirement analysis, model-based software design, simulation, and automatic generation of source code, and others.