Einleitung

Unter dem Begriff "Organic Computing" versammelt sich in einem Schwerpunktprogramm der DFG[EXTERNAL] eine Reihe von Projekten mit dem Ziel zukünftige, komplexe Probleme zu bewältigen.  Diese Probleme werden so komplex oder vielfältig sein, dass es extrem schwierig ist, sie im Vorfeld komplett zu erfassen und zu lösen. "Organic Computing" versucht dieses Problem zu bewältigen, indem es zukünftigen (Computer-) Systemen die Möglichkeit gibt, sich durch selbst-Rekonfiguration an jede gegebene Sitation anzupassen und aus ihren Handlungen zu lernen.

Zu diesem Zweck werden in den Projekten verschiedenste Ansätze der Selbstorganisation, des Computer-lernens, und der Kontrolle und Steuerung dieser Vorgänge untersucht.

Projekt im IDA

Das Projekt "Embedded Performance Analysis for Organic Computing" (EPOC) befasst sich mit Echtzeitaspekten von adaptiven und selbstorganisierenden Systemen. Unter Echtzeitaspekten verstehen wir Antwortzeiten von Prozessen oder auch Ende-zu-Ende Latenzen von Task-Ketten. (z. B. die Zeit, die verstreicht zwischen dem Betätigen des Bremspedals im Auto und dem Zupacken der Bremsplatten an der Bremsscheibe).

Im Rahmen des Projektes wird ein Framework entwickelt, das es ermöglicht, auch in sich verändernden Systemen, solche Aspekte zu überwachen und auf eventuelle Verletzungen von Vorgaben zu reagieren.

Hierzu wurde die vorhandene Analysesoftware SymTA/S angepasst, so dass sie auch auf eingebetteten Microcontrollern lauffähig ist. Im Zusammenspiel mit im System verteilten Watchdogs, die ein analysierbares Modell der aktuell auf dem System laufenden Anwendungen generieren, entsteht ein Framework, das auch Systemweite Constraints überwachen kann.

Entwicklung eines Demonstrators

im Rahmen dieses Projektes wird ein Demonstrator auf einer Mikrocontroller-Plattform entwickelt. Der aktuelle Aufbau besteht aus zwei Entwicklungsboards, mit je einem Freescale MPC5200 Mikrocontroller, die über CAN vernetzt sind (siehe Bilder).

Auf diesem System soll eine adaptive Betriebssystemumgebung implementiert werden, die systemweite Timingeigenschaften berücksichtigen kann. Das Betriebssystem soll auf Basis des Microkernels MicroC/OS-II (für Universitäre Zwecke frei von der Firma Micrium[EXTERNAL] verfügbar) implementiert werden.

Hierzu muss zunächst der vorhandene MPC5200 Port getestet und auf den Boards zum laufen gebracht werden. Anschließend soll ein Board support package (BSP) für den Microcontroller implementiert werden. Dieses beinhaltet die nötigen Treiber für die wesentlichen Teile des Evaluationsboards.

Außerdem soll eine oder mehrere Anwendungen auf den Boards implementiert werden, die sensibel auf Timingfehler reagieren. Hier bieten sich z.B. Audio/Video Streaming Applikationen an. Im Bereich der Entwicklung des Betriebssystems bzw. einer Anwendung können studentische Arbeiten oder Hiwi Stellen vergeben werden (siehe auch Folien)

Beteiligte Mitarbeiter am IDA

Steffen Stein

Moritz Neukirchner

Harald Schrom

 

Offene Studentische Arbeiten

Zur Zeit keine offenen Angebote

Offene Hiwi Jobs

Zur Zeit keine offenen Angebote

Veröffentlichungen im Projekt

Moritz Neukirchner, Steffen Stein, und Rolf Ernst, "Deriving Monitoring Bounds for Distributed Real-Time Systems," in Proc. of 24th Euromicro Conference on Real-Time Systems (ECRTS), July 2012. to appear. BibTeX Code anzeigen: Deriving Monitoring Bounds for Distributed Real-Time Systems   
Christoph Hamann, "Integration eines Update Managers in das EPOC Framework," Bachelorarbeit, TU Braunschweig, December 2011
IDA-Signatur: BA 10
BibTeX Code anzeigen: Integration eines Update Managers in das EPOC Framework   
Moritz Neukirchner and Rolf Ernst, "A Filtering Approach to Distributed Priority Assignment in Real-Time Systems," in Workshop on Synthesis and optimization Methods for Real-Time Embedded Systems (SOMRES) , (Vienna, Austria), November 2011 BibTeX Code anzeigen: A Filtering Approach to Distributed Priority Assignment in Real-Time Systems   
Moritz Neukirchner, Steffen Stein, und Rolf Ernst, "SMFF: System Models for Free," in 2nd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), (Porto, Portugal), July 2011 BibTeX Code anzeigen: SMFF: System Models for Free   
Steffen Stein, Moritz Neukirchner, und Rolf Ernst, "Admission Control and Self-Configuration in the EPOC Framework," in Proc. of International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI), July 2011 BibTeX Code anzeigen: Admission Control and Self-Configuration in the EPOC Framework   
Moritz Neukirchner, Steffen Stein, Harald Schrom, Johannes Schlatow, und Rolf Ernst, "Contract-based Dynamic Task Management for Mixed-Criticality Systems," in 6th IEEE International Symposium on Industrial Embedded Systems (SIES) , June 2011 BibTeX Code anzeigen: Contract-based Dynamic Task Management for Mixed-Criticality Systems Webseite/URL aufrufen: http://dx.doi.org/10.1109/SIES.2011.5953651 
Moritz Neukirchner, Steffen Stein, Harald Schrom, und Rolf Ernst, "Self-Configuration in Hard Realtime Systems." , June 2011 BibTeX Code anzeigen: Self-Configuration in Hard Realtime Systems   
Moritz Neukirchner, Steffen Stein, und Rolf Ernst, "A Lazy Algorithm for Distributed Priority Assignment in Real-Time Systems," in Proc. of 2nd IEEE Workshop on Self-Organizing Real-Time Systems, No. 126-132, May 2011 BibTeX Code anzeigen: A Lazy Algorithm for Distributed Priority Assignment in Real-Time Systems Webseite/URL aufrufen: http://dx.doi.org/10.1109/ISORCW.2011.22 
Moritz Neukirchner, Steffen Stein, und Rolf Ernst, "The EPOC Architecture - Enabling Evolution under Hard Constraints," in Organic Computing - A Paradigm Shift for Complex Systems (Christian Müller-Schloer and Hartmut Schmeck and Theo Ungerer, Ed.), chapter 4, Birkhäuser Science, 2011 BibTeX Code anzeigen: The EPOC Architecture - Enabling Evolution under Hard Constraints Webseite/URL aufrufen: http://dx.doi.org/10.1007/978-3-0348-0130-0_26 
Steffen Stein, Matthias Ivers, Jonas Diemer, und Rolf Ernst, "A polynomial time algorithm for computing response time bounds in static priority scheduling with convex event models," in Euromicro Conference on Real-Time Systems (ECRTS'10), July 2010 BibTeX Code anzeigen: A polynomial time algorithm for computing  response time bounds in static priority scheduling  with convex event models   
Steffen Stein, Moritz Neukirchner, Harald Schrom, und Rolf Ernst, "Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems," in Workshop on Self-Organizing Real-Time Systems (SORT), May 2010 BibTeX Code anzeigen: Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems Webseite/URL aufrufen: http://dx.doi.org/10.1109/ISORCW.2010.17 
Moritz Neukirchner, Steffen Stein, Harald Schrom, und Rolf Ernst, "A Software Update Service with Self-Protection Capabilities," in Proc. of Design, Automation, and Test in Europe (DATE), (Dresden, Germany), March 2010 BibTeX Code anzeigen: A Software Update Service with Self-Protection Capabilities Webseite/URL aufrufen: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456925 
Steffen Stein, Jonas Diemer, Matthias Ivers, Simon Schliecker, und Rolf Ernst, "On the Convergence of the SymTA/S analysis," TU Braunschweig, Braunschweig, Germany, November 2008 BibTeX Code anzeigen: On the Convergence of the SymTA/S analysis   
Steffen Stein and Rolf Ernst, "Distributed Performance Control in Organic Embedded Systems," in IEEE 5th International Conference on Autonomic and Trusted Computing (ATC-08) Autonomic and Trusted Computing (LNCS), vol. 5060/2008 of series Lecture Notes in Computer Science, pp. 331-342, Springer Berlin / Heidelberg, June 2008 BibTeX Code anzeigen: Distributed Performance Control in Organic Embedded Systems   
Simon Schliecker, Steffen Stein, Joern-Christian Braam, und Martin Schnieringer, "System Level Performance Analysis with Formal Methods and Virtual Prototyping, Embedded World Conference, Nürnberg, Germany." , February 2008 BibTeX Code anzeigen: System Level Performance Analysis with Formal Methods and Virtual  Prototyping, Embedded World Conference, Nürnberg, Germany Webseite/URL aufrufen: http://www.techonline.com/learning/techpaper/210604212 
Steffen Stein, Arne Hamann, und Rolf Ernst, "Real-time Property Verification in Organic Computing Systems," in Proc. of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-06), November 2006 BibTeX Code anzeigen: Real-time Property Verification in Organic Computing Systems   
Steffen Stein, Arne Hamann, und Rolf Ernst, "Real-time Management in Emergent Systems," in 36. Jahrestagung der Gesellschaft für Informatik, (Dresden, Germany), October 2006 BibTeX Code anzeigen: Real-time Management in Emergent Systems   
Instituts-Anschrift:
Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-3734
Fax: (0531) 391-4587
sekretariat(at)ida.ing.tu-bs.de