Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Modellbasierte Generierung von statischen Schedules für sicherheitskritische, eingebettete Systeme mit Multicore Prozessoren und harten Echtzeitanforderungen

 
: Hilbrich, Robert; Kampenhout, J. Reinier van; Goltz, Hans-Joachim

:
Preprint urn:nbn:de:0011-n-2497437 (871 KByte PDF)
MD5 Fingerprint: 032f5a0ad005dc9a257c54005e4522b2
Erstellt am: 24.7.2013


Halang, Wolfgang A. (Hrsg.) ; Gesellschaft für Informatik -GI-, Fachausschuss Echtzeitsysteme; VDI/VDE-Gesellschaft Meß- und Automatisierungstechnik -GMA-, Düsseldorf; Informationstechnische Gesellschaft -ITG-:
Herausforderungen durch Echtzeitbetrieb. Echtzeit 2011 : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 3. und 4. November 2011
Berlin: Springer, 2012 (Informatik aktuell)
ISBN: 978-3-642-24657-9 (Print)
ISBN: 978-3-642-24658-6 (Online)
ISSN: 1431-472X
S.29-38
Fachtagung Echtzeit <2011, Boppard>
Deutsch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer FIRST ()
PRECISION PRO; Real-Time Systems; Multicore; Scheduling

Abstract
In dieser Arbeit wird anhand des neuen Werkzeugs PRECISION PRO das Potential der automatisierten Generierung von statischen Schedules für sicherheitskritische, eingebettete Systeme beschrieben. Dessen Erstellung ist häufig mit einem hohen manuellen Aufwand verbunden, da er von hoher Bedeutung für einen erfolgreichen Zertifizierungsprozess ist. Eine modellbasierte Generierung ermöglicht ein schnelles Feedback, eine frühe Bewertung der Hardware- und Softwarearchitekturen, sowie erweiterte Möglichkeiten zur Optimierung der Systemauslastung. Dabei ist immer sichergestellt, dass alle spezifizierten Anforderungen erfüllt sind.

: http://publica.fraunhofer.de/dokumente/N-249743.html