파이크 OS

PikeOS
파이크 OS
Architecture of PikeOS from SYSGO.png
SYSGO의 Pike 아키텍처OS
개발자SYSGO GmbH
OS 패밀리L4
동작 상태현재의
소스 모델폐쇄 소스
최신 릴리즈5.1 / 2021년 5월, 1년 전(2021-05)
마케팅 대상임베디드 시스템
이용가능기간:영어
플랫폼ARM, PowerPC, x86, SPARC
커널 타입마이크로커널, 실시간
면허증.독자 사양
공식 웹사이트www.sysgo.com/pikeos Edit this at Wikidata

PikeOS는 상용 하드 실시간 운영 체제(RTOS)로, 다른 많은 운영 체제(OS) 및 애플리케이션용으로 여러 개의 논리 파티션 유형을 가진 분리 커널 기반 하이퍼바이저를 제공합니다.사용자는 다양한 업계의 고품질, 안전 및 보안 표준에 따라 사물인터넷(IoT)용 인증 가능한 스마트 기기를 구축할 수 있습니다.MMU(메모리 관리 유닛)는 없지만 MPU(메모리 보호 유닛) PikeOS for MPU(메모리 보호 유닛)를 탑재한 컨트롤러 기반 시스템에서 안전 및 보안에 중요한 실시간 애플리케이션을 사용할 수 있습니다.

개요

PikeOS는 실시간 운영 체제(RTOS)를 가상화 플랫폼 및 임베디드 시스템용 이클립스 기반 통합 개발 환경(IDE)과 결합합니다.L4 마이크로커널 [1]패밀리의 상용 클론입니다.PikeOS는 항공우주, 방위, 자동차, 운송, 산업 자동화, 의료, 네트워크 인프라 및 가전 분야에서 인증 요구가 있는 안전 및 보안 크리티컬 애플리케이션을 위해 개발되었습니다.

Pike의 주요 특징OS는 동일한 컴퓨팅 플랫폼에서 동시에 다른 안전 및 보안 수준의 애플리케이션을 안전하게 실행할 수 있는 기능입니다.이는 소프트웨어 파티션을 통해 이러한 애플리케이션을 공간 및 시간적으로 엄격하게 분리함으로써 이루어집니다.소프트웨어 파티션은 메모리, 중앙처리장치(CPU) 시간, 입출력(I/O) 및 OS 서비스 목록에 액세스할 수 있는 미리 할당된 권한을 가진 컨테이너로 볼 수 있습니다.PikeOS에서 응용 프로그램이라는 용어는 Pike에 대해 링크된 실행 파일을 의미합니다.OS Application Programming Interface(API; 응용 프로그램프로그래밍 인터페이스) 라이브러리로 파티션 내에서 프로세스로 실행됩니다.파이크의 특성OS API(Application Programming Interface)를 사용하면 단순한 제어 루프에서 Linux 또는 하드웨어 가상화 게스트와 같은 완전한 반가상화 게스트 운영 체제까지 다양한 애플리케이션을 사용할 수 있습니다.

Example for resource and time partitioning

소프트웨어 파티션은 다른 파티션과 독립적으로 실행되는 완전한 게스트 운영 체제를 파티션 내에 구현할 수 있기 때문에 VM(가상 머신)이라고도 합니다. 따라서 중요도가 혼합된 사용 사례에 대처할 수 있습니다.PikeOS는 타입 1 하이퍼바이저라고 할 수 있습니다.

지원되는 툴 체인, IDE CODEO

Eclipse 기반의 IDE CODEO는 그래픽 구성 도구를 사용하여 시스템 설계자를 지원합니다.이 도구는 소프트웨어 엔지니어가 임베디드 애플리케이션을 개발하는 데 필요한 모든 컴포넌트를 제공하며 임베디드 프로젝트 개발을 시간과 비용 효율적으로 지원하는 포괄적인 마법사를 포함합니다.

  • 가이드 구성
  • 리모트 디버깅(하드웨어 명령 수준까지)
  • 타깃 감시
  • 원격 응용 프로그램 소프트웨어 도입
  • 타이밍 분석

시스템 인테그레이터는 몇 가지 전용 그래픽 편집 뷰를 사용하여 Pike의 중요한 측면에 대한 개요를 항상 유지할 수 있습니다.파티션 유형, 스케줄링, 통신 채널, 공유 메모리 및 파티션 내 IO 디바이스 구성을 보여주는 OS 시스템 구성.

재사용 가능한 템플릿을 사용하여 프로젝트를 쉽게 정의하고 개발 그룹에 배포할 수 있습니다.사용자는 프로젝트에 대해 미리 정의된 구성 요소를 구성할 수 있으며 개발 프로세스 중에 다른 구성 요소를 정의하고 추가할 수도 있습니다.

주요 장점

  • 매우 유연한 구성을 위해 정의된 타입 1 하이퍼바이저를 포함한 실시간 운영 체제
  • 고속 또는 안전한 부팅 시간 지원
  • 하나의 시스템에서 분리 커널을 통해 중요도 혼재 지원
  • 시간과 하드웨어 리소스를 사용한 파티션 구성
  • 지원되는 커널 드라이버 및 사용자 공간 드라이버
  • 프로세서 타입과 패밀리 간의 하드웨어 독립성
  • 싱글코어 및 멀티코어로 이행 프로세스가 용이하고 휴대성이 높음
  • 여러 안전 및 보안 기준에 따라 인증을 지원하도록 개발됨
  • 표준 개발 및 검증 툴을 통한 시장 투입 시간 단축
  • 폭넓은 지원 게스트OS 유형: API
  • 내보내기 제한 없음:유럽식 솔루션

인증기준

다음과 같은 안전 인증 기준:

다음과 같은 보안 인증 기준:

파트너 생태계

SYSGO는 소프트웨어 엔지니어의 목표 달성을 지원하는 테크놀로지 및 비즈니스 파트너십을 확립하기 위해 노력하고 있습니다.2017년 10월 현재 SYSGO는 전 [2]세계 약 100개 파트너와 협력하고 있습니다.

카테고리별 파트너의 발췌를 이하에 나타냅니다.

  • 보드 벤더: Curtiss-Light Controls Embedded Computing, Kontron, MEN 또는 ABACO
  • 실리콘 벤더: NXP, Renesas, Texas Instruments(TI), Xilinx, Infineon, NVidia 또는 Intel
  • 소프트웨어 파트너: CoreAVI, wolfSSL, Aicas, AdaCore, Estrel, RTI, Prism기술, Datalight, Systemrel, Imagination Technologies 또는 RAPITA
  • 툴 파트너: Lauterbach, Vector Software, Rapita, iSYSTEM
  • 지원되는 아키텍처: ARM, PowerPC, x86 또는 SPARC(요청 시)

지원되는 게스트OS 타입

판매 종료의 개요

제품 종류 제품 버전 링크된 CODEO 버전 링크된 ELinOS 버전 전원
파이크 OS 3.4 (증명서 없음) 5.0, 6.0, 6.1, 6.2 5.2 2017년 12월 이후
파이크 OS 3.4 (증명서) 5.0, 6.0, 6.1, 6.2 5.2 x86에서의 LTS
파이크 OS 3.5 5.0, 6.0, 6.1, 6.2 6.0, 6.1 2017년 12월 이후
파이크 OS 4.0 6.0, 6.1, 6.2 6.0, 6.1 2019년 6월 이후
파이크 OS 4.1 6.1, 6.2 6.1 2021년 4월에 발표
파이크 OS 4.2 (증명서 없음) 6.2 6.2 후보
파이크 OS 4.2 (증명서) 6.2 6.2 현재의
파이크 OS 5.0 (증명서 없음) 7.0, 7.1 7.0 현재의
파이크 OS 5.0 (증명서) 7.0, 7.1 7.0 현재의
파이크 OS 5.1 (증명서 없음) 7.1 7.0 현재의
파이크 OS 5.1 (증명서) 7.1 7.0 현재의

레퍼런스

  1. ^ R Kaiser와 S Wagner, "Evolution of the Pike"OS 마이크로커널", MIKES 2007, http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.68.5593&rep=rep1&type=pdf#page=50
  2. ^ "Partner Directory". SYSGO. Retrieved 12 October 2017.

외부 링크