PikeOS - PikeOS
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 |
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 |
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.
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:
- Radiotechniczna Komisja Aeronautyki (RTCA) – DO-178B /C
- Międzynarodowa Organizacja Normalizacyjna (ISO) – 26262
- Międzynarodowa Komisja Elektrotechniczna (IEC) – 62304 , 61508
- EN-50128, 50657
Standardy certyfikacji bezpieczeństwa zgodnie z:
- wspólne kryteria
- SAR (?)
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
- Linux lub Android (najlepiej dystrybucja SYSGO Linux ELinOS )
- POSIX PSE51 z rozszerzeniami PSE52
- ARINC 653
- RTEMS
- Jawa
- AUTOSAR
- Ada , w tym profil Ravenscar
- i inni
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 |