티스토리 뷰
http://www.rtems.org/wiki/index.php/ARINC653API
2014/01/02
rtems 에서 arinc 653API를 지원하고 있지는 않다
다만 AIR라는 연구에서 RTEMS에 arinc 653의 파티션간의 통신 인터페이스를 추가한 사례가 있다. ?
(ARINC 653 1단계 적용)
RTEMS의 가상화 레이어를 지원하는 virt-POK라는 프로젝트가 있었음 여기에 arink 653 적용 2013
2013년 8월 아직 rtems arinc 653 프로젝트가 진행되고 있지 않았음
POK에 가상화 레이어를 추가하고 거기에 RTEMS를 올리는 프로젝트를 막 끝냈고 다음 목표가 여기에 ARINC-653 API를 추가 하는 것이라고 함 관련된 사항중에 POK에 ARINC-653이 적용되었고 여러 아케텍쳐에서 돌아가는데 SPARC 에서 돌아간다고함 그리고 RTEMS 베이스로 설계된 AIR에서 ARINC 653을 적용 되었다고 말함 다음 메일 에서
( http://www.rtems.org/pipermail/rtems-users/2012-August/010329.html )
ARINC 653
The ARINC 653 standard defines "a software specification for space and time partitioning in Safety-critical avionics Real-time operating systems".[2] These specifications are enforced by an additional layer called APEX (APplication EXecutive).
As POK is ARINC compliant and RTEMS is not, a paravirtualized RTEMS on top of POK would be a way to achieve compliance. To make use of this compliance, RTEMS needs to be able to communicate with other partitions on POK by using intra-partition communication.
http://www.rtems.org/wiki/index.php/GSOC_2013_-_Paravirtualization_of_RTEMS#ARINC_653
아직 구현이 되지 않았다. 2013년
>> rtems의 arinc 653 이야기는 주류는 pok(나 xtratum , air)를 위한 파라버츄얼용 rtems를 만든다는 이야기 이다. 언터 커뮤니케이션을 위한다. vir-pok 공개 되어있음
Paravirtualization layer in RTEMS
Google Summer of Code Program 2013 Project Proposal
Philipp Eppelt
philipp.eppelt@mailbox.tu-dresden.de
Dresden University of Technology
Dresden, Germany
Project Abstract.
This project aims to ease the virtualization of RTEMS on various hypervisors, by developing a BoardSupportPackage (BSP) and CPU model. It should be as platform independent as possible and not bound to a CPU architecture in particular. The design will be implemented as a proof-of-concept and documentation will be written, on how to port these to a new hypervisor or architecture.
L4용 RTEMS 만든 사람이 ARINC-653이 적용된 모든 하이퍼 바이저용 게스트 RTEMS를 만든다는 프로젝트가 RTEMS-653의 정체이다.
https://docs.google.com/document/d/10SWiyYg6WEeMdAeysyahbS6XK5QwyIMlUvAr4aFOyX4/edit
'조사' 카테고리의 다른 글
RTOS & 파티션 운영체제에서의 MMU 지원현황 (0) | 2014.09.15 |
---|---|
SPI 통신 (0) | 2014.09.08 |
의사-물리 메모리 모델 (0) | 2013.12.30 |
LINEAR TEMPORAL LOGIC (LTL) (0) | 2013.11.19 |
The State of Virtualization (0) | 2013.07.09 |