skip to main content
research-article

A Probabilistic Calculus for Probabilistic Real-Time Systems

Published:30 April 2015Publication History
Skip Abstract Section

Abstract

Challenges within real-time research are mostly in terms of modeling and analyzing the complexity of actual real-time embedded systems. Probabilities are effective in both modeling and analyzing embedded systems by increasing the amount of information for the description of elements composing the system. Elements are tasks and applications that need resources, schedulers that execute tasks, and resource provisioning that satisfies the resource demand. In this work, we present a model that considers component-based real-time systems with component interfaces able to abstract both the functional and nonfunctional requirements of components and the system. Our model faces probabilities and probabilistic real-time systems unifying in the same framework probabilistic scheduling techniques and compositional guarantees varying from soft to hard real time. We provide an algebra to work with the probabilistic notation developed and form an analysis in terms of sufficient probabilistic schedulability conditions for task systems with either preemptive fixed-priority or earliest deadline first scheduling paradigms.

References

  1. L. Almeida and P. Pedreiras. 2004. Scheduling within temporal partitions: Response-time analysis and server design. In Proceedings of the 4th ACM International Conference on Embedded Software. ACM, New York, NY. 95--103. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. ARTEMIS. 2010. What Is an Embedded System? Retrieved March 30, 2015, from http://www.artemis-ju.eu/embedded_systemsGoogle ScholarGoogle Scholar
  3. S. K. Baruah. 2003. Dynamic and static-priority scheduling of recurring real-time tasks. Real-Time Systems 24, 1, 93--128. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. E. Bini and G. C. Buttazzo. 2004. Schedulability analysis of periodic fixed priority systems. IEEE Transactions on Computers 53, 11, 1462--1473. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Chakraborty, S. Künzli, and L. Thiele. 2003. A general framework for analysing system properties in platform-based embedded system designs. In Proceedings of the Conference on Design, Automation, and Test in Europe (DATE’03). 10190. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. L. Cucu and E. Tovar. 2006. A framework for response time analysis of fixed-priority tasks with stochastic inter-arrival times. ACM SIGBED Review 3, 1, 7--12. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. J. Cazorla. 2012. Measurement-based probabilistic timing analysis for multi-path programs. In 24th Euromicro Conference on Real-Time Systems (ECRTS’12). IEEE, Los Alamitos, CA, 91--101. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. R. I. Davis and A. Burns. 2006. Resource sharing in hierarchical fixed priority pre-emptive systems. In Proceedings of the 27th IEEE International Real-Time Systems Symposium (RTSS’06). 257--270. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. L. de Alfaro and T. Henzinger. 2001. Interface theories for component-base design. In Embedded Software. Lecture Notes in Computer Science, Vol. 2211. Springer, 148--165. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. L. de Alfaro and T. Henzinger. 2005. Interface-based design. In Engineering Theories of Software Intensive Systems. NATO Science Series, Vol. 195. Springer, 83--104.Google ScholarGoogle Scholar
  11. J. L. Díaz, D. F. Garcia, K. Kim, C. G. Lee, L. Lo Bello, J. M. López, and O. Mirabella. 2002. Stochastic analysis of periodic real-time systems. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS’02). 289. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. A. Easwaran, I. Shin, O. Sokolsky, and I. Lee. 2006. Incremental schedulability analysis of hierarchical real-time components. In Proceedings of the 6th ACM & IEEE International Conference on Embedded Software (EMSOFT’’06). 272--281. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. X. Feng and A. K. Mok. 2002. A model of hierarchical real-time virtual resources. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS’02). 26--35. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. H. A. Hansson, N. Thomas, C. Norstrom, and S. Punnekkat. 2002. Integrating reliability and timing analysis of CAN-based systems. IEEE Transactions on Industrial Electronics 49, 6, 1240--1250.Google ScholarGoogle ScholarCross RefCross Ref
  15. T. A. Henzinger and S. Matic. 2006. An interface algebra for real-time components. In Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’06). 253--266. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. K. Huang, L. Santinelli, J.-J. Chen, L. Thiele, and G. C. Buttazzio. 2009. Periodic power management schemes for real-time event streams. In Proceedings of the 48th IEEE Conference on Decision and Control (CDC’09). 6224--6231.Google ScholarGoogle Scholar
  17. Y. Jiang. 2006. A basic stochastic network calculus. ACM SIGCOMM Computer Communication Review 36, 4, 123--134. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. J. Y. Le Boudec and P. Thiran. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer-Verlag, New York, NY. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. J. P. Lehoczky, L. Sha, and Y. Ding. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings of the IEEE Real-Time Systems Symposium. 166--171.Google ScholarGoogle Scholar
  20. G. Lipari and E. Bini. 2004. A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing 1, 2, 257--269. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Y. Liu and Y. Jiang. 2008. Stochastic Network Calculus. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. J. M. Lopez, J. L. Daz, J. Entrialgo, and D. Garcia. 2008. Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-Time Systems 40, 2180--2207. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. J. L. Lorente, G. Lipari, and E. Bini. 2006. A hierarchical scheduling model for component-based real-time systems. In Proceedings of the 20th International Parallel & Distributed Processing Symposium (IPDPS’’06). Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. S. P. Marimuthu and S. Chakraborty. 2006. A framework for compositional and hierarchical real-time scheduling. In Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 91--96. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. A. Maxiaguine, S. Künzli, and L. Thiele. 2004. Workload characterization model for tasks with variable execution demand. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition. 1040--1045. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. D. Maxim, L. Santinelli, and L. Cucu-Grosjean. 2010. Improved sampling for statistical timing analysis of real-time systems. In Proceedings of the 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC’10).Google ScholarGoogle Scholar
  27. S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker, R. Henia, R. Racu, R. Ernst, and M. González Harbour. 2009. Influence of different abstractions on the performance analysis of distributed hard real-time systems. Design Automation for Embedded Systems 13, 1--2, 27--49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. K. S. Refaat and P.-E. Hladik. 2010. Efficient stochastic analysis of real-time systems via random sampling. In Proceedings of the Euromicro Conference on Real-Time Systems. IEEE, Los Alamitos, CA, 175--183. DOI:http://dx.doi.org/10.1109/ECRTS.2010.29 Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. S. M. Ross. 1995. Stochastic Processes (2nd ed.). Wiley.Google ScholarGoogle Scholar
  30. L. Santinelli and L. Cucu-Grosjean. 2011. Toward probabilistic real-time calculus. ACM SIGBED Review 8, 1, 54--61. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. L. Santinelli, P. Meumeu, D. Maxim, and L. Cucu-Grosjean. 2011. A component-based framework for modeling and analyzing probabilistic real-time systems. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’11). 1--8.Google ScholarGoogle Scholar
  32. I. Shin, M. Behnam, T. Nolte, and M. Nolin. 2008. Synthesis of optimal interfaces for hierarchical scheduling with resources. In Proceedings of the IEEE International Real-Time Systems Symposium. 209--220. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. I. Shin and I. Lee. 2003. Periodic resource model for compositional real-time guarantees. In Proceedings of the 24th IEEE International Real-Time Systems Symposium (RTSS’03). IEEE, Los Alamitos, CA, 2. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. I. Shin and I. Lee. 2004. Compositional real-time scheduling framework. In Proceedings of the 25th IEEE International Real-Time Systems Symposium. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. I. Shin and I. Lee. 2008. Compositional real-time scheduling framework with periodic model. ACM Transactions on Embedded Computing Systems 7, 3, Article No. 30. DOI:http://dx.doi.org/10.1145/1347375.1347383 Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. L. Thiele, S. Chakraborty, and M. Naedele. 2000. Real-time calculus for scheduling hard real-time systems. In Proceedings of the IEEE International Conference on Circuits and Systems (ISCAS’00). 101--104.Google ScholarGoogle Scholar
  37. L. Thiele, E. Wandeler, and N. Stoimenov. 2006. Real-time interfaces for composing real-time systems. In Proceedings of the 6th ACM and IEEE International Conference on Embedded Software (EMSOFT’06). 34--43. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. E. Wandeler and L. Thiele. 2005. Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. In Proceedings of the 5th ACM International Conference on Embedded Software (EMSOFT’05). ACM, New York, NY, 80--89. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. E. Wandeler and L. Thiele. 2006a. Interface-based design of real-time interfaces with hierarchical scheduling. In Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’06). 243--252. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. E. Wandeler and L. Thiele. 2006b. Real-Time Calculus Toolbox. Retrieved March 30, 2015, from http://www.mpa.ethz.ch/Rtctoolbox.Google ScholarGoogle Scholar
  41. J. Xie and Y. Jiang. 2009. Stochastic network calculus models under max-plus algebra. In Proceedings of the Global Communications Conference (GLOBECOM’09). 1--6. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. H. Zeng, M. Di Natale, P. Giusto, and A. L. Sangiovanni-Vincentelli. 2009. Stochastic analysis of distributed real-time automotive systems. IEEE Transactions on Industrial Informatics 5, 4, 388--401.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. A Probabilistic Calculus for Probabilistic Real-Time Systems

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!