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.
- 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 Scholar
Digital Library
- ARTEMIS. 2010. What Is an Embedded System? Retrieved March 30, 2015, from http://www.artemis-ju.eu/embedded_systemsGoogle Scholar
- S. K. Baruah. 2003. Dynamic and static-priority scheduling of recurring real-time tasks. Real-Time Systems 24, 1, 93--128. Google Scholar
Digital Library
- E. Bini and G. C. Buttazzo. 2004. Schedulability analysis of periodic fixed priority systems. IEEE Transactions on Computers 53, 11, 1462--1473. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- Y. Jiang. 2006. A basic stochastic network calculus. ACM SIGCOMM Computer Communication Review 36, 4, 123--134. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- G. Lipari and E. Bini. 2004. A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing 1, 2, 257--269. Google Scholar
Digital Library
- Y. Liu and Y. Jiang. 2008. Stochastic Network Calculus. Springer. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- S. M. Ross. 1995. Stochastic Processes (2nd ed.). Wiley.Google Scholar
- L. Santinelli and L. Cucu-Grosjean. 2011. Toward probabilistic real-time calculus. ACM SIGBED Review 8, 1, 54--61. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- I. Shin and I. Lee. 2004. Compositional real-time scheduling framework. In Proceedings of the 25th IEEE International Real-Time Systems Symposium. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- E. Wandeler and L. Thiele. 2006b. Real-Time Calculus Toolbox. Retrieved March 30, 2015, from http://www.mpa.ethz.ch/Rtctoolbox.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
Index Terms
A Probabilistic Calculus for Probabilistic Real-Time Systems
Recommendations
Probabilistic response-time analysis for real-time systems in body area sensor networks
Advances in real-time system and wireless communication have led to the deployment of body area sensor networks BASNs for effective real-time healthcare applications. Real-time systems in BASNs tend increasingly to be probabilistic and mixed critical to ...
Toward probabilistic real-time calculus
A challenging research issue in analyzing probabilistic real-time systems is to model the tasks composing the system and the resource provided to the system. In this paper we propose a solution based on a probabilistic component-based model that ...






Comments