TECHNICAL ARTICLES
Systems Architecture

On reference architectures


What Is A Separation Kernel?


Field Notes: Safety-Critical Systems Symposium 2020


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


Lynx & ENSCO Demonstrate Avionics Solutions at DSEI JAPAN 2019


Do You Need a Real-Time Operating System?


Embedded Best Practices at Arm Tech-con


How to Choose a Real-Time Operating System


Realizing modern Automotive Software Environments
