Sebastian Altmeyer

Researcher
Embedded/Real-Time Systems

Contact Info

About me

I am researcher at the University of Amsterdam. I finished my PhD on the "Analysis of Preemptively Scheduled Hard Real-time Systems" at the Saarland University under the supervision of Prof. Reinhard Wilhem in October 2012 and was part of the Lassy Group at the University of Luxembourg from 2015 to 2016.

My research is driven by the genuine interest in computing systems that surround us and on which we entrust our lives on a daily basis. I have thus worked on various aspects of the design, optimization and verification of these systems.


News & Events

  • Deadline for the Design, Automation and Test in Europe 2018 at Sept. 10th, 2017

  • Paper published at Real-Time Systems Journal: An extensible framework for multicore response time analysis by Robert I. Davis, Sebastian Altmeyer, Leandro S. Indrusiak, Claire Maiza, Vincent Nelis, and Jan Reineke. (Download)
  • Two papers accepted at RTSS 2017: Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads by Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert Davis and Eduardo Tovar and Schedulability Analysis of Non-preemptive Real-time Scheduling for Multicore Processors with Shared Caches by Jun Xiao, Sebastian Altmeyer and Andy Pimentel
  • Deadline for the 25th International Conference on Real-Time Networks and Systems (RTNS 2017) at July 17th, 2017

  • For information about the lecture Operating Systems, please refer to Blackboard and/or contact Taco Walstra.
  • Paper accepted at DAC 2017: EDiFy: An Execution time Distribution Finder by Boudewijn Braams, Sebastian Altmeyer, and Andy Pimentel.
  • Paper published in Real-Time System Journal: Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation by Reinder J. Bril, Sebastian Altmeyer, Martijn van den Heuvel, Robert I. Davis, and Moris Behnam.
  • Paper accepted at DATE 2017: Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches by Leo Hatvani, Reinder J. Bril, and Sebastian Altmeyer.

Research Projects

The time is now: Timing Verification for Safety-Critical Multi-Cores

Proposal & Slides
Cyber-Physical Action Language

See www.designcps.com
Analysis of pre-emptively scheduled Systems

Abstract & Slides


contact information

altmeyer (at) uva (.) nl

University of Amsterdam

Science Park 904, Room C3.101

1098 XH, Amsterdam, NL