PikeOS: Porovnání verzí

Z Wikipedie, otevřené encyklopedie
Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
Bez shrnutí editace
překlad popisku fotky + ref typo + {{en}} jazyk do sekce Odkazy
Řádek 1: Řádek 1:
[[File:Embedded World 2014 Embedded Linux.jpg|thumb|right|PikeOS at Embedded World 2014]]
[[File:Embedded World 2014 Embedded Linux.jpg|thumb|right|PikeOS na konferenci Embedded World 2014]]
'''PikeOS''' je [[RTOS|operační systém pracující v reálném čase]] pro bezpečnostně kritické aplikace, založený na [[Mikrojádro|mikrojádře]]. PikeOS je používaný převážně v [[Vestavěný systém|embedded systémech]] s vyššími nároky na spolehlivost, funkční bezpečnost či ochranu dat. PikeOS poskytuje naprosto nezávislé "přihrádky" systémových zdrojů. V těch mohou pracovat na jediném procesoru [[Aplikační software|aplikace]] či celé [[Operační systém|operační systémy]] s různými úkoly, požadavky na bezpečnost či časovou odezvu, aniž by se vzájemně ovlivňovaly.
'''PikeOS''' je [[RTOS|operační systém pracující v reálném čase]] pro bezpečnostně kritické aplikace, založený na [[Mikrojádro|mikrojádře]]. PikeOS je používaný převážně v [[Vestavěný systém|embedded systémech]] s vyššími nároky na spolehlivost, funkční bezpečnost či ochranu dat. PikeOS poskytuje naprosto nezávislé "přihrádky" systémových zdrojů. V těch mohou pracovat na jediném procesoru [[Aplikační software|aplikace]] či celé [[Operační systém|operační systémy]] s různými úkoly, požadavky na bezpečnost či časovou odezvu, aniž by se vzájemně ovlivňovaly.


Řádek 24: Řádek 24:
* [[POSIX]] PSE51
* [[POSIX]] PSE51
* [[Linux]]
* [[Linux]]
* Android <ref>[http://www.electronicspecifier.com/Embedded-Products/SYSGOs-Embedded-Virtualization-RTOS-PikeOS-Offers-Android-Personality.asp SYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality] {{Wayback|url=http://www.electronicspecifier.com/Embedded-Products/SYSGOs-Embedded-Virtualization-RTOS-PikeOS-Offers-Android-Personality.asp |date=20120329104323 }} Article from ElectronicSpecifier (April 2011)</ref><ref>[http://www.youtube.com/watch?v=PJcFwAX_wDM Android & Autosar running concurrently on PikeOS] Video from Embedded World 2011</ref>
* Android<ref>[http://www.electronicspecifier.com/Embedded-Products/SYSGOs-Embedded-Virtualization-RTOS-PikeOS-Offers-Android-Personality.asp SYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality] {{Wayback|url=http://www.electronicspecifier.com/Embedded-Products/SYSGOs-Embedded-Virtualization-RTOS-PikeOS-Offers-Android-Personality.asp |date=20120329104323 }} Article from ElectronicSpecifier (April 2011)</ref><ref>[http://www.youtube.com/watch?v=PJcFwAX_wDM Android & Autosar running concurrently on PikeOS] Video from Embedded World 2011</ref>
* Coqos <ref>[http://www.automotive-eetimes.com/en/opensynergy-brings-security-to-infotainment-os.html?cmp_id=7&news_id=222901303 OpenSynergy brings security to infotainment] {{Wayback|url=http://www.automotive-eetimes.com/en/opensynergy-brings-security-to-infotainment-os.html?cmp_id=7&news_id=222901303 |date=20120405172237 }} EETimes Automotive (01/11/2011)</ref> including AUTOSAR
* Coqos<ref>[http://www.automotive-eetimes.com/en/opensynergy-brings-security-to-infotainment-os.html?cmp_id=7&news_id=222901303 OpenSynergy brings security to infotainment] {{Wayback|url=http://www.automotive-eetimes.com/en/opensynergy-brings-security-to-infotainment-os.html?cmp_id=7&news_id=222901303 |date=20120405172237 }} EETimes Automotive (01/11/2011)</ref> including AUTOSAR
* Real-time [[Java (programovací jazyk)|Java]]
* Real-time [[Java (programovací jazyk)|Java]]
* [[Ada (programovací jazyk)|Ada]]
* [[Ada (programovací jazyk)|Ada]]
Řádek 103: Řádek 103:
<references />
<references />
== Odkazy ==
== Odkazy ==
* [http://www.sysgo.com/ Webové stránky výrobce]
* [http://www.sysgo.com/ Webové stránky výrobce] {{en}}
* [https://www.sysgo.com/products/pikeos-hypervisor/ PikeOS Stránka produktu]
* [https://www.sysgo.com/products/pikeos-hypervisor/ PikeOS Stránka produktu] {{en}}
* [https://www.sysgo.com/fileadmin/user_upload/www.sysgo.com/redaktion/downloads/pdf/data-sheets_certificates/SYSGO_PikeOS_5_Product_Note.pdf PikeOS datový list] (PDF)
* [https://www.sysgo.com/fileadmin/user_upload/www.sysgo.com/redaktion/downloads/pdf/data-sheets_certificates/SYSGO_PikeOS_5_Product_Note.pdf PikeOS datový list] (PDF) {{en}}
* [https://www.sysgo.com/fileadmin/user_upload/www.sysgo.com/data/flyers_broshures/SYSGO_PikeOS_5_Product_Overview.pdf PikeOS Leták] (PDF)
* [https://www.sysgo.com/fileadmin/user_upload/www.sysgo.com/data/flyers_broshures/SYSGO_PikeOS_5_Product_Overview.pdf PikeOS Leták] (PDF) {{en}}


[[Kategorie:Operační systémy]]
[[Kategorie:Operační systémy]]

Verze z 11. 10. 2020, 22:07

PikeOS na konferenci Embedded World 2014

PikeOS je operační systém pracující v reálném čase pro bezpečnostně kritické aplikace, založený na mikrojádře. PikeOS je používaný převážně v embedded systémech s vyššími nároky na spolehlivost, funkční bezpečnost či ochranu dat. PikeOS poskytuje naprosto nezávislé "přihrádky" systémových zdrojů. V těch mohou pracovat na jediném procesoru aplikace či celé operační systémy s různými úkoly, požadavky na bezpečnost či časovou odezvu, aniž by se vzájemně ovlivňovaly.

Mají-li na jednom procesoru společně koexistovat programy s různými požadavky na spolehlivost, musí pod nimi běžící operační systém zajistit, aby zůstaly zcela nezávislé. Rozdělení systémových zdrojů (resource partitioning) je široce akceptovaná technika, jak toho docílit. PikeOS kombinuje rozdělení systémových zdrojů s virtualizací. Jeho virtuální procesory (přihrádky) mohou hostit od jednoduchých programů, přes prostředí pro běh proveditelného kódu (runtime environment) až po celé operační systémy. Hostující operační systémy, jako např. Linux musí být přizpůsobeny rozhraní PikeOS. Aplikační software však zůstává nezměněn.

Každá přihrádka má svou oddělenou sadu systémových prostředků, tudíž v ní běžící programy jsou nezávislé na ostatních aplikacích. Tak je umožněna koexistence neznámého kódu s bezpečnostně kritickými programy na jednom počítači. Na rozdíl od jiných populárních virtuálních strojů (virtual machine, VM) PikeOS rozděluje nejen prostorové zdroje, ale také striktně odděluje časové prostředky jednotlivých hostujících systémů. Virtualizovat tedy lze i programy s vysokými požadavky na práci v reálném čase při zachování jejich vlastností. PikeOS má patentovaný plánovač.[1]

Časové a paměťové prostředky jsou staticky alokovány jednotlivým přihrádkám přes systémový software PikeOS. Tento software společně s mikrokernelem tvoří důvěryhodný kód. Díky malému množství důvěryhodného kódu a modulárnímu designu lze PikeOS využít zejména v bezpečnostně kritických projektech vyžadujících certifikaci podle některého z průmyslových standardů. Známým příkladem je Airbus A350 Integrated Modular Avionics jednotka či výklopný zavazadlový prostor Airbus A400M.[2][3][4]

Certifikační normy

PikeOS je certifikován podle následujících norem:[5]

  • IEC 61508
  • DO-178B
  • EN 50128
  • ISO 26262
  • IEC 62304


Programovací rozhraní a prostředí pro běh proveditelného kódu

Pro PikeOS jsou k dispozici následující prostředí, API a operační systémy

Podporovaný Hardware

PikeOS běží na procesorech architektur PowerPC, x86, ARM, MIPS, SPARC a SuperH. Pro striktní rozdělení systémových zdrojů používá PikeOS Memory Management Unit nebo Memory Protection Unit. Procesory bez těchto jednotek nelze v PikeOS podporovat.

Od verze 3.1 podporuje PikeOS vícejádrové procesory.[9]

End of Life přehled

Produkt Product Verze Spojené CODEO Verze Spojené ELinOS Verze EOL
PikeOS 3.4 (non cert) 5.0, 6.0, 6.1, 6.2 5.2 od té doby 12/2017
PikeOS 3.4 (cert) 5.0, 6.0, 6.1, 6.2 5.2 LTS on x86
PikeOS 3.5 5.0, 6.0, 6.1, 6.2 6.0, 6.1 od té doby 12/2017
PikeOS 4.0 6.0, 6.1, 6.2 6.0, 6.1 od té doby 06/2019
PikeOS 4.1 6.1, 6.2 6.1 Oznámeno pro 04/2021
PikeOS 4.2 (non cert) 6.2 6.2 Proud
PikeOS 4.2 (cert) 6.2 6.2 Proud
PikeOS 5.0 (non cert) 7.0 7.0 Proud
PikeOS 5.0 (cert) 7.0 7.0 Proud

Vysvětlivky

  1. ↑ Patent na rozdělení výpočetní kapacity jednoho výpočetního systému.www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967 Archivováno 5. 6. 2011 na Wayback Machine.
  2. ↑ Airbus selects SYSGO PikeOS for A350 XWB aircraft Archivováno 24. 2. 2012 na Wayback Machine. Article on EDA Geek(18/11/2008)
  3. ↑ Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Article from Military Embedded Systems (10/12/2008)
  4. ↑ In-Flight Equipment for Airbus A400M www.menmicro.com/applications/avionics-in-flight,30AP011.html Archivováno 5. 3. 2012 na Wayback Machine.
  5. ↑ SIL 3-4 certificate. www.sysgo.com [online]. [cit. 2012-09-12]. Dostupné v archivu pořízeném dne 2012-08-30. 
  6. ↑ SYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality Archivováno 29. 3. 2012 na Wayback Machine. Article from ElectronicSpecifier (April 2011)
  7. ↑ Android & Autosar running concurrently on PikeOS Video from Embedded World 2011
  8. ↑ OpenSynergy brings security to infotainment Archivováno 5. 4. 2012 na Wayback Machine. EETimes Automotive (01/11/2011)
  9. ↑ Flexible Multi-Core-Unterstützung für zertifiziertes PikeOS[nedostupný zdroj] Německy na openembedded.de z března 2010

Odkazy

Citováno z „https://cs.wikipedia.org/w/index.php?title=PikeOS&oldid=19065378“