Military Embedded Systems

Best in Show awards selected at Aerospace Tech Week


March 13, 2019

MUNICH, Germany. Avionics Design is excited to announce today the winners of Aerospace Tech Week Best in Show Award contest, which we?re holding this week for exhibitors at Aerospace Tech Week in Munich, Germany. Contest winners ? drawn from exhibitors at the event ? are recognized for the improved performance and innovation they bring to aerospace applications.

Aerospace Tech Week encompasses three different events -- Avionics Expo, Connected Aircraft Europe, and Aerospace Testing Europe. To learn more about Aerospace Tech Week, visit

For the Best in Show Award, four-star, three-star, and two-star recognition may be given in multiple categories, with four stars as the top recognition. Winning entries are based on the counsel of an independent committee of industry judges.


Green Hills Software's INTEGRITY-178 tuMP high-assurance real-time operating system (RTOS)

The INTEGRITY-178 tuMP high-assurance real-time operating system (RTOS) is the only operating system certified to the highest levels for both airborne safety (DAL A) and security (EAL6+). Built on industry-standard interfaces, INTEGRITY-178 tuMP is the first and only RTOS certified conformant to the latest edition of the Future Airborne Capability Environment (FACE) 3.0 technical standard. INTEGRITY-178 tuMP is designed specifically for high utilization on multicore processors, and it provides flexible software architecture options and tools to mitigate multicore interference. Together, those deliver multicore determinism and help the system integrator meet CAST-32A guidance. The RTOS combines safety and security into a single product. Other RTOS offerings have separate products, such as safety OSs running on top of a security hypervisor, but that creates unnecessary risk if the OS isn’t secure and the hypervisor isn’t safe. Also, the INTEGRITY-178 tuMP is the only RTOS to include tools and libraries to mitigate multicore interference instead of leaving that to the system integrator, reducing the development and validation effort by many months, even years.

AdaCore’s QGen qualifiable and tunable code generation and model verification tool suite 

QGen is a qualifiable and tunable code generation and model verification tool suite for a safe subset of Simulink and Stateflow models. It preserves the model semantics in the generated code. The supported feature set from the Simulink and Stateflow environments has been carefully selected to ensure code generation that is appropriate for critical systems, leaving out features that might result in unpredictable behavior or potentially unsafe source code. The qualifiable QGen code generator can generate code in the portable MISRA subset of C and in the SPARK subset of Ada, ensuring the generated code is suitable for formal analysis and for projects following software standards such as DO-178C, ISO 26262, or EN 50128.

Walk the show – congratulate the winners – take advantage of Aerospace Tech Week, which brings you the latest advances and trends in connectivity and e-Enablement for airlines, the latest in regulatory, policy and technical SES and Next?Gen challenges for avionics, and the technological developments and systems that affect the design, construction, and maintenance of all aircraft.

Didn't get a chance to submit your product to Aerospace Tech Week? Click here to get your product considered for a Best In Show Award for the next show!