|
|
Forschungstätigkeit
Im Rahmen des Clusterforschungsprojektes "Autonome Integrierte Systeme " 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: 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:
| 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 |  | | | | @inproceedings{axer2012probabilistic, ADDRESS = "Dresden, Germany", AUTHOR = "Philip Axer and Maurice Sebastian and Rolf Ernst", BOOKTITLE = "Proc. of Design, Automation and Test in Europe ", TITLE = "Probabilistic Response Time Bound for CAN Messages with Arbitrary Deadlines", YEAR = "2012",
} | | 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 |  | | | | @inproceedings{sebastian2011utilizing, AUTHOR = "Maurice Sebastian and Philip Axer and Rolf Ernst", BOOKTITLE = "Proceeding of the 17th IEEE Pacific Rim International Symposium on Dependable Computing", MONTH = "December", TITLE = "Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors", YEAR = "2011",
} | | 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 |  | | | | @inproceedings{axer2011reliability, ADDRESS = "Taiwan", AUTHOR = "Philip Axer and Maurice Sebastian and Rolf Ernst", BOOKTITLE = "Proc. Intl. Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)", MONTH = "October", TITLE = "Reliability Analysis for MPSoCs with Mixed-Critical, Hard Real-Time Constraints", YEAR = "2011",
} | | 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 |  | | | | @article{ADN+11:MasteMPSoCMixedAppli, AUTHOR = "Philip Axer and Jonas Diemer and Mircea Negrean and Maurice Sebastian and Simon Schliecker and Rolf Ernst", JOURNAL = "IPSJ Transactions on System LSI Design Methodology", MONTH = "August", TITLE = "Mastering MPSoCs for Mixed-Critical Applications", VOLUME = "4", YEAR = "2011",
} | | 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 |  | | | | @inproceedings{Seb11:EfficReliaSafetAnaly, AUTHOR = "Maurice Sebastian and Philip Axer and Rolf Ernst and Nico Feiertag and Marek Jersak", BOOKTITLE = "SAE 2011 World Congress & Exhibition Technical Papers", JOURNAL = "SAE System Level Architecture Design Tools and Methods", MONTH = "April", TITLE = "Efficient Reliability and Safety Analysis for Mixed-Criticality Embedded Systems", YEAR = "2011",
} | | 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 |  | | | | @article{Sch09:AISAutonIntegSyste, AUTHOR = "Volker Schöber and Oliver Bringmann and Andreas Herkersdorf and Walter Stechele and Norbert Wehn and Matthias May and Daniel Ziener and Abdelmajid Bouajila and Daniel Baldin and Johannes Zeppenfeld and Björn Sander and Jürgen Teich and Maurice Sebastian and Rolf Ernst and Dieter Treytnar", JOURNAL = "newsletter edacentrum", MONTH = "December", NUMBER = "04/09", PAGES = "5--13", TITLE = "AIS – Autonomous Integrated Systems", YEAR = "2009",
} | | 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 |  | | | | @inproceedings{Seb09:ReliaAnalySinglCommu, ADDRESS = "Shanghai, China", AUTHOR = "Maurice Sebastian, Rolf Ernst", BOOKTITLE = "Proc. of 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)", MONTH = "November", TITLE = "Reliability Analysis of Single Bus Communication with Real-Time Requirements", YEAR = "2009",
} | | Maurice Sebastian, Rolf Ernst, "Reliability and Safety Guarantees in Modern MPSoCs with Real- Time Requirements," in 3rd edaWorkshop, (Dresden, Germany), May 2009 |  | | | | @inproceedings{Seb09:ReliaSafetGuaraModer, ADDRESS = "Dresden, Germany", AUTHOR = "Maurice Sebastian, Rolf Ernst", BOOKTITLE = "3rd edaWorkshop", MONTH = "May", TITLE = "Reliability and Safety Guarantees in Modern MPSoCs with Real- Time Requirements", YEAR = "2009",
} | | 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 |  | | | | @inproceedings{Seb08:ModelDesigReliaOnChi, ADDRESS = "Hamburg, Germany", AUTHOR = "Maurice Sebastian, Rolf Ernst", BOOKTITLE = "Proc. of 14th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA)", MONTH = "September", TITLE = "Modelling and Designing Reliable On-Chip-Communication Devices in MPSoCs with Real-Time Requirements", YEAR = "2008",
} |
|
|