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

Abstract

The two main concerns of this work are: a technique for model validation called "Programmed Execution" and its integration to the Statechart Simulator (StatSim) environment, wich is an integrated set of tools for edition and simulation of statecharts. In the "Programmed Execution", a system control model of a system under development is simulated from events generated according to probabilistics distributions and is controlled by a program that states what is to be done at each step. As results, besides the dynamic visual simulation, two reports are available: a statistical analysis about the simulation and a log file of all configurations reached during the simulation, step by step.

References

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.