Sebastian Altmeyer

Researcher
Embedded/Real-Time Systems

Contact Info


Journal Publications

  1. An extensible framework for multicore response time analysis
    Robert I. Davis, Sebastian Altmeyer, Leandro S. Indrusiak, Claire Maiza, Vincent Nelis, and Jan Reineke
    Real-Time Systems, 2017. [doi]  [bib]
  2. Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation
    Reinder J. Bril, Sebastian Altmeyer, Martijn van den Heuvel, Robert I. Davis, and Moris Behnam,
    Real-Time Systems, 2017. [doi]  [bib]
  3. On the effectiveness of cache partitioning in hard real-time systems
    Sebastian Altmeyer and Roeland Douma and Will Lunniss and and Robert I. Davis,
    Real-Time Systems, 2016. [doi]  [bib]
  4. Cache related pre-emption delays in hierarchical scheduling
    Will Lunniss and Sebastian Altmeyer and Giuseppe Lipari and Robert I. Davis,
    Real-Time Systems, 2015. [doi]  [bib]
  5. Static probabilistic timing analysis for real-time systems using random replacement caches
    Sebastian Altmeyer and Liliana Cucu-Grosjean and Robert I. Davis
    Real-Time Systems, 2015. [doi]  [bib]
  6. A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays
    Will Lunniss, Sebastian Altmeyer, Rob I. Davis
    LITES, 2014. [doi]  [bib]
  7. Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    Sebastian Altmeyer, Rob I. Davis, and Claire Maiza
    Real-Time Systems, 2012. [doi]  [bib]
  8. Cache-related Preemption Delay via Useful Cache Blocks: Survey and Redefinition
    Sebastian Altmeyer, and Claire Maiza
    Journal of Systems Architecture, 2010. [doi]  [bib]

Conference Publications

  1. EDiFy: An Execution Time Distribution Finder
    Braams, Boudewijn and Altmeyer, Sebastian and Pimentel, Andy D.
    Proceedings of the 54th Annual Design Automation Conference 2017 (DAC '17), 2017. [bib]
  2. Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches
    Leo Hatvani, Reinder J. Bril, Sebastian Altmeyer
    Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), 2017. [bib]
  3. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling
    Robert I. Davis, Sebastian Altmeyer, Jan Reineke
    Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016), 2016. [bib]
  4. Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor
    Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer
    Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016), 2016. [bib]
  5. Task-Set Generator for Schedulability Analysis using the TACLeBench benchmark suite
    Yorick De Bock and Sebastian Altmeyer and Jan Broeckhove and Peter Hellinckx
    Proceedings of the 6th Embedded Operating System Workshop (EWiLi'16), 2016. [bib]
  6. TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research
    Heiko Falk and Sebastian Altmeyer and Peter Hellinckx and Björn Lisper and Wolfgang Puffitsch and Christine Rochange and Martin Schoeberl and Rasmus Bo Sørensen and Peter Wägemann and Simon Wegener
    Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis (WCET'16), 2016. [bib]
  7. Model Interpretation for an AUTOSAR compliant Engine Control Function
    Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet
    Proceedings of the 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'16), 2016. [bib]
  8. Poster Abstract: An Optimizing Framework for Real-Time Scheduling
    Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet
    Work-In-Progress Session of the 22th Real-Time and Embedded Technology and Applications Symposium (RTAS'16), 2016. [bib]
  9. Demo Abstract: Applications of the {CPAL} Language to Model, Simulate and Program Cyber-Physical Systems
    Loic Fejoz and Nicolas Navet and Sakthivel Manikandan Sundharam and Sebastian Altmeyer
    Demo Session of the 22th Real-Time and Embedded Technology and Applications Symposium (RTAS'16), 2016. [bib]
  10. Static Probabilistic Timing Analysis for Multi-path Programs
    Benjamin Lesage and David Griffin and Sebastian Altmeyer and Robert I. Davis
    Proceedings of the 36th IEEE Real-Time Systems Symposium (RTSS'15), 2015. [bib]
  11. Towards a declarative modeling and execution framework for real-time systems
    Sebastian Altmeyer and Nicolas Navet
    ACM SIGBED Review - Special Issue on the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS '15), 2016. [bib]
  12. A Generic and Compositional Framework for Multicore Response Time Analysis.
    Sebastian Altmeyer and Robert I. Davis and Leandro Indrusiak and Claire Maiza and Vincent Nelis and Jan Reineke(Outstanding Paper Award)
    Proceedings of the 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), 2015. [slides]  [bib]
  13. Using CPAL to model and validate the timing behaviour of embedded systems.
    Sebastian Altmeyer and Nicolas Navet and Loic Fejoz
    Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'15), 2015. [bib]
  14. WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?
    Sebastian Altmeyer and Bjoern Lisper and Claire Maiza and Jan Reineke and Christine Rochange
    Proceedings of 15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)., 2015. [bib]
  15. Fast and Precise Cache Performance Estimation for Out-Of-Order Execution
    Roeland Douma and Sebastian Altmeyer and Andy D. Pimentel
    Proceedings of Design, Automation, and Test in Europe, 2015. [bib]
  16. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling
    Will Lunniss and Sebastian Altmeyer and Giuseppe Lipari and Robert I. Davis (Outstanding Paper Award)
    Proceedings of the 22nd International Conference on Real-Time Networks and Systems (RTNS 2014), 2014. [bib]
  17. Evaluation of Cache Partitioning for Hard Real-Time Systems
    Sebastian Altmeyer and Roeland Douma and Will Lunniss and Robert I. Davis (Outstanding Paper Award)
    Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS'14), 2014. [bib]
  18. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler
    Will Lunniss and Sebastian Altmeyer and Robert I. Davis
    Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), 2014. [bib]
  19. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies
    Benjamin Lesage and David Griffin and Robert I. Davis and Sebastian Altmeyer
    Proceedings Real-Time Scheduling Open Problems Seminar (RTSOPS'14), 2014. [bib]
  20. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies
    Sebastian Altmeyer and Liliana Cucu-Grosjean and Robert I. Davis and Benjamin Lesage
    Proceedings Real-Time Scheduling Open Problems Seminar (RTSOPS'14), 2014. [bib]
  21. Academia 2.0: removing the publisher middle-man while retaining impact
    Raphael Poss and Sebastian Altmeyer and Mark Thompson and Rob Jelier
    Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering (TRUST'14), 2014. [bib]
  22. Selfish-LRU: Preemption-Aware Caching for Predictability and Performance
    Jan Reineke and Sebastian Altmeyer and Daniel Grund and Sebastian Hahn and Claire Maiza
    Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS'14), 2014. [bib]
  23. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis
    Sebastian Altmeyer and Robert I. Davis
    Proceedings of Design, Automation, and Test in Europe, 2014. [bib]
  24. Analysis of Probabilistic Cache Related Pre-emption Delays
    Robert I. Davis and Luca Santinelli and Sebastian Altmeyer and Claire Maiza and Liliana Cucu-Grosjean
    Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS'13), 2013. [bib]
  25. Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling
    Will Lunniss and Sebastian Altmeyer and Claire Maiza and Robert I. Davis
    Proceedings of the 19th Real-Time and Embedded Technology and Applications Symposium (RTAS'13), 2013. [bib]
  26. Investigation of Scratchpad Memory for Preemptive Multitasking
    Jack Whitham and Robert I. Davis and Neil C. Audsley and Sebastian Altmeyer and Claire Maiza
    Proceedings of the 33nd IEEE Real-Time Systems Symposium (RTSS'12), 2012. [bib]
  27. Optimising task layout to increase schedulability via reduced cache related pre-emption delays
    Will Lunniss, Sebastian Altmeyer, and Robert I. Davis
    RTNS, 2012. [bib]
  28. Precise and Efficient Parametric Path Analysis
    Ernst Althaus, Sebastian Altmeyer, and Rouven Naujoks (Best Paper Award)
    LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, 2011. [bib]
  29. Precise WCET Calculation in Highly Variant Real-Time Systems
    P. Montag, and Sebastian Altmeyer
    Proceedings of Design, Automation, and Test in Europe, 2011. [bib]
  30. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
    Sebastian Altmeyer, and Claire Maiza
    Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011. [bib]
  31. Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    Sebastian Altmeyer, Rob I. Davis, and Claire Maiza
    Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011. [bib]
  32. Symbolic Worst Case Execution Times
    Ernst Althaus, and Sebastian Altmeyer, and Rouven Naujoks
    Proceedings of 8th International Colloquium on Theoretical Aspects of Computing (ICTAC'11), 2011. [bib]
  33. Static Timing Analysis for Hard Real-Time Systems
    Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, J\"org Herter, Jan Reineke, Bj\"orn Wachter, and Stephan Wilhelm
    VMCAI, 2010. [doi]  [bib]
  34. Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
    Sebastian Altmeyer, Claire Maiza, and Jan Reineke
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [pdf]  [slides]  [bib]
  35. Precomputing Memory Locations for Parametric Allocations
    J. Herter, and Sebastian Altmeyer
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
  36. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems
    Sebastian Altmeyer, and Claire Burguière
    Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, 2010. [bib]
  37. Computing the Maximum Blocking Time for Scheduling with Deferred Preemption
    Sebastian Altmeyer, Claire Burguière, and R. Wilhelm
    Workshop on Software Technologies for Future Dependable Distributed Systems, 2009. [doi]  [bib]
  38. Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
    Claire Burguière, Jan Reineke, and Sebastian Altmeyer
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  39. A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
    Sebastian Altmeyer, and Claire Burguière
    Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009. [doi]  [bib]
  40. WCET Analysis for Preemptive Systems
    Sebastian Altmeyer, and G. Gebhard
    Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008. [bib]
  41. Parametric Timing Analysis for Complex Architectures
    Sebastian Altmeyer, Christian H\"umbert, Bj\"orn Lisper, and Reinhard Wilhelm
    Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008. [bib]
  42. Optimal Task Placement to Improve Cache Performance
    G. Gebhard, and Sebastian Altmeyer
    Proceedings of the 7th ACM Conference on Embedded Systems Software (EMSOFT'07), 2007. [bib]

Technical Reports

  1. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis
    Sebastian Altmeyer and Robert I. Davis
    Technical Report, University of York, Department of Computer Science, 2013. [pdf]  [bib]
  2. Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling
    Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis
    Technical Report, University of York, Department of Computer Science, 2012. [pdf]  [bib]
  3. Analysis of Probabilistic Cache Related Pre-emption Delays for Systems with Random Cache Replacement Policies
    Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean
    Technical Report, University of York, Department of Computer Science, 2012. [pdf]  [bib]
  4. Pre-emption Cost Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    Sebastian Altmeyer, Rob I. Davis, and Claire Maiza
    Technical Report, University of York, Department of Computer Science, 2011. [pdf]  [bib]

Theses

  1. Analysis of Preemptively Scheduled Hard Real-time Systems
    Sebastian Altmeyer
    epubli GmbH, 2013. [bib]
  2. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
    Sebastian Altmeyer
    Master's Thesis, Universität des Saarlandes, 2006. [bib]
  3. Erweiterung eines C0-Compiler um Inline-Assembler-Code-Unterstützung
    Sebastian Altmeyer
    Bachelor's Thesis, Universität des Saarlandes, 2005. [bib]