PikeOS - PikeOS
 Architektura systému PikeOS společnosti SYSGO | |
| Vývojář | SYSGO GmbH |
|---|---|
| Rodina OS | Operační systém v reálném čase |
| Pracovní stav | Proud |
| Zdrojový model | Uzavřený zdroj |
| Poslední vydání | 5.0 / únor 2020 |
| Marketingový cíl | Vestavěné systémy |
| K dispozici v | Angličtina |
| Platformy | PAŽE, PowerPC, x86, SPARC |
| Jádro typ | Microkernel |
| Licence | Proprietární |
| Oficiální webové stránky | www |
PikeOS je komerční, tvrdý operační systém v reálném čase (RTOS), který nabízí a separační jádro na základě hypervisor s více logický oddíl typy pro mnoho dalších operační systémy (každý se nazývá GuestOS) a aplikace. Umožňuje uživatelům vytvářet certifikovatelné chytrá zařízení pro Internet věcí podle vysokých standardů kvality, bezpečnosti a zabezpečení různých průmyslových odvětví.
Přehled
PikeOS kombinuje operační systém v reálném čase (RTOS) s a virtualizace platforma a Zatmění -na základě integrované vývojové prostředí (IDE) pro vestavěné systémy. Jedná se o komerční klon Rodina mikrokernelů L4.[1] PikeOS byl vyvinut pro aplikace kritické z hlediska bezpečnosti a zabezpečení s certifikačními potřebami v oblastech letectví a obrany, automobilového průmyslu a dopravy, průmyslové automatizace a lékařství, síťových infrastruktur a spotřební elektroniky.
Jednou z klíčových funkcí PikeOS je schopnost bezpečně spouštět aplikace s různými úrovněmi zabezpečení a zabezpečení současně na stejné výpočetní platforma. Toho je dosaženo přísnou prostorovou a časovou segregací těchto aplikací pomocí softwarových oddílů. Softwarový oddíl lze považovat za kontejner s předem přidělenými oprávněními, který může mít přístup do paměti, centrální procesorová jednotka (CPU) čas, vstup výstup (I / O), ale také předdefinovaný seznam služeb PikeOS. V PikeOS se termín aplikace vztahuje na spustitelný soubor spojený s PikeOS aplikační programovací rozhraní (API) knihovna a běží jako proces uvnitř oddílu. Vzhledem k povaze PikeOS API se aplikace mohou pohybovat od jednoduchých řídicích smyček až po kompletní paravirtualizované hostující operační systémy, jako je Linux nebo hardwarově virtualizovaní hosté.
Také se nazývají softwarové oddíly virtuální stroje (VM), protože je možné implementovat kompletní hostující operační systém uvnitř oddílu, který se spouští nezávisle na jiných oddílech a může tak řešit případy použití se smíšenou kritičností. PikeOS lze považovat za hypervisor typu 1.
Podporovaný řetězec nástrojů, IDE CODEO
IDE CODEO založené na Eclipse podporuje systémové architekty pomocí grafických konfiguračních nástrojů a poskytuje všechny komponenty, které softwaroví inženýři budou potřebovat k vývoji vestavěných aplikací, a zahrnuje komplexní průvodce, kteří pomáhají vývoju vestavěných projektů časově úsporným a nákladově efektivním způsobem:
- Řízená konfigurace
- Vzdálené ladění (až na úroveň hardwarových instrukcí)
- Sledování cíle
- Vzdálená aplikace nasazení softwaru
- Časová analýza
Několik vyhrazených zobrazení grafických úprav podporuje systémového integrátora, aby vždy udržoval přehled o důležitých aspektech konfigurace systému PikeOS zobrazující typy oddílů, plánování, komunikační kanály, sdílenou paměť a konfiguraci zařízení IO v rámci oddílů.
Projekty lze snadno definovat pomocí opakovaně použitelných šablon a distribuovat do vývojových skupin. Uživatelé mohou konfigurovat předdefinované komponenty pro svůj projekt a mohou také definovat a přidávat další komponenty během procesu vývoje.
Klíčové benefity
- Operační systém v reálném čase včetně hypervisoru typu 1 definovaného pro vysoce flexibilní konfiguraci
- Podporuje rychlé nebo bezpečné časy zavádění
- Podpora smíšené kritičnosti prostřednictvím separačního jádra v jednom systému
- Konfigurace oddílů s časovými a hardwarovými prostředky
- Podporovány ovladače jádra a ovladače uživatelského prostoru
- Nezávislost hardwaru mezi typy procesorů a rodinami
- Snadné migrační procesy a vysoká přenositelnost na jedno a vícejádrových procesorech
- Vyvinuto na podporu certifikace podle několika bezpečnostních standardů
- Zkrácený čas uvedení na trh pomocí standardních nástrojů pro vývoj a ověřování
- Široká škála podporovaných typů GuestOS: API
- Žádné omezení vývozu: evropské řešení
Certifikační standardy
Normy certifikace bezpečnosti podle:
Standardy certifikace bezpečnosti podle:
Partnerský ekosystém
SYSGO je odhodlána navázat technologická a obchodní partnerství, která softwarovým inženýrům pomohou dosáhnout jejich cílů. Od října 2017[Aktualizace], SYSGO spolupracuje s přibližně 100 partnery po celém světě.[2]
Výňatek partnerů podle kategorií je uveden níže:
- Prodejci desek: Curtiss-Wright Controls Embedded Computing, Kontron, MEN nebo ABACO
- Prodejci křemíku: NXP, Renesas, Texas Instruments (TI), Xilinx, Infineon, NVidia nebo Intel
- Softwaroví partneři: CoreAVI, wolfSSL, Aicas, AdaCore, Esterel, RTI, PrismTech, Datalight, Systerel, Imagination Technologies nebo RAPITA
- Partneři nástroje: Lauterbach, Vector Software, Rapita, iSYSTEM
- Podporované architektury: PAŽE, PowerPC, x86 nebo SPARC (na znamení)
Podporované typy GuestOS
- Linux nebo Android (v ideálním případě distribuce systému SYSGO Linux ELinOS )
- POSIX PSE51 s rozšířeními PSE52
- ARINC 653
- RTEMS
- Jáva
- AUTOSAR
- Ada, počítaje v to Profil Ravenscar
- a další
Přehled konce životnosti
| Typ produktu | Verze produktu | Propojená verze CODEO | Propojená verze ELinOS | EOL |
|---|---|---|---|---|
| PikeOS | 3,4 (bez certifikátu) | 5.0, 6.0, 6.1, 6.2 | 5.2 | Od 12/2017 |
| PikeOS | 3,4 (cert) | 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 | Oznámeno pro 04/2021 |
| PikeOS | 4,2 (bez certifikátu) | 6.2 | 6.2 | Proud |
| PikeOS | 4,2 (cert) | 6.2 | 6.2 | Proud |
| PikeOS | 5,0 (bez certifikátu) | 7.0 | 7.0 | Proud |
| PikeOS | 5,0 (cert) | 7.0 | 7.0 | Proud |
Reference
- ^ http://ts.data61.csiro.au/publications/nicta_full_text/8988.pdf
- ^ „Adresář partnerů“. SYSGO. Citováno 12. října 2017.