Probabilistically Analysable Real-Time Systems

Publications

Found 15 results

2013
Kosmidis, L., L. Santinelli, M. Houston, L. Cucu, E. Quiñones, J. Abella, T. Vardanega, and F. J. Cazorla, Case Study IEEE Micro Supplimentary Material, , 11/2013. Abstract
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.
Kosmidis, L., T. Vardanega, J. Abella, E. Quiñones, and F. J. Cazorla, "Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources", 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013) , Paris, France, 07/2013.
Stephenson, Z., J. Abella, and T. Vardanega, "Supporting Industrial Use of Probabilistic Timing Analysis with Explicit Argumentation", 11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany, 07/2013.
Cazorla, F. J., T. Vardanega, E. Quiñones, and J. Abella, "Upper-bounding Program Execution Time with Extreme Value Theory", 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013) , Paris, France, 07/2013.
Kosmidis, L., E. Quiñones, J. Abella, T. Vardanega, and F. J. Cazorla, "Achieving Timing Composability with Measurement-Based Probabilistic Timing Analysis", 16th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Paderborn, Germany, 06/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.
Cazorla, F. J., E. Quiñones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, et al., "PROARTIS: Probabilistically Analysable Real-Time Systems", ACM Transactions on Embedded Computing Systems - Special section on Probabilistic Embedded Computing, 05/2013. Abstract
Cazorla, F. J., E. Quiñones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, et al., "PROARTIS: Probabilistically Analysable Real-Time Systems", ACM Transactions on Embedded Computing Systems - Special section on Probabilistic Embedded Computing, 05/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.
Abella, J., F. J. Cazorla, E. Quiñones, and T. Vardanega, "MBPTA White Paper", PROARTIS, 2013. Abstract
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.
Cucu-Grosjean, L., L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. J. Cazorla, "Measurement-Based Probabilistic Timing Analysis for Multi-path Programs", ECRTS 2012 24th Euromicro Conference on Real-Time System, Pisa (Italy), 07//2012. Abstract
Cazorla, F. J., E. Quinones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, et al., "PROARTIS: Probabilistically Analysable Real-Time Systems", ACM Transactions on Embedded Computing Systems, 2012.