단일 하드웨어 플랫폼에서 고성능 미션 컴퓨터와 고신뢰 실시간 컴퓨터를 실행시키는 safety-critical 시스템의 격리, 재사용성, mixed-criticality를 보장하는 소프트웨어 플랫폼 기술
[원문보기]
