Beitrags-Archiv für die Kategory 'Vorträge'

Nutzung von Mehrkernprozessoren in sicherheitskritischen Cyber-Physical Systems

Donnerstag, 14. Juni 2012 9:58

An der BTU Cottbus hielt ich am 01.06.2012 einen Vortrag zu meinem Promotionsthema. Der lange Vortragstitel lautet: “Nutzung von Mehrkernprozessoren in sicherheitskritischen Cyber-Physical Systems – Eine Entwicklungsmethodik zur Multifunktionsintegration auf der Basis von Correctness-by-Construction”. Hier eine kurze Zusammenfassung aus der Ankündigung:

Eingebettete Systeme übernehmen immer mehr Funktionen in unserem Alltag. Dazu werden sie stärker vernetzt und enger an physikalische Prozesse in der Umgebung gekoppelt. Sie
werden zu Cyber-Physical Systems. Mehrkernprozessoren bieten eine vielversprechende Plattform zur Realisierung dieser Systeme. Allerdings ist ihr Einsatz mit verschiedenen Herausforderungen verbunden. Diese liegen insbesondere bei der sicheren Integration von verschiedenen Anwendungen mit unterschiedlichen Kritikalitätsstufen.

Die Entwicklung derartiger Systeme muss die Umsetzung von sowohl funktionalen Anforderungen als auch Qualitätsanforderungen, wie Echtzeitfähigkeit und Zuverlässigkeit,
miteinander verbinden. Dies stellt eine signifikante Herausforderung für etablierte Entwicklungsprozesse dar.

“Correctness-by-Construction (CbyC)” ist ein etablierter Ansatz zur Entwicklung von High-Integrity Software, zum Beispiel für die Steuerung von Kernkraftwerken. Dieser Ansatz ist die Folge der
Erkenntnis, dass klassische Entwicklungsverfahren für sicherheitskritische Systeme nicht ausreichend sind. Im Rahmen von CbyC wird deshalb ein starker Fokus auf ein formalisiertes und
automatisierbares Vorgehen gelegt.

In diesem Vortrag wird gezeigt, wie die Grundsätze von CbyC auch im Rahmen des Systems Engineering bei der Integration von Anwendungen auf Mehrkernprozessoren angewendet werden
können. Der Schwerpunkt wird dabei auf die Aspekte: Konstruktion von Deployments und Schedules, sowie eine automatisierte Validierung gelegt.

Hier gibt es die Folien zum Download.

Thema: Forschung & Promotion, Modellierung, Multicore, Vorträge | Kommentare (0) | Autor:

Fachtagung: Funktions- und angriffssichere Softwaresysteme im Automobil

Freitag, 20. April 2012 11:25

Zum Abschluss des regionalen Forschungsprojekt “VirtuOS” gibt es wieder die Möglichkeit sich im Rahmen einer Fachtagung am 26. April 2012 über die Projektergebnisse zu informieren und mit den Beteiligten ins Gespräch zu kommen.

Projekthintergrund

Funktionssicherheit (Safety) und Angriffssicherheit (Security) sind Voraussetzungen für den Einsatz von embedded Software im Auto. Im Rahmen des Projekts VirtuOS (Virtuelle Architekturen für sichere automotive Softwaresysteme mit domänenübergreifender, sicherheitsrelevanter Kommunikation) wurden während der letzten drei Jahre Prozesse, Werkzeuge und Methoden, die eine nachweisbar sichere Software ermöglichen, erforscht. Projektpartner sind die Technische Universität Berlin (Fachgebiet Softwaretechnik), das Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST und das Berliner Softwareunternehmen OpenSynergy GmbH. Das Forschungsprojekt wird gefördert durch Mittel des Europäischen Fonds für Regionalentwicklung (EFRE) und den Zukunftsfond Berlin.

Auf der Fachtagung stellen wir die Ergebnisse aus dem Projekt vor. Neben Konzepten für Safety und Security präsentieren wir Demonstratoren sicherer eingebetteter Softwaresysteme für das Auto auf der Basis von Virtualisierung und Mikrokerntechnologie sowie Tools zur Entwicklung sicherer Software. Darüber hinaus laden Experten aus der Forschung, Toolhersteller und Kunden aus der Zulieferindustrie zur gemeinsamen Diskussion ein.

Programm

14:00 Uhr: Eröffnung der Fachtagung, Thomas Meißner, Leiter Geschäftsbereich Verkehr und Mobilität TSB Innovationsagentur Berlin GmbH

14:15 Uhr: KEYNOTE, Static Analysis for Verifying Safety Properties,
Prof. Dr. Dr. h.c. Dr. h.c. Reinhard Wilhelm, Universität des Saarlandes

15:00 Uhr: Vorstellung der Ergebnisse aus dem Projekt VirtuOS, Dr. Matthias Gerlach, Projektleiter VirtuOS OpenSynergy GmbH

15:20 Uhr: Vorstellung der Demonstratoren

15:40 Uhr: Pause mit Besichtigung der Demonstratoren

16:00 Uhr: Safety and Security using Microkernel Technology, Dr. Matthias Gerlach, Projektleiter VirtuOS OpenSynergy GmbH

16:20 Uhr: Modellbasierte Konstruktion und Validierung von Statischen
Schedules in Sicherheitskritischen Systemen, Robert Hilbrich, Forschungsleiter Embedded Multi-Core Fraunhofer FIRST

16:40 Uhr: Sicherheit durch modulare Programmverifikation, Marcus Mews, wissenschaftlicher Mitarbeiter im Fachgebiet Softwaretechnik, TU-Berlin

17:00 Uhr: Wrap-up

17:30 Uhr Verabschiedung

Anschließend informelles Get-together

Veranstaltungsort

Wissenschafts- und Technologiepark Adlershof
Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST
Kekuléstraße 7
Raum D06
12489 Berlin

Anmeldung

Der Besuch der Veranstaltung ist kostenfrei. Es wird um eine vorherige Anmeldung gebeten.

 

Thema: Forschung & Promotion, Konferenzen, Multicore, Vorträge | Kommentare (0) | Autor:

Workshop: Multicore in sicherheitskritischen Echtzeitsystemen

Montag, 21. November 2011 10:09

In diesem Jahr hat uns sogar Heise in den Newsletter aufgenommen:

Multi-Core in sicherheitskritischen- und Echtzeitsystemen

Das Fraunhofer-Institut FIRST veranstaltet am 24. November 2011 seine zweite Multi-Core-Veranstaltung mit dem Fokus auf dem Einsatz von Mehrkernprozessoren in sicherheitskritischen- und Echtzeitsystemen. Experten aus Industrie und Wissenschaft sollen in Berlin (Kekuléstr. 7, Adlershof) neue Techniken im Bereich der Multi-Core- und Many-Core-Prozessoren präsentieren und dabei praktische Ansätze für deren Einsatz aufzeigen. Die Teilnehmer erhalten einen Überblick über Trends und Lösungen und können sich über die aktuelle Forschung bei Fraunhofer FIRST informieren.

Es sind nur noch wenige Tage bis zum Workshop. Wer sich für das Thema interessiert, dem kann ich als Tagungsleiter nur versichern, dass sich die investierte Zeit auch wirklich lohnt.

Programmheft: [PDF]

Thema: Konferenzen, Vorträge | Kommentare (0) | Autor:

Virtualisierung bei sicherheitskritischen, eingebetteten Geräten

Sonntag, 2. Oktober 2011 21:22

Am Dienstag, 4. Oktober 2011 gibt es im Rahmen der Jahrestagung der Gesellschaft für Informatik einen Workshop zum Thema “Virtualisierung – gestern, heute und morgen”. Ich habe als einer von fünf Referenten die Ehre, einen Perspektivenwechsel vorzunehmen. In meinem Beitrag beschreibe ich die Anforderungen an die Virtualisierung als Technologie für die Entwicklung sicherheitskritischer, eingebetteter Systeme. Dazu zählen zum Beispiel die Steuerrechner im Flugzeug, aber auch die Kontroll- und Regelsysteme in einem Atomkraftwerk.

Hier die Kurzfassung meines Beitrages im Tagungsband:

Virtualisierung ist nicht nur ein aktuelles Thema für Rechenzentren und deren Server. Auch bei sicherheitskritischen, eingebetteten Systemen werden Virtualisierungstechnologien eingesetzt. Dieser Trend ist auch das Ergebnis einer zunehmenden Verwendung von Mehrkern Prozessoren zur Erhöhung der Funktionsdichte und zur weiteren Senkung der Kosten. Diese Arbeit beschreibt die Verwendung von Virtualisierung im Engineering-Konflikt zwischen dem Streben nach gleichzeitiger Isolation und Integration eines Gesamtsystems.

Dies führt zu einer Spezialisierung des Begriffs Virtualisierung, um den Anforderungen sicherheitsgerichteter, eingebetteter Systeme stärker Rechnung zu tragen. Anhand eines aktuellen Fallbeispiels aus dem Automotive-Kontext werden diese neuen Anforderungen in einem konkreten Anwendungskontext illustriert und diskutiert. Als Ausblick auf zukünftige Herausforderungen werden abschließend die zukünftigen Entwicklungen bei Manycore Architekturen vorgestellt und die wesentlichen Potentiale und Auswirkungen für das Systemdesign herausgearbeitet.

Über eine interessante Diskussion und anregendes Feedback aus der Virtualisierungscommunity würde ich mich freuen…

Download: [PDF]

Thema: Forschung & Promotion, Konferenzen, Multicore, Vorträge | Kommentare (0) | Autor:

Workshop: Multicore-Prozessoren in Echtzeitsystemen

Montag, 19. September 2011 16:42

Auch in diesem Jahr veranstalten wir wieder einen Workshop im Themenbereich Multicore und Embedded Systems. In diesem Jahr steht der Workshop unter dem Thema: “Multicore-Prozessoren in Echtzeitsystemen”.

Aus der Ankündigung:

Multicore-Prozessoren sind heute bereits Standard in Desktop- und Serverrechner. Dennoch stehen die Entwickler bei der Integration dieser Prozessoren in den Entwicklungsprozess von sicherheitskritischen, eingebetteten Systemen immer noch am Anfang. Denn die Herausforderungen sind groß: Für solche Systeme müssen nicht nur parallele Softwarearchitekturen entwickelt sondern auch die Qualitätssicherung und Zertifizierung muss im Auge behalten werden.

Um sichere Systeme zu bauen und die höhere Leistungsfähigkeit zu nutzen, sind Technologien nötig, die die Neuigkeiten in der Architektur bewältigen und unter allen Umständen ein korrektes Verhalten garantieren können. Fraunhofer FIRST hat langjährige Erfahrung mit Parallelrechnern und der Qualitätssicherung von eingebetteten Systemen, und nutzt state-of-the-art Multicore-Prozessoren in aktuellen Projekten.

Weitere Informationen gibt es unter: http://www.first.fraunhofer.de/aktuell/multicoreworkshop_2011/

Thema: Multicore, Vorträge | Kommentare (0) | Autor:

Embedded Multi-Core Workshop

Mittwoch, 17. November 2010 16:26

Am 10. November trafen sich im Fraunhofer-Institut FIRST Vertreter aus Industrie und Wissenschaft um sich bei meinem Workshop „Multi-Core – die Zukunft für eingebettete Systeme“ über die neuesten Entwicklungen auf diesem Gebiet zu informieren. Unter den 30 Teilnehmern fanden sich Vertreter von Unternehmen wie Wind River, Robert Bosch oder EADS Astrium. Die Teilnehmerzahl bestätigte die bisherige Wahrnehmung meiner Arbeitsgruppe, dass es sich beim Thema Multi-Core um ein Zukunftsthema für die Industrie handelt.

Der Workshop war so konzipiert, dass sich in den Vorträgen die Erfahrungsberichte von Vertretern von Industrieunternehmen mit den Erkenntnissen von FIRST-Wissenschaftlern abwechselten und so ein Überblick über die Thematik entstehen konnte. Besonderes Interesse entstand bei der Vorstellung unseres Scheduling-Tools „PRECISION PRO“ und beim Überblick wie sich Multi-Core-Prozessoren in sicherheitskritischen Anwendungen einsetzen lassen.

Im Anschluss an den Workshop fand die Besichtigung unseres neuen Multi-Core Labors statt. Die Teilnehmer konnten sich bei einer Führung über die verschiedenen Forschungsarbeiten informieren, an denen im Labor gearbeitet wird, und zu den einzelnen Präsentationen Fragen stellen.

Thema: Forschung & Promotion, Multicore, Vorträge | Kommentare (0) | Autor:

Web Services auf eingebetteten Geräten in einem Body Area Network

Freitag, 21. Mai 2010 13:57

Wirkliches Plug-and-Play Verhalten von verteilten Geräten ist die Voraussetzung für eine ubiquitäre Verbreitung von körpernaher Sensorik. An dieser Stelle spielt eine intelligente Softwareschicht eine entscheidende Rolle. Insbesondere sind die charakteristischen Eigenschaften Service-orientierter Architekturen für diesen Anwendungsfall vorteilhaft:

  • die lose Kopplung zwischen Geräten,
  • die Abstraktion von den konkreten Eigenschaften der Hardware und
  • die Reduzierung des benötigten Vorwissens für eine Interaktion.

Die Nutzung von Service-orientierten Architekturen führt allerdings zu einem erhöhten Resourcenbedarf, der gerade bei eingebetteten Systemen mit beschränkten Resourcen (zum Beispiel Sensorknoten) mit Herausforderungen verbunden ist.

Für den Workshop Service Oriented Architectures in Converging Networked Environments (SOCNE) auf der International Conference on Advanced Information Networking and Applications (AINA) in Perth habe ich eine Studie veröffentlicht, in der am Beispiel eines Body Area Networks (BAN) die Performance von Service-orientierten Architekturen auf eingebetteten Geräten evaluiert wird.

Download

  • Paper [PDF]
  • Präsentation [PDF]

Thema: Forschung & Promotion, Konferenzen, Publikationen, Vorträge | Kommentare (0) | Autor:

Dynamische Partitionierung von Multi-Core Prozessoren

Donnerstag, 20. Mai 2010 13:35

Partitionierung von Ressourcen ist ein essentielles Hilfsmittel im Entwicklungsprozess, um Applikationen mit Echtzeitanforderungen auf einem Multi-Core Prozessor zu integrieren.

In einem Vortrag im Rahmen des Workshops “International Workshop on Multi-Core Software Engineering (IWMSE ) auf der Internation Conference on Software Engineering (ICSE) in Kapstadt habe ich einen kurzen Überblick über meine aktuellen Forschungsarbeiten in diesem Bereich gegeben.

Download

  • Paper [PDF]
  • Präsentation [PDF]

Thema: Forschung & Promotion, Konferenzen, Multicore, Publikationen, Vorträge | Kommentare (0) | Autor:

Multi-Core Vortrag

Mittwoch, 24. Februar 2010 10:46

Im Rahmen einer Vortragsreihe in meinem Fraunhofer Institut FIRST, hielt ich einen Vortrag, der einen kurzen Überblick über meine aktuelle Arbeit und mein Promotionsvorhaben im Bereich Multi-Core Prozessoren in sicherheitskritischen Systemen gibt.

Download [PDF, 430kB]

Thema: Forschung & Promotion, Multicore, Vorträge | Kommentare (0) | Autor:

Scala Actors Library

Freitag, 27. November 2009 11:21

Im Rahmen meiner Promotion beschäftige ich mich mit dem Thema Multi-/Many-core Prozessoren, insbesondere im Umfeld sicherheitskritischer, verteilter, eingebetteter Systeme mit harten Echtzeitanforderungen.

In diesem Zusammenhang habe ich mir detailliert die Programmiersprache Scala und die dazugehörige Bibliothek “Actors” angeschaut. Dabei entstand der folgende Überblicksvortrag, der auf den am Ende genannten Referenzen aufbaut.

Natürlich erschlägt man mit diesem zugrunde liegenden Prozessmodell nicht alle Problemklassen der parallelen Programmierung. Dennoch bin ich der Überzeugung, dass es eine hinreichend große Menge an Anwendungsbereichen gibt, in denen diese Art der Modellierung sinnvoll ist.

[Scala-Actors.pdf]

Thema: Modellierung, Multicore, Vorträge | Kommentare (0) | Autor: