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.
Wartel, F., L. Kosmidis, C. Lo, B. Triquet, E. Quiñones, J. Abella, A. Gogonel, A. Baldovin, E. Mezzetti, L. Cucu, et al., "Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study", 8th IEEE International Symposium on Industrial Embedded Systems (SIES), Porto (Portugal), IEEE, 06/2013. Abstract
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.