Программный продукт LynxOS-178 (рус. ЛинксОС‑178) от компании-разработчика Lynx Software Technologies предназначен для использования в критически важных системах, в том числе в аэрокосмической и оборонной отраслях. Продукт обеспечивает работу сертифицированных авионических систем реального времени, поддерживает применение сертифицированных систем и кодов, способствует повышению безопасности взаимосвязанных платформ за счёт технологий изоляции.