• 한국항공우주학회지
• /
• 제36권6호
• /
• pp.616-620
• /
• 2008

인공위성체에서의 데이터 처리유닛은 고 신뢰성을 갖추어야 하고 또한 최근 탑재체의 요구사항이 늘어나면서 고속으로 데이터를 처리할 수 있어야 한다. 이러한 고 신뢰도 및 고속데이터 처리유닛을 개발하려면 우주용 프로세서의 활용, 고속 데이터 인터페이스 기술 활용, 대용량 메모리 제어기술 활용 및 우주 방사선 환경에서 데이터를 유지하는 기술을 모두 응용하여야 한다. 또한 단위 기능블록으로 모듈화하고 기능 확장이 용이한 구조로 디자인하여 활용성을 높이고자 한다.

• 대한임베디드공학회논문지
• /
• 제9권5호
• /
• pp.253-260
• /
• 2014

European Space Agency has recognized Integrated Modular Avionics and ARINC specification 653 as avionics computer system for space application. Integrated Modular Avionics specification reduces the space by integrating a system composed of many electronic devices into a computer. recent researches have been studying how to apply the ARINC 653 into an open source operating system, such as Linux. These studies have concentrated on partition scheduling for time separation. However, requirements to guarantee spatial separation should be further analyzed to ensure deterministic execution time. Therefore, memory management is needed to verify spatial isolation on Linux systems. This research proposes a new method to accomplish spatial isolation for the ARINC 653 specification in Linux. We have added new data structures and system calls to handle functionalities for spatial separation. They are used during the partition startup process. The proposed method was evaluated on the LEON4 processor, which is the next generation microprocessor to be used in the future space missions. All implementations confirm that spatial isolation of the ARINC 653 specification was accomplished.