| 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
| |
| dbo:latestReleaseVersion
| |
| dbo:license
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8643 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:caption
|
- Architecture of SYSGO's PikeOS (en)
|
| dbp:developer
| |
| dbp:family
| |
| dbp:kernelType
| |
| dbp:language
| |
| dbp:latestReleaseVersion
| |
| dbp:license
| |
| dbp:marketingTarget
| |
| dbp:name
| |
| dbp:screenshot
|
- Architecture of PikeOS from SYSGO.png (en)
|
| dbp:sourceModel
| |
| dbp:supportedPlatforms
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workingState
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:product
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:products
of | |
| is foaf:primaryTopic
of | |
