OSEK
OSEK OS仕様に準拠した実装として、TOPPERSプロジェクトがTOPPERS/ATK1をオープンソースとして提供している。 AUTOSAR 4.0仕様に準拠した実装としてTOPPERSプロジェクトがTOPPERS/ATK2をオープンソースとして提供している。