PikeOS (original) (raw)
PikeOS ist ein Echtzeitbetriebssystem des Unternehmens Sysgo. Es bietet einen auf einem Separation-Kernel basierenden Hypervisor mit mehreren Partitionstypen für viele andere Betriebssysteme (sogenannte Gastbetriebssysteme / Guest OS) und Anwendungen. PikeOS ermöglicht Benutzern die Erstellung zertifizierbarer intelligenter Geräte für das Internet der Dinge entsprechend der Qualitäts- und Sicherheitsstandards verschiedener Branchen. Für sicherheitskritische Echtzeitanwendungen auf Controller-basierten Systemen ohne Memory Management Unit (MMU), aber mit Memory Protection Unit (MPU) ist PikeOS for MPU verfügbar.
| Property | Value |
|---|---|
| dbo:abstract | 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. Pro bezpečnostně a bezpečnostně kritické aplikace reálného času v systémech založených na řadiči bez jednotky správy paměti (MMU), ale s jednotkou ochrany paměti (MPU) je k dispozici systém PikeOS for MPU. 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č. Č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. (cs) PikeOS ist ein Echtzeitbetriebssystem des Unternehmens Sysgo. Es bietet einen auf einem Separation-Kernel basierenden Hypervisor mit mehreren Partitionstypen für viele andere Betriebssysteme (sogenannte Gastbetriebssysteme / Guest OS) und Anwendungen. PikeOS ermöglicht Benutzern die Erstellung zertifizierbarer intelligenter Geräte für das Internet der Dinge entsprechend der Qualitäts- und Sicherheitsstandards verschiedener Branchen. Für sicherheitskritische Echtzeitanwendungen auf Controller-basierten Systemen ohne Memory Management Unit (MMU), aber mit Memory Protection Unit (MPU) ist PikeOS for MPU verfügbar. (de) PikeOS est un système d'exploitation temps réel (RTOS) basé sur un noyau de séparation offrant une fonctionnalité d’hyperviseur avec plusieurs types de partition pour de nombreux autres systèmes d'exploitation (appelés GuestOS) et applications. Il permet à ses utilisateurs de construire des équipements ou appareils intelligents certifiables pour l'Internet des Objets conformément aux normes de qualité, de sûreté et de sécurité des différents secteurs industriels. Pour les applications en temps réel critiques en matière de sécurité et de sûreté sur des systèmes basés sur des contrôleurs sans Unité de gestion de mémoire (MMU) mais avec une unité de protection de la mémoire (MPU), PikeOS for MPU est disponible. (fr) PikeOS is a commercial, hard real-time operating system (RTOS) that offers a separation kernel based hypervisor with multiple logical partition types for many other operating systems (OS), each called a GuestOS, and applications. It enables users to build certifiable smart devices for the Internet of things (IoT) according to the high quality, safety and security standards of different industries. For safety and security critical real-time applications on controller-based systems without memory management unit (MMU) but with memory protection unit (MPU) PikeOS for MPU is available. (en) PikeOSは、 が開発したマイクロカーネルに基づくリアルタイムオペレーティングシステムである。高度な信頼性とセキュリティが重要な組込みシステムをターゲットにしている。多重オペレーティングシステムのための論理区画環境を提供し、安全要求やセキュリティー要件といった異なる設計目標を単一マシンで共存させることができる。 (ja) |
| dbo:developer | dbr:SYSGO |
| dbo:latestReleaseVersion | 5.1 |
| dbo:license | dbr:Proprietary_software |
| dbo:thumbnail | wiki-commons:Special:FilePath/Architecture_of_PikeOS_from_SYSGO.png?width=300 |
| dbo:wikiPageExternalLink | https://www.sysgo.com/pikeos https://www.sysgo.com/fileadmin/user_upload/data/flyers_brochures/SYSGO_PikeOS_Product_Note.pdf https://www.sysgo.com/fileadmin/user_upload/data/flyers_brochures/SYSGO_PikeOS_Product_Overview.pdf |
| dbo:wikiPageID | 5929146 (xsd:integer) |
| dbo:wikiPageLength | 8643 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1091267475 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:PowerPC dbr:End-of-life_product dbr:Separation_kernel dbr:ELinOS dbr:Input/output dbr:Library_(computing) dbr:Proprietary_software dbr:Concurrent_computing dbr:SPARC dbr:SYSGO dbr:Computing_platform dbr:Container_(type_theory) dbr:Android_(operating_system) dbr:Application_programming_interface dbr:Linux dbr:Common_Criteria dbr:Embedded_system dbr:Closed_source dbr:Paravirtualization dbr:Microkernel dbc:Embedded_operating_systems dbr:Logical_partition dbr:ARM_architecture dbr:Ada_(programming_language) dbc:Real-time_operating_systems dbc:Virtualization_software dbr:DO-178B dbr:Eclipse_(software) dbr:POSIX dbr:Central_processing_unit dbr:Software_deployment dbr:Process_(computing) dbr:Ravenscar_profile dbr:Real-time_operating_system dbr:International_Electrotechnical_Commission dbr:International_Organization_for_Standardization dbr:Internet_of_things dbr:Java_(programming_language) dbr:Hypervisor dbr:API dbr:ARINC_653 dbr:AUTOSAR dbc:ARM_operating_systems dbc:Microkernel-based_operating_systems dbc:Microkernels dbr:L4_microkernel_family dbr:Integrated_development_environment dbr:Operating_system dbr:RTEMS dbr:Radio_Technical_Commission_for_Aeronautics dbr:WolfSSL dbr:X86 dbr:Memory_management_unit dbr:Memory_protection_unit dbr:Virtual_machine dbr:Smart_device dbr:Virtualization dbr:IEC_61508 dbr:IEC_62304 dbr:ISO_26262 dbr:File:Example_Resource_&_Time_Partitioning.png |
| dbp:caption | Architecture of SYSGO's PikeOS (en) |
| dbp:developer | SYSGO GmbH (en) |
| dbp:family | dbr:L4_microkernel_family |
| dbp:kernelType | dbr:Microkernel dbr:Real-time_operating_system |
| dbp:language | English (en) |
| dbp:latestReleaseVersion | 5.100000 (xsd:double) |
| dbp:license | dbr:Proprietary_software |
| dbp:marketingTarget | Embedded systems (en) |
| dbp:name | PikeOS (en) |
| dbp:screenshot | Architecture of PikeOS from SYSGO.png (en) |
| dbp:sourceModel | dbr:Closed_source |
| dbp:supportedPlatforms | dbr:PowerPC dbr:SPARC dbr:ARM_architecture dbr:X86 |
| dbp:wikiPageUsesTemplate | dbt:Real-time_operating_systems dbt:Advert dbt:As_of dbt:Infobox_OS dbt:Official_URL dbt:Official_Website dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:Virtualization_products dbt:Microkernel |
| dbp:wordnet_type | http://www.w3.org/2006/03/wn/wn20/instances/synset-operating_system-noun-1 |
| dbp:workingState | Current (en) |
| dcterms:subject | dbc:Embedded_operating_systems dbc:Real-time_operating_systems dbc:Virtualization_software dbc:ARM_operating_systems dbc:Microkernel-based_operating_systems dbc:Microkernels |
| gold:hypernym | dbr:System |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 |
| rdfs:comment | PikeOS ist ein Echtzeitbetriebssystem des Unternehmens Sysgo. Es bietet einen auf einem Separation-Kernel basierenden Hypervisor mit mehreren Partitionstypen für viele andere Betriebssysteme (sogenannte Gastbetriebssysteme / Guest OS) und Anwendungen. PikeOS ermöglicht Benutzern die Erstellung zertifizierbarer intelligenter Geräte für das Internet der Dinge entsprechend der Qualitäts- und Sicherheitsstandards verschiedener Branchen. Für sicherheitskritische Echtzeitanwendungen auf Controller-basierten Systemen ohne Memory Management Unit (MMU), aber mit Memory Protection Unit (MPU) ist PikeOS for MPU verfügbar. (de) PikeOS est un système d'exploitation temps réel (RTOS) basé sur un noyau de séparation offrant une fonctionnalité d’hyperviseur avec plusieurs types de partition pour de nombreux autres systèmes d'exploitation (appelés GuestOS) et applications. Il permet à ses utilisateurs de construire des équipements ou appareils intelligents certifiables pour l'Internet des Objets conformément aux normes de qualité, de sûreté et de sécurité des différents secteurs industriels. Pour les applications en temps réel critiques en matière de sécurité et de sûreté sur des systèmes basés sur des contrôleurs sans Unité de gestion de mémoire (MMU) mais avec une unité de protection de la mémoire (MPU), PikeOS for MPU est disponible. (fr) PikeOS is a commercial, hard real-time operating system (RTOS) that offers a separation kernel based hypervisor with multiple logical partition types for many other operating systems (OS), each called a GuestOS, and applications. It enables users to build certifiable smart devices for the Internet of things (IoT) according to the high quality, safety and security standards of different industries. For safety and security critical real-time applications on controller-based systems without memory management unit (MMU) but with memory protection unit (MPU) PikeOS for MPU is available. (en) PikeOSは、 が開発したマイクロカーネルに基づくリアルタイムオペレーティングシステムである。高度な信頼性とセキュリティが重要な組込みシステムをターゲットにしている。多重オペレーティングシステムのための論理区画環境を提供し、安全要求やセキュリティー要件といった異なる設計目標を単一マシンで共存させることができる。 (ja) 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. Pro bezpečnostně a bezpečnostně kritické aplikace reálného času v systémech založených na řadiči bez jednotky správy paměti (MMU), ale s jednotkou ochrany paměti (MPU) je k dispozici systém PikeOS for MPU. (cs) |
| rdfs:label | PikeOS (cs) PikeOS (de) PikeOS (fr) PikeOS (ja) PikeOS (en) |
| owl:sameAs | freebase:PikeOS wikidata:PikeOS dbpedia-cs:PikeOS dbpedia-de:PikeOS dbpedia-fr:PikeOS dbpedia-ja:PikeOS https://global.dbpedia.org/id/YwU1 |
| prov:wasDerivedFrom | wikipedia-en:PikeOS?oldid=1091267475&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Architecture_of_PikeOS_from_SYSGO.png wiki-commons:Special:FilePath/Example_Resource_&_Time_Partitioning.png |
| foaf:homepage | http://www.sysgo.com |
| foaf:isPrimaryTopicOf | wikipedia-en:PikeOS |
| foaf:name | PikeOS (en) |
| is dbo:product of | dbr:SYSGO |
| is dbo:wikiPageRedirects of | dbr:Pikeos |
| is dbo:wikiPageWikiLink of | dbr:PowerPC dbr:Separation_kernel dbr:V850 dbr:ELinOS dbr:List_of_operating_systems dbr:Computer_security dbr:SYSGO dbr:Embedded_hypervisor dbr:Comparison_of_MQTT_implementations dbr:Comparison_of_platform_virtualization_software dbr:Comparison_of_real-time_operating_systems dbr:ARM_architecture_family dbr:Formal_verification dbr:POSIX dbr:L4_microkernel_family dbr:LEON dbr:Operating_system dbr:WolfSSH dbr:WolfSSL dbr:Pikeos |
| is dbp:products of | dbr:SYSGO |
| is foaf:primaryTopic of | wikipedia-en:PikeOS |
