TECHNICAL ARTICLES

Who Needs a Hypervisor?

_______________ The standard benefits of a hypervisor are well known and often touted. Every RTOS has its hypervisor and they do genuinely help embedded designers to: Partition multicore processors into virtual machines; an elegant way to... Read More

What is Cache Coloring and How Does it Work?

_______________ There are substantial challenges in building secure and safe systems on multicore processors (MCPs). Last level cache contention is undoubtedly the largest source of multicore interference, and a significant challenge for real-time... Read More

Challenges Building Safe Multicore Systems

_______________ Read More

Best Real-Time Operating System (RTOS) Vendors (2020)

_______________ Lynx Software Technologies has built and supported real-time operating systems (RTOSes) since 1988. We have witnessed hardware and embedded software technologies evolve and have supported our customers through the design,... Read More

What Is A Separation Kernel?

_______________ Having built both separation kernels and real-time operating systems—and supported customers using both across a wide range of industries—we are familiar with the pros and cons of each software technology, as well as their security,... Read More

Field Notes: Safety-Critical Systems Symposium 2020

_______________ Read More

TC-16/51: Adding Bottom Up Interference Analysis for MCPs

_______________ I hadn't heard of "bottom up" avionics certification before I read FAA's TC-16/51. But now, looking back at it, I think the authors from Thales Avionics, including Xavier Jean, PhD, proposed a big change in perspective. In their own... Read More

Lynx & ENSCO Demonstrate Avionics Solutions at DSEI JAPAN 2019

The most formidable challenges of modern avionics development programs are often centered around the safety certification process and the corresponding requirements and costs. Equally as challenging to any large development program are the design... Read More

Overarching Properties: An Alternative to DO-178

_______________ Overarching Properties—an alternative design assurance approach to DO-178C—marks the biggest change in airborne software safety certification since DO-178B was unveiled in 1992. Intended to be more efficient and flexible than... Read More