Maurice Sebastian
 
Raum: 1212
Telefon: +49 531 391 3728
Telefax: +49 531 391 4587
E-Mail:
 
Institut für Datentechnik und Kommunikationsnetze
Hans-Sommer-Straße 66
38106 Braunschweig

Forschungstätigkeit

Im Rahmen des Clusterforschungsprojektes "Autonome Integrierte Systeme[EXTERNAL]" beschäftige ich mich mit der Analyse von Echtzeitfähigkeiten fehlerbehafteter Multiprozessorsysteme.

Eine kurze Zusammenfassung der hierbei auftretenden Fragestellungen sowie der Aktivitäten speziell am IDA findet sich hier.

Studentische Arbeiten

Im Rahmen meiner Forschungstätigkeit betreue ich gerne Studien- und Diplomarbeiten. Bei Interesse sowohl an theoretischen Arbeiten in den Bereichen Echtzeitsysteme und Fehlertoleranz  als auch an praktisch orientieren Programmieraufgaben ist es jederzeit möglich, sich an mich zu wenden. 

Auch die Entwicklung eines Demonstrators zur Präsentation unserer Forschungsergebnisse wird in Zukunft noch einige Arbeiten anfallen lassen, die besonders Studenten mit technischem Interesse ansprechen könnten.  

Offene Hiwi-Stellen

Im Rahmen des Projektes "Autonome Integrierte Systeme" sind derzeit folgende Hiwi-Stellen zu besetzen.

Entwicklung eines Demonstrators

Zur Demonstration der Forschungsergebnisse sollen die entwickelten Methodiken und Algorithmen auf einer Virtex-4  basierten FPGA-Platform umgesetzt werden. Hierzu ist sowohl die Programmierung des FPGA selber als auch die Entwicklung und Integration entsprechender Beispielanwendungen notwendig. Als Zielplatform dient dabei ein modifizierter LEON3-Prozessor, der um autonome Hardwareelemente erweitert wurde.

Voraussetzungen:

  • Sehr gute Kenntnisse in den Programmiersprachen C/C++
  • Fähigkeit zum selbstständigen Arbeiten (Einlesen in wissenschaftliche Methoden)
  • Kenntnisse in den Bereichen Prozessorarchitektur und Echtzeitsysteme sind hilfreich, aber nicht zwingend erforderlich.

Umfang:     

  • 40h/Monat

Software-Entwicklung

Die formalen Verfahren zur Bestimmung der Performance fehlertoleranter Echtzeitsysteme sollen im Analysetool SymTA/S implementiert werden. Neben der algorithmischen Umsetzung der am Institut entwickelten Methodiken steht dabei die Integration in SymTA/S sowie die Bereitstellung von Benutzeroberflächen zur Demonstration der Funktionalität im Vordergrund. Die Programmierung erfolgt in Java.

Voraussetzungen:

  • Sehr gute Kenntnisse der Programmiersprache Java
  • Fähigkeit zum selbstständigen Arbeiten (Einlesen in wissenschaftliche Methoden)
  • Kenntnisse im Bereich der Schedulinganalyse von Echtzeitsystemen sind hilfreich,aber nicht zwingend erforderlich. 

Umfang:         

  • 40h/Monat 

Publikationen

Philip Axer, Maurice Sebastian, und Rolf Ernst, "Probabilistic Response Time Bound for CAN Messages with Arbitrary Deadlines," in Proc. of Design, Automation and Test in Europe , (Dresden, Germany), 2012 BibTeX Code anzeigen: Probabilistic Response Time Bound for CAN Messages with Arbitrary Deadlines   
Maurice Sebastian, Philip Axer, und Rolf Ernst, "Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors," in Proceeding of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, December 2011 BibTeX Code anzeigen: Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors   
Philip Axer, Maurice Sebastian, und Rolf Ernst, "Reliability Analysis for MPSoCs with Mixed-Critical, Hard Real-Time Constraints," in Proc. Intl. Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), (Taiwan), October 2011 BibTeX Code anzeigen: Reliability Analysis for MPSoCs with Mixed-Critical, Hard Real-Time Constraints   
Philip Axer, Jonas Diemer, Mircea Negrean, Maurice Sebastian, Simon Schliecker, und Rolf Ernst, "Mastering MPSoCs for Mixed-Critical Applications," IPSJ Transactions on System LSI Design Methodology, vol. 4, August 2011 BibTeX Code anzeigen: Mastering MPSoCs for Mixed-Critical Applications   
Maurice Sebastian, Philip Axer, Rolf Ernst, Nico Feiertag, und Marek Jersak, "Efficient Reliability and Safety Analysis for Mixed-Criticality Embedded Systems," in SAE 2011 World Congress & Exhibition Technical Papers, April 2011 BibTeX Code anzeigen: Efficient Reliability and Safety Analysis for Mixed-Criticality Embedded Systems   
Volker Schöber, Oliver Bringmann, Andreas Herkersdorf, Walter Stechele, Norbert Wehn, Matthias May, Daniel Ziener, Abdelmajid Bouajila, Daniel Baldin, Johannes Zeppenfeld, Björn Sander, Jürgen Teich, Maurice Sebastian, Rolf Ernst, und Dieter Treytnar, "AIS – Autonomous Integrated Systems," newsletter edacentrum, No. 04/09, pp. 5-13, December 2009 BibTeX Code anzeigen: AIS – Autonomous Integrated Systems   
Maurice Sebastian, Rolf Ernst, "Reliability Analysis of Single Bus Communication with Real-Time Requirements," in Proc. of 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), (Shanghai, China), November 2009 BibTeX Code anzeigen: Reliability Analysis of Single Bus Communication with Real-Time Requirements   
Maurice Sebastian, Rolf Ernst, "Reliability and Safety Guarantees in Modern MPSoCs with Real- Time Requirements," in 3rd edaWorkshop, (Dresden, Germany), May 2009 BibTeX Code anzeigen: Reliability and Safety Guarantees in Modern MPSoCs with Real- Time Requirements   
Maurice Sebastian, Rolf Ernst, "Modelling and Designing Reliable On-Chip-Communication Devices in MPSoCs with Real-Time Requirements," in Proc. of 14th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA), (Hamburg, Germany), September 2008 BibTeX Code anzeigen: Modelling and Designing Reliable On-Chip-Communication Devices in MPSoCs with Real-Time Requirements   
Instituts-Anschrift:
Hans-Sommer-Straße 66
38106 Braunschweig

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