Green Hills软件:将多核航空电子软件架构用于汽车和工业安全/关键安全应用