Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante

• Osman Seixas Júnior UFAM
• Raimundo Barreto UFAM

Resumo

A abordagem de escalonamento offline exige um maior custo na fase de projeto do sistema visto que este problema é NP-difícil e a escala das tarefas tem que ser gerada em tempo de projeto. Para amenizar este custo é necessário que sejam desenvolvidas ferramentas que dêem suporte a conjuntos de tarefas mais complexos e que considerem o tempo adicional gasto pelo despachante que é frequentemente negligenciado pelos pesquisadores. Este artigo apresenta uma abordagem lógica para construir uma escala offline para sistemas embarcados de tempo real. Também mostramos experimentos realizados utilizando o algoritmo de geração de escalas proposto.

Referências

Baker, T.P. and Shaw, A. (1988). The Cyclic Executive Model and Ada. In Proceedings of the 9th IEEE Real-Time Systems Symposium, pp. 120-129.

Ekelin, C. and Jonsson, J. (1999). Real-Time System Constraints: Where do They Come From and Where do They Go?. In Proceedings of the Int'l Workshop on Real-Time Constraints, Alexandria, Virginia, USA, pp. 53-57.

Ekelin, C. and Jonsson, J. (2001). A CLP Framework for Allocation and Scheduling in Embedded Real-Time Systems, TR-01-10, 2001.

Schild, K. and Wurtz, J. (1998). Off-line scheduling of a real-time system. In K. M. George.

Xu, J and Parnas, D. On satisfying timing constraints in hard real-time systems. IEEE Trans. Soft. Engineering, 19(1):70–84, January 1993.