Probabilistically Analysable Real-Time Systems

Publications

Found 27 results

In Press
Kosmidis, L., J. Abella, E. Quiñones, and F. J. Cazorla, Efficient Cache Designs for Probabilistically Analysable Real-time Systems, : IEEE Transactions on Computers, In Press.
2013
Kosmidis, L., J. Abella, E. Quiñones, and F. J. Cazorla, "Multi-Level Unified Caches for Probabilistically Time Analysable Real-Time Systems", IEEE Real-Time Systems Symposium (RTSS), Vancouver, Canada, 12/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.
Davis, R., L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-Grosjean, "Analysis of Probabilistic Cache Related Pre-emption Delays", Euromicro Conference on Real-time Systems (ECRTS), Paris, France, 07/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.
Slijepcevic, M., L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla, "DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis", Euromicro Conference on Real-Time Systems (ECRTS), 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.
Kosmidis, L., J. Abella, E. Quinones, and F. Cazorla, "A Cache Design for Probabilistic Real-Time Systems", Design, Automation, and Test in Europe (DATE), Grenoble, France, 03/2013 .
Kosmidis, L., C. Curtsinger, E. Quinones, J. Abella, E. Berger, and F. Cazorla, "Enabling Probabilistic Timing Analysis Through Compiler and Run-Time Support", Design, Automation, and Test in Europe (DATE), Grenoble, France, 03/2013.
Cucu-Grosjean, L., "Independence - a misunderstood property of and for (probabilistic) real-time systems", Invited paper to the 60th birthday of A. Burns, 03/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.
Kosmidis, L., C. Curtsinger, E. Quiñones, J. Abella, E. Berger, and F. J. Cazorla, "Probabilistic timing analysis on conventional cache designs", Design, Automation, and Test in Europe (DATE) conference. , Grenoble, France., 03/2013. Abstract
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.
Maxim, D., M. Houston, L. Santinelli, G. Bernat, R. Davis, and L. Cucu-Grosjean, "Re-Sampling for Statistical Timing Analysis of Real-Time Systems", 20th International Conference on Real-Time and Network Systems, Pont à Mousson, France, ACM Digital Library, 11/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.
2010
Maxim, D., L. Santinelli, and L. Cucu-Grosjean, "Improved sampling for statistical timing analysis of real-time systems", 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2010) in conjunction with 18th International Conference on Real-Time and Network Systems (RTNS'2010), 11/2010.