Institut für Eingebettete Systeme/Echtzeitsysteme
- 1:
Lehre. - 2: Forschung.
- 3: Publikationen.
- 4: Mitarbeiter.
- 4.1:
Prof. Dr. Frank Slomka. - 4.2: Prof. Dr. Heiko Falk.
- 4.3: Tobias Bund.
- 4.4: Florian Hock.
- 4.5: Kilian Kempf.
- 4.6: Steffen Kollmann.
- 4.7: Arno Luppold.
- 4.8: Benjamin Menhorn.
- 4.9: Steffen Moser.
- 4.10: Victor Pollex.
- 4.11: Barbara Porada.
- 4.12: Nicolas Roeser.
- 4.13: Rajinder Sidhu.
- 4.1:
- 5: Praktika / Abschlussarbeiten.
- 6: Offene Stellen.
Dipl.-Inform. Steffen Kollmann
Interessen
- Formale Echtzeitanalyse
- FPGA-Boards
- Entwurfsprozesse für Eingebettete Systeme
Lehre
- Wise 09/10
- Übungen zur Vorlesung
Entwurfsmethodik Eingebetteter Systeme - Seminar D&D-Seminar
- Praktikum Algorithmen der Echtzeitanalyse
- Übungen zur Vorlesung
- SoSe 09
- Übungen zur Vorlesung Architektur Eingebetteter Systeme
- Seminar Echtzeittheorie
- Seminar D&D-Seminar
- Praktikum Algorithmen der Echtzeitanalyse
- Übungen zur Vorlesung
- WiSe 08/09
- Übungen zur Vorlesung Entwurfsmethodik Eingebetteter Systeme
- Proseminar Eingebettete Systeme
- Seminar D&D-Seminar
- Praktikum Algorithmen der Echtzeitanalyse
- Übungen zur Vorlesung
- SoSe 08
- Übungen zur Vorlesung Architektur Eingebetteter Systeme
- Seminar Echtzeittheorie
- Seminar D&D-Seminar
- Praktikum Algorithmen der Echtzeitanalyse
- Übungen zur Vorlesung
- WiSe 07/08
- Übungen zur Vorlesung Entwurfsmethodik Eingebetteter Systeme
- Proseminar Eingebettete Systeme
- Seminar D&D-Seminar
- Übungen zur Vorlesung
Funktion
Wissenschaftlicher Mitarbeiter
Kontakt
Raum O27/3103
steffen[dot]kollmann(at)uni-ulm[dot]de
PGP-/GPG-SchlüsselTel: +49.731.50.24165
Fax: +49.731.50.24182
Publikationen
 |
Jitter Considerations for Worst-Case Performance Generation in Digital Controller Design.
Cyber-Physical Systems – Enabling Multi-Nature Systems,
April
2012.
ISBN: 978-3-8396-0398-7
|
 |
A Context-Sensitive Real-Time Analysis with Event Streams.
Dissertation
Ulm University,
März
2012
|
|
|
A Multidisciplinary Design Methodology for Cyber-physical Systems.
Proceedings of the 4th International Workshop on Model Based Architecting and Construction of Embedded Systems,
Oktober
2011.
|
|
|
Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs.
Proceedings of the 19th International Conference on Real-Time and Network Systems,
September
2011.
|
|
|
Using Schedulability Analysis Techniques to Derive the Average-Case Behavior with a Monte-Carlo Simulation.
Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar (RTSOPS),
Juli
2011.
|
|
|
Controller Area Network (CAN) Schedulability Analysis with FIFO queues.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems,
IEEE,
Juli
2011.
Best Paper Award |
|
|
Reducing Response Times by Competition Based Dependencies.
Proceedings of the 14th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,
Februar
2011.
|
|
|
Comparative Application of Real-Time Verification Methods to an Automotive Architecture.
Proceedings of the 18th International Conference on Real-Time and Network Systems,
November
2010.
|
|
|
Guaranteed Bounds for the Control Performance Evaluation in Distributed System Architectures.
Proceedings of the International Conference on Real-Time and Embedded Systems (RTES),
November
2010.
|
|
|
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems.
Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation,
Seite 397-411,
Springer Verlag,
Oktober
2010.
|
|
|
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems.
Proceedings of the 7th IFIP Distributed and Parallel Embedded Systems Conference (DIPES),
September
2010.
|
|
|
Generalizing Response-Time Analysis.
Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
IEEE Computer Society,
August
2010.
|
|
|
Holistic Real-Time Analysis with an Expressive Event Model.
Proceedings of the 13th Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,
Seite 67-76,
Februar
2010.
|
|
|
Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions.
Proceedings of the Design Automation and Test Conference in Europe (DATE 09),
2009.
|
|
|
Modeling and Analyzing Asynchronous Real-Time Systems.
3rd Junior Researcher Workshop on Real-Time Computing,
2009.
|
|
|
Effects of Simultaneous Stimulation on the Event Stream Densities of Fixed-Priority Systems.
Proceedings of the International Simulation Multi-Conference, Spects'08:,
IEEE,
2008.
|
|
|
Relaxing Event Densities by Lower Bounds on Event Streams.
Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems,ECRTS'08,
2008.
|
|
|
Modification of Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems.
Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems,
Seite 491-492,
IEEE Computer Society Press,
2006.
|
Interne Berichte
|
|
Limiting Event Streams: A General Model to Describe Dependencies in Distributed Hard Real-Time Systems.
Internal Report:
Dokument Nummer: 289-vts-67242
Ulm University,
2009
|
|
|
Advanced Hierarchical Event-Stream Model and The Real-Time Calculus.
Internal Report:
Dokument Nummer: 289-vts-63281
Ulm University,
2008
|
|
|
Dependencies Aware Event-Driven Real-Time Analysis for Distributed Fixed-Priority Systems.
Internal Report:
Dokument Nummer: 289-vts-60593
Ulm University,
2007
|