Execução Programada de Statecharts

• João W. L. Cangussu UFMS
• Paulo Cesar Masiero USP
• José Carlos Maldonado USP

DOI: https://doi.org/10.5753/sbes.1993.24402

Resumo

Este trabalho trata de uma técnica de validação de modelos, denominada "Execução Programada" e de sua integração com o ambiente Statechart Simulator (StatSim), que é um ambiente composto de ferramentas para edição e simulação de statecharts. Na "Execução Programada", o modelo comportamental do sistema sob desenvolvimento é simulado a partir de eventos gerados através de distribuições probabilísticas e é controlado por um programa que indica o que deve ser realizado em cada passo. Como resultado final, além da simulação dinâmica visual, dois relatórios são fornecidos ao usuário: um contendo análises estatísticas da execução e outro contendo o registro de todas as configurações atingidas, passo a passo.

Referências

BATISTA, J. E. S. Um Editor Gráfico para Statecharts. São Carlos, ICMSC-USP, 1991. (Dissertação de Mestrado)

BERRY, G. ; GANTHIER, G. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. França, INRIA, 1988. (Raports Technique, 842)

BOAVENTURA, L A. G. Propriedades Dinâmicas de Statecharts. São Carlos, ICMSC-USP, 1992. (Dissertação de Mestrado)

BOUSSINOT, F.; SIMONE, R. D. The Esterel Language. Proceedings of the IEEE, v. 79, n.9, p.1293-303, 1991.

BURNS, A. Scheduling Hard Real Time System: a review. Software Engineering Journal, v. 14, n.3, p. 116-28, 1991.

CANGUSSU, J. W. L. ; MASIERO, P. C. Sintaxe e Semântica da Linguagem de Controle de Execução. São Carlos, ICMSC-USP, 1992. (Relatório Técnico)

CANGUSSU, J. W. L. ; MASIERO, P. C. Uma Linguagem para Execução Programada de Statecharts. In: Seminário Integrado de Software e Hardware, 19, Rio de Janeiro, 1992. Anais, Rio de Janeiro, SBC, p. 229-42, 1992.

CANGUSSU, J. W. L. Execução Programada de Statecharts. São Carlos, ICMSC-USP, 1993. (Dissertação de Mestrado)

FORTE, R P. M. Uma Ferramenta de Apoio à Utilização de Statecharts para Especificação do Comportamento de Sistemas de Tempo Real Complexos. São Carlos, ICMSC-USP, 1991, (Dissertação de Mestrado)

FURUUTI, R. ; MASIERO, P. C. Extensões ao Ambiente StatSim para permitir a Simulação de Micro-Passos. São Carlos, ICMSC-USP, Março 1992. (Relatório CNPq)

HAREL, D. Statecharts: On the formal Semantics of Statecharts. In: Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, Ithaca, N. Y., p. 54-64, 1987.

HAREL, D. ; etal. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. In: Proceedings of the Tenth International Conference on Software Engineering, Singapore, 1988, Washington, IEEE, 1988.

HAREL, D. Biting the Silver Bullet - Toward a Brigther Future for System Development. IEEE Computer, v. 25, n. 1, p. 8-20, 1992.

HUIZING, C. ; ROEVER, W. C. Introduction design choices in the semantics of Statecharts. Information Processing Letters, v. 37, p. 205-13, 1991.

MARANINCHI, F. Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. In: SIFAKIS, J. Automatic Verification Methods for Finite State Systems. Berlin, Springer, p. 38-53, 1989. (Lectures Notes in Computer Science, 407)

MASIERO, P. C. ; FORTES, R P.M.; BATISTA, J. E. S. Edição e Simulação do Aspecto Comportamental de Sistemas de Tempo Real. In: Seminário Integrado de Software e Hardware, 18, Santos 1991. Anais, Santos, SBC, p. 45-61, 1991.

TUTUMI, R.; MASIERO, P. C. Simulação Visual de Statecharts. In: X Congresso de Iniciação Científica e Tecnológica em Engenharia, São Carlos 1991. Anais, São Carlos, CICTE, p. 669, 1991.