PikeOS - PikeOS

PikeOS
Architektura PikeOS z SYSGO.png
Architektura PikeOS SYSGO
Deweloper SYSGO GmbH
Rodzina systemów operacyjnych L4
Stan pracy obecny
Model źródłowy Zamknięte źródło
Najnowsze wydanie 5.0 / luty 2020 ; 1 rok temu ( 2020-02 )
Cel marketingowy Systemy wbudowane
Dostępne w język angielski
Platformy RAMIĘ , PowerPC , x86 , SPARC
Typ jądra Mikrojądro , w czasie rzeczywistym
Licencja Prawnie zastrzeżony
Oficjalna strona internetowa www .sysgo .com /products /pikeos-hypervisor Edytuj to na Wikidata

PikeOS to komercyjny, twardy system operacyjny czasu rzeczywistego (RTOS), który oferuje hiperwizor oparty na jądrze separacji z wieloma typami partycji logicznych dla wielu innych systemów operacyjnych (OS), z których każdy nazywa się GuestOS i aplikacji. Umożliwia użytkownikom budowanie certyfikowanych inteligentnych urządzeń dla Internetu rzeczy (IoT) zgodnie z wysokimi standardami jakości, bezpieczeństwa i ochrony różnych branż.

Przegląd

PikeOS łączy w sobie system operacyjny czasu rzeczywistego (RTOS) z wirtualizacji platformy i Eclipse -na zintegrowane środowisko programistyczne (IDE) dla systemów wbudowanych . Jest to komercyjny klon rodziny mikrojądra L4 . PikeOS został opracowany z myślą o aplikacjach o znaczeniu krytycznym dla bezpieczeństwa i potrzebach certyfikacji w dziedzinie lotnictwa, obronności, motoryzacji, transportu, automatyki przemysłowej, medycyny, infrastruktury sieciowej i elektroniki użytkowej.

Kluczową cechą PikeOS jest możliwość bezpiecznego uruchamiania aplikacji o różnych poziomach bezpieczeństwa i ochrony jednocześnie na tej samej platformie obliczeniowej . Odbywa się to poprzez ścisłą segregację przestrzenną i czasową tych aplikacji za pośrednictwem partycji oprogramowania. Partycja oprogramowanie może być postrzegane jako pojemnik ze wstępnie przydzielone uprawnienia, które mogą mieć dostęp do pamięci jednostki centralnej (CPU) czas wejścia / wyjścia (I / O), a predefiniowane lista usług OS. Z PikeOS, zgłoszenie odnosi się do pliku wykonywalnego połączone przed PikeOS Interfejs programowania aplikacji (API) biblioteki i działa jako proces wewnątrz partycji. Charakter interfejsu programowania aplikacji ( API ) PikeOS pozwala aplikacjom rozciągać się od prostych pętli sterowania do w pełni parawirtualizowanych systemów operacyjnych gościa , takich jak Linux lub gości zwirtualizowanych sprzętowo.

Przykład partycjonowania zasobów i czasu

Partycje oprogramowania są również nazywane maszynami wirtualnymi (VM), ponieważ możliwe jest zaimplementowanie kompletnego systemu operacyjnego gościa wewnątrz partycji, który działa niezależnie od innych partycji, a tym samym może dotyczyć przypadków użycia o mieszanej krytyczności. PikeOS może być postrzegany jako hypervisor typu 1 .

Obsługiwany łańcuch narzędzi, IDE CODEO

Oparte na Eclipse środowisko IDE CODEO wspiera architektów systemów za pomocą graficznych narzędzi konfiguracyjnych, zapewniając wszystkie komponenty potrzebne inżynierom oprogramowania do tworzenia aplikacji osadzonych, a także wszechstronne kreatory pomagające w opracowywaniu projektów osadzonych w sposób oszczędzający czas i oszczędny:

  • Konfiguracja z przewodnikiem
  • Zdalne debugowanie (do poziomu instrukcji sprzętowych)
  • Monitorowanie celu
  • Zdalne wdrażanie oprogramowania aplikacji
  • Analiza czasu

Kilka dedykowanych graficznych widoków edycyjnych wspiera integratora systemu, aby zawsze mieć przegląd ważnych aspektów konfiguracji systemu PikeOS, pokazując typy partycji, harmonogramy, kanały komunikacji, pamięć współdzieloną i konfigurację urządzeń IO w partycjach.

Projekty można łatwo definiować za pomocą szablonów wielokrotnego użytku i dystrybuować do grup programistów. Użytkownicy mogą konfigurować wstępnie zdefiniowane komponenty dla swojego projektu, a także definiować i dodawać inne komponenty podczas procesu rozwoju.

Kluczowe korzyści

  • System operacyjny czasu rzeczywistego, w tym hiperwizor typu 1, zdefiniowany dla wysoce elastycznej konfiguracji
  • Obsługuje szybkie lub bezpieczne czasy uruchamiania
  • Obsługa mieszanej krytyczności poprzez jądro separacji w jednym systemie
  • Konfiguracja partycji wraz z zasobami czasowymi i sprzętowymi
  • Obsługiwany sterownik jądra i sterowniki przestrzeni użytkownika
  • Niezależność sprzętowa między typami procesorów i rodzinami
  • Łatwe procesy migracji i wysoka przenośność na jedno- i wielordzeniowych
  • Opracowany w celu wspierania certyfikacji zgodnie z wieloma standardami bezpieczeństwa i ochrony
  • Skrócony czas wprowadzania na rynek dzięki standardowym narzędziom do opracowywania i weryfikacji
  • Szeroki zakres obsługiwanych typów GuestOS: API
  • Brak ograniczeń eksportowych: rozwiązanie europejskie

Standardy certyfikacji

Normy certyfikacji bezpieczeństwa zgodnie z:

Standardy certyfikacji bezpieczeństwa zgodnie z:

Ekosystem partnerski

SYSGO zobowiązuje się do nawiązania partnerstwa technologicznego i biznesowego, które pomoże inżynierom oprogramowania osiągnąć ich cele. Od października 2017 SYSGO współpracuje z około 100 partnerami na całym świecie.

Poniżej znajduje się fragment partnerów z każdej kategorii:

  • Dostawcy płyt głównych: Curtiss-Wright Controls Embedded Computing, Kontron, MEN lub ABACO
  • Dostawcy krzemu : NXP, Renesas, Texas Instruments (TI), Xilinx, Infineon, NVidia lub Intel
  • Partnerzy oprogramowania : CoreAVI, wolfSSL , Aicas , AdaCore, Esterel, RTI, PrismTech, Datalight, Systerel, Imagination Technologies lub RAPITA
  • Partnerzy narzędzi : Lauterbach, Vector Software, Rapita, iSYSTEM
  • Obsługiwane architektury : ARM , PowerPC , x86 lub SPARC (na życzenie)

Obsługiwane typy GuestOS

Przegląd wycofania z eksploatacji

Rodzaj produktu Wersja Produktu Połączona wersja CODEO Połączona wersja ELinOS EOL
PikeOS 3.4 (bez certyfikatu) 5.0, 6.0, 6.1, 6.2 5.2 Od 12/2017
PikeOS 3.4 (certyfikat) 5.0, 6.0, 6.1, 6.2 5.2 LTS na x86
PikeOS 3,5 5.0, 6.0, 6.1, 6.2 6,0, 6,1 Od 12/2017
PikeOS 4.0 6,0, 6,1, 6,2 6,0, 6,1 Od 06/2019
PikeOS 4.1 6,1, 6,2 6,1 Ogłoszono na 04/2021
PikeOS 4.2 (bez certyfikatu) 6,2 6,2 obecny
PikeOS 4.2 (certyfikat) 6,2 6,2 obecny
PikeOS 5.0 (bez certyfikatu) 7,0 7,0 obecny
PikeOS 5.0 (certyfikat) 7,0 7,0 obecny

Bibliografia

Linki zewnętrzne