Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes
Abstract
Many component-based real-time systems have recently been proposed as a solution to modular and easily maintainable distributed real-time systems. This paper proposes a methodology for estimating probability distributions of execution times in the context of such systems, where no access to component internal code is assumed. In order to evaluate the proposed methodology, experiments were conducted with components implemented over CIAO with the goal to estimate a probability distribution. The collected experimental data show that the proposed approach is indeed a good approximation for component execution time probability distribution.
References
Andrade, S. and Macêdo, R. (2007). Engineering components for flexible and interoperable real-time distributed supervision and control systems. In 12th IEEE Conference on Emerging Technologies and Factory Automation, Patras Greece.
Audsley, N., Burns, A., Richardson, M., and Tindell, K. (1993). Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8:284–292.
Ballabriga, C., Cassé, H., and Sainrat, P. (2007). Wcet computation on software components by partial static analysis. Junior Researcher Workshop on Real-Time Computing. IRIT Université de Toulouse, France.
Bernat, G., Colin, A., and Petters, S. M. (2002). Wcet analysis of probabilistic hard real-time systems. In 23rd IEEE Real-Time Systems Symposium, pages 279– 288, Washington. IEEE Computer Society.
Deng, G., Balasubramanian, J., Otte, W., Schmidt, D. C., and Gokhale, A. (2005). Dance: A qos-enabled component deployment and configuration engine. In Proceedings of the 3rd Working Conference on Component Deployment, Grenoble, France.
Edgar, S. and Burns, A. (2001). Statistical analysis of wcet for scheduling. In 22nd IEEE Real-Time Systems Symposium, page 215, Washington, DC, USA. IEEE Computer Society.
Estévez-Ayres, I., Garćıa-Valls, M., and Basanta-Val, P. (2005). Enabling wcet-based composition of service-based real-time applications. SIGBED Review, 2:25–29.
Fredriksson, J. (2006). Increasing accuracy of property predictions for embedded real-time components. In 18th Euromicro Conference on Real-Time Systems.
Kim, K., Diaz, J. L., Lopez, J. M., Bello, L. L., Lee, C.-G., and Min, S. L. (2005). An exact stochastic analysis of priority-driven periodic real-time systems and its approximations. IEEE Trans. Comput., 54(11):1460–1466.
Liu, C. L. and Layland, J. W. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46–61.
Liu, J. W. S. (2000). Real-Time Systems. Prentice Hall, 1 edition.
Manolache, S., Eles, P., and Peng, Z. (2001). Memory and time-efficient schedulability analysis of task sets with stochastic execution time. In 13th Euromicro Conference on Real-Time Systems, page 19, Washington, DC, USA. IEEE Computer Society.
Möller, A., Peake, I., Nolin, M., Fredriksson, J., and Schmidt, H. (2005). Component-based context-dependent hybrid property prediction. In Workshop on Dependable Software Intensive Embedded systems.
Moss, A. and Muller, H. (2004). Model generation for temporal properties of reactive components. In 1st International Workshop on Software Analysis and Development for Pervasive Systems, pages 12–19.
Nolte, T., Möller, A., and Nolin, M. (2003). Using components to facilitate stochastic schedulability analysis. In 24th IEEE Real-Time System Symposium - WiP Session, Cancun, Mexico.
OMG (2005). Data Acquisition from Industrial Systems v1.1. formal/2005-06-01.
OMG (2006). CORBA Component Model Specification.
Perrone, R., Macêdo, R., Lima, G., and Lima, V. (2008). Estimating execution time probability distributions in component-based real-time systems. In Proceedings of the 10th Brazilian Workshop on Real Time and Embedded Systems, Rio de Janeiro RJ, Brazil. Brazilian Computer Society.
Regnier, P., Lima, G., and Barreto, L. P. (2008). Avaliação do Determinismo Temporal no Tratamento de Interrupções em Plataformas de Tempo Real Linux. In Proc. of the Brazilian Workshop on Operating Systems (WSO 08). Brazilian Computer Society.
Schmidt, D. C. and Cleeland, C. (2001). Applying a pattern language to develop extensible orb middleware. pages 393–438.
Schmidt, D. C. and Huston, S. D. (2003). C++ Network Programming: Systematic Reuse with ACE and Frameworks. Addison-Wesley Longman.
Schmidt, D. C., Levine, D. L., and Mungee, S. (1998). The design of the tao real-time object request broker. Computer Communications, 21(4):294–324.
Wang, N., Gill, C., Subramonian, V., and Schmidt, D. C. (2004a). Configuring realtime aspects in component middleware. Proceedings of the International Symposium on Distributed Objects and Application, pages 1520–1537.
Wang, N., Gill, C. D., Schmidt, D. C., Gokhale, A., Natarajan, B., Loyall, J. P., Schantz, R. E., and Rodrigues, C. (2004b). Middleware for communications, chapter QoS-enabled Middleware, pages 131–159. John Wiley & Sons.
Audsley, N., Burns, A., Richardson, M., and Tindell, K. (1993). Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8:284–292.
Ballabriga, C., Cassé, H., and Sainrat, P. (2007). Wcet computation on software components by partial static analysis. Junior Researcher Workshop on Real-Time Computing. IRIT Université de Toulouse, France.
Bernat, G., Colin, A., and Petters, S. M. (2002). Wcet analysis of probabilistic hard real-time systems. In 23rd IEEE Real-Time Systems Symposium, pages 279– 288, Washington. IEEE Computer Society.
Deng, G., Balasubramanian, J., Otte, W., Schmidt, D. C., and Gokhale, A. (2005). Dance: A qos-enabled component deployment and configuration engine. In Proceedings of the 3rd Working Conference on Component Deployment, Grenoble, France.
Edgar, S. and Burns, A. (2001). Statistical analysis of wcet for scheduling. In 22nd IEEE Real-Time Systems Symposium, page 215, Washington, DC, USA. IEEE Computer Society.
Estévez-Ayres, I., Garćıa-Valls, M., and Basanta-Val, P. (2005). Enabling wcet-based composition of service-based real-time applications. SIGBED Review, 2:25–29.
Fredriksson, J. (2006). Increasing accuracy of property predictions for embedded real-time components. In 18th Euromicro Conference on Real-Time Systems.
Kim, K., Diaz, J. L., Lopez, J. M., Bello, L. L., Lee, C.-G., and Min, S. L. (2005). An exact stochastic analysis of priority-driven periodic real-time systems and its approximations. IEEE Trans. Comput., 54(11):1460–1466.
Liu, C. L. and Layland, J. W. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46–61.
Liu, J. W. S. (2000). Real-Time Systems. Prentice Hall, 1 edition.
Manolache, S., Eles, P., and Peng, Z. (2001). Memory and time-efficient schedulability analysis of task sets with stochastic execution time. In 13th Euromicro Conference on Real-Time Systems, page 19, Washington, DC, USA. IEEE Computer Society.
Möller, A., Peake, I., Nolin, M., Fredriksson, J., and Schmidt, H. (2005). Component-based context-dependent hybrid property prediction. In Workshop on Dependable Software Intensive Embedded systems.
Moss, A. and Muller, H. (2004). Model generation for temporal properties of reactive components. In 1st International Workshop on Software Analysis and Development for Pervasive Systems, pages 12–19.
Nolte, T., Möller, A., and Nolin, M. (2003). Using components to facilitate stochastic schedulability analysis. In 24th IEEE Real-Time System Symposium - WiP Session, Cancun, Mexico.
OMG (2005). Data Acquisition from Industrial Systems v1.1. formal/2005-06-01.
OMG (2006). CORBA Component Model Specification.
Perrone, R., Macêdo, R., Lima, G., and Lima, V. (2008). Estimating execution time probability distributions in component-based real-time systems. In Proceedings of the 10th Brazilian Workshop on Real Time and Embedded Systems, Rio de Janeiro RJ, Brazil. Brazilian Computer Society.
Regnier, P., Lima, G., and Barreto, L. P. (2008). Avaliação do Determinismo Temporal no Tratamento de Interrupções em Plataformas de Tempo Real Linux. In Proc. of the Brazilian Workshop on Operating Systems (WSO 08). Brazilian Computer Society.
Schmidt, D. C. and Cleeland, C. (2001). Applying a pattern language to develop extensible orb middleware. pages 393–438.
Schmidt, D. C. and Huston, S. D. (2003). C++ Network Programming: Systematic Reuse with ACE and Frameworks. Addison-Wesley Longman.
Schmidt, D. C., Levine, D. L., and Mungee, S. (1998). The design of the tao real-time object request broker. Computer Communications, 21(4):294–324.
Wang, N., Gill, C., Subramonian, V., and Schmidt, D. C. (2004a). Configuring realtime aspects in component middleware. Proceedings of the International Symposium on Distributed Objects and Application, pages 1520–1537.
Wang, N., Gill, C. D., Schmidt, D. C., Gokhale, A., Natarajan, B., Loyall, J. P., Schantz, R. E., and Rodrigues, C. (2004b). Middleware for communications, chapter QoS-enabled Middleware, pages 131–159. John Wiley & Sons.
Published
2008-08-20
How to Cite
PERRONE, Ricardo; MACÊDO, Raimundo; LIMA, George; LIMA, Verônica.
Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes. In: BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES, AND REUSE (SBCARS), 2. , 2008, Porto Alegre/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2008
.
p. 82-95.
DOI: https://doi.org/10.5753/sbcars.2008.46203.
