Stefan M. Petters - Senior Researcher
Trustworthy Embedded Systems Project
Research Interests
The research interests of Dr. Petters include real-time and embedded systems in general; worst case execution time analysis; schedulability analysis; compiler support for predictable real-time systems; probabilistic timing analysis; power aware and reconfigurable computing.
NICTA Projects
Dr Petters headed the Potoroo project, which aimed to complement the functional correctness pursued in the L4 verified project with temporal analysis.
Career Summary
Before joining NICTA's ERTOS program Dr. Petters spent more than two years at the real time research group at the University of York, United Kingdom as Research Associate and Teaching Fellow. Prior to that he spent almost seven years as Research Associate and Lecturer at the Institute for Real Time Computer Systems, Technische Universität M&ünchen, Munich, Germany.
Qualifications
Dr. Petters received his 1995 Dipl.-Ing. degrees from the Technische Universität München, Munich, Germany. During his time at the Institute for Real Time Computer Systems he worked towards his doctoral degree which he received in 2002.
Affiliations
Dr Petters is a member of the IEEE and IEEE Computer Society
Contact Details
| Phone: | +61 2 8306 0550 |
|---|---|
| Email: | smp@cse.unsw.edu.au |
More contact information is available at the ERTOS Contacts page.
Publications
Best Papers
|
 |
David C. Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser Koala: A platform for OS-level power management Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009 |
NICTA Papers
2009
|
|
|
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan and Kevin Elphinstone Towards real multi-criticality scheduling Proceedings of the 15th IEEE Conference on Embedded and Real-Time Computing and Applications, Beijing, China, August, 2009 |
|
|
|
David C. Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser Koala: A platform for OS-level power management Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009 |
2008
|
|
|
Martin P. Lawitzky, David C. Snowdon and Stefan M. Petters Integrating real time and power management in a real system Proceedings of the 4th Workshop on Operating System Platforms for Embedded Real-Time Applications, Prague, Czech Republic, July, 2008 |
2007
|
|
|
David C. Snowdon, Stefan M. Petters and Gernot Heiser Accurate on-line prediction of processor and memory energy usage under voltage scaling Proceedings of the 7th International Conference on Embedded Software, Salzburg, Austria, October, 2007 |
|
|
|
Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan M. Petters Towards trustworthy computing systems: Taking microkernels to the next level ACM Operating Systems Review, 41(4), 3–11, (July, 2007) |
|
|
|
Stefan M. Petters, Patryk Zadarnowski and Gernot Heiser Measurements or static analysis or both? Proceedings of the 7th Workshop on Worst-Case Execution-Time Analysis, Pisa, Italy, July, 2007 |
|
|
|
David C. Snowdon, Godfrey van der Linden, Stefan M. Petters and Gernot Heiser Accurate run-time prediction of performance degradation under frequency scaling Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa, Italy, July, 2007 |
|
|
|
Stefan M. Petters Execution-time profiles Technical Report , NICTA, January, 2007 |
|
|
|
Mohit Singal and Stefan M. Petters Issues in analysing L4 for its WCET Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, Sydney, Australia, January, 2007 |
2006
|
|
|
Stefan Schaefer, Bernhard Scholz, Stefan M. Petters and Gernot Heiser Static analysis support for measurement-based WCET analysis 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Work-in-Progress Session, Sydney, Australia, August, 2006 |
2005
|
|
|
Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco L4cars 3rd Embedded Security in Cars Conference (escar), Cologne, Germany, November, 2005 |
|
|
|
Stefan M. Petters Deadline spanning: A graph based approach Embedded Real-Time Computing Systems and Applications (RTCSA 2005), Hong Kong, China, August, 2005 |
|
|
|
David Andrews, Iain Bate, Thomas Nolte, Clara Otero-Perez and Stefan M. Petters Impact of embedded systems evolution on RTOS use and design Proceedings of the 1st Workshop on Operating System Platforms for Embedded Real-Time Applications, Palma, Mallorca, Spain, July, 2005 |
|
|
|
David C. Snowdon, Stefan M. Petters and Gernot Heiser Power measurement as the basis for power management Proceedings of the 1st Workshop on Operating System Platforms for Embedded Real-Time Applications, Palma, Mallorca, Spain, July, 2005 |
2004
|
|
|
Frank Engel, Gernot Heiser, Ihor Kuz, Stefan M. Petters and Sergio Ruocco Operating systems on SoCs: A good idea? Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, Lisbon, Portugal, December, 2004 |