Probabilistically Analysable Real-Time Systems

Publications

Found 5 results

2013
Baldovin, A., E. Mezzetti, and T. Vardanega, "Limited Preemptive Scheduling of Non-Independent Task Sets", 13th International Conference on Embedded Software (EMSOFT2013), Montreal, Canada, 09/2013.
Baldovin, A., E. Mezzetti, and T. Vardanega, "Towards a Time-Composable Operating System", 18th International Conference on Reliable Software Technologies - Ada-Europe 2013, Berlin, Germany, 06/2013.
Baldovin, A., A. Graziano, E. Mezzetti, and T. Vardanega, "Kernel-level Time Composability for Avionics Applications", 28th Symposium On Applied Computing (SAC 2013), 03/2013.
2012
Baldovin, A., E. Mezzetti, and T. Vardanega, "A Time-composable Operating System", 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), vol. 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012):69-80, June 2012 : OASIcs, June 2012.