PikeOS

PikeOS
PikeOS
Basisdaten
Entwickler SYSGO AG
Version 3.2
(Mai 2011)
Kernel Mikrokernel
Lizenz Proprietär
Sonstiges Echtzeitbetriebssystem für sicherheitskritische Anwendungen
Website www.sysgo.com/products/pikeos-rtos-technology/

PikeOS ist ein echtzeitfähiges Betriebssystem für sicherheitskritische Anwendungen. Es basiert auf einem Mikrokernel und wird hauptsächlich für eingebettete Systeme verwendet. PikeOS stellt voneinander unabhängige Partitionen bereit. In diesen können Programme mit unterschiedlichen Aufgaben, Sicherheitsansprüchen und Zeitanforderungen laufen ohne sich gegenseitig zu beeinflussen.

PikeOS stellt sicher, dass alle vorhandenen Betriebsmittel, wie zum Beispiel Arbeitsspeicher, eindeutig auf die Partitionen aufgeteilt werden. Partitionen haben ausschließlich auf die ihnen zugewiesenen Ressourcen Zugriff. Über konfigurierbare, gesicherte Kommunikationskanäle können Partitionen untereinander Daten austauschen oder Ressourcen teilen - soweit dieses gewünscht ist. Funktionen mit hohen Ansprüchen an die Betriebssicherheit können mit unkritischen Anwendungen, zum Beispiel auf der Basis von Linux, auf einem System kombiniert werden.

In den Partitionen können einfache Programme, Laufzeitumgebungen oder ganze Gastbetriebssysteme ausgeführt werden. PikeOS nutzt dazu Paravirtualisierung. Daher müssen Gastbetriebssysteme wie Linux an die Schnittstellen von PikeOS angepasst werden. Anwendungsprogramme können unverändert bleiben.

Das Zeitverhalten des Gesamtsystems kann umfangreich konfiguriert werden. Es ist möglich, Echtzeitbedingungen für zeitkritische Programme zu erfüllen und nebenläufig unkritische Programme auszuführen. Der Scheduler von PikeOS ist patentiert[1].

Aufgrund der modularen Architektur, der strikten Partitionierung sowie der sehr kleinen Trusted Computing Base eignet sich PikeOS für Zertifizierungen nach Standards wie IEC 61508, DO-178B, EN 50128 und EN 62304. Bekannte Einsatzbeispiele sind die Integrierte Modulare Avionik Module des Airbus A350 sowie die Loadmaster Workstation des Airbus A400M [2][3].

Inhaltsverzeichnis

Programmierschnittstellen und Laufzeitumgebungen

Für PikeOS sind folgende Laufzeitumgebungen, Programmierschnittstellen und Gastbetriebssysteme verfügbar

Eine AUTOSAR Laufzeitumgebung wird derzeit für PikeOS entwickelt.

Unterstützte Hardware

PikeOS läuft auf Prozessoren mit PowerPC, x86, ARM, MIPS, SPARC und SuperH Architekturen. Um die strikte Partitionierung der Betriebsmittel sicherzustellen muss der Prozessor über eine Memory Management Unit oder Memory Protection Unit verfügen.

Seit der Version 3.1 unterstützt PikeOS multicore Systeme[6].

Einzelnachweise

  1. Patent über ein Verfahren zur Verteilung von Rechenzeit in einem Rechnersystem www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967
  2. Virtualisierungsplattform hält im Airbus A350 XWB Einzug In: Elektronikpraxis, November 2008
  3. Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Englischer Artikel auf Military Embedded Systems von Dezember 2008
  4. Android und Autosar laufen zeitgleich auf PikeOS Video aufgenommen auf der Messe Embedded World 2011
  5. Automotive-Betriebssystem mit PikeOS Artikel auf elektronikinformationen.de von Februar 2011
  6. Flexible Multi-Core-Unterstützung für zertifiziertes PikeOS Artikel auf openembedded.de von März 2010

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • PikeOS — Infobox OS name = PikeOS caption = developer = [http://www.sysgo.com SYSGO AG] source model = kernel type = Microkernel supported platforms = ui = family = Real time operating systems released = latest release version = latest release date =… …   Wikipedia

  • Comparison of platform virtual machines — Platform virtual machines are software packages which emulate the whole physical computer machine, often giving multiple virtual machines on one physical platform. The table below compares basic information about platform virtual machine (VM)… …   Wikipedia

  • SYSGO — Infobox Company company name = SYSGO AG company company type = company slogan = Embedding Innovations foundation = 1991 location = Mainz key people = num employees = industry = products = revenue = homepage = [http://www.sysgo.com/ www.sysgo.com] …   Wikipedia

  • Virtualisierung (Informatik) — In der Informatik ist die eindeutige Definition des Begriffs Virtualisierung nicht möglich, da der Begriff in vielen unterschiedlichen Anwendungsfällen anders ausgeprägt ist. Es gibt viele Konzepte und Technologien im Bereich der Hardware und… …   Deutsch Wikipedia

  • Операционная система реального времени — Запрос «ОСРВ» перенаправляется сюда; о советском клоне системы RSX 11 см. ОСРВ СМ ЭВМ. Операционная система реального времени, ОСРВ (англ. Real Time Operating System)  тип операционной системы. Есть много определений термина, по сути… …   Википедия

  • Operating system — Operating systems …   Wikipedia

  • OS-9 — For the Macintosh operating system, see Mac OS 9. OS 9 Company / developer Microware (now owned by RadiSys Corporation) Programmed in C, Assembly language OS family Unix like Working state Current …   Wikipedia

  • Symmetric multiprocessing — In computing, symmetric multiprocessing (SMP) involves a multiprocessor computer hardware architecture where two or more identical processors are connected to a single shared main memory and are controlled by a single OS instance. Most common… …   Wikipedia

  • DNIX — Company / developer Dataindustrier AB OS family Unix like Working state Historic Source model Closed source Latest stable release 5.4 …   Wikipedia

  • MenuetOS — For other uses, see Meos (disambiguation). MenuetOS Screenshot Company / developer Ville M. Turjanmaa Programmed in FASM assembly language Working …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”