Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models

  • Marco Wehrmeister UDESC
  • João Packer UDESC
  • Luis Ceron UDESC

Resumo


Identifying errors in early design phases leads to a decrease in the cost of repairing such problems if they are discovered only in advanced design phases. This work is a first step toward an automatic verification approach for embedded and real-time systems' high-level specifications, such as UML models. This paper presents a model-driven framework to allow simulating system's behavior already in early design phases, prior to the implementation phase. More specifically, the mentioned framework simulates the behavior specified within UML models, generating a trace of executed actions for the selected behaviors. The achieved results show that early simulation of UML models is practicable, opening room for its usage in different CASE tools for early verification and validation of embedded and real-time systems.

Referências

K. Keutzer et al. "System-level design: orthogonalization of concerns and platform-based design " IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems vol. 19 no. 12 pp. 1523-1543 dec 2000. (Pubitemid 32870317)

D. C. Schmidt "Guest editor's introduction: Model-driven engineering " Computer vol. 39 no. 2 pp. 25 - 31 feb. 2006.

B. M. Broekman and E. Notenboom Testing Embedded Software. Boston USA: Addison-Wesley 2002.

M. A. Wehrmeister et al. "An aspect-oriented approach for dealing with non-functional requirements in a model-driven development of distributed embedded real-time systems " in Proc. of 10th International Symposium on Object Oriented Real-Time Distributed Computing. Washington: IEEE Computer Society 2007 pp. 428-432. (Pubitemid 350147968)

L. Fuentes J. Manrique and P. Sánchez "Execution and simulation of (profiled) uml models using pópulo " in Proceedings of the 2008 International Workshop on Models in Software Engineering. New York: ACM 2008 pp. 75-81.

D. Dotan and A. Kirshin "Debugging and testing behavioral UML models " in Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications. New York: ACM 2007 pp. 838-839.

H. Wada et al. "Design and implementation of the matilda distributed uml virtual machine " in Proc. of 10th IASTED Software Engineering Applications. ACTA Press 2006.

M. L. Crane and J. Dingel "Towards a uml virtual machine: implementing an interpreter for uml 2 actions and activities " in Proceedings of Conference of the Center for Advanced Studies on Collaborative Research: Meeting of Minds. New York: ACM 2008 pp. 8:96-8:110.

M. A. Wehrmeister An Aspect-Oriented Model-Driven Engineering Approach for Distributed Embedded Real-Time Systems. Münster: Verlag Monsenstein und Vannerdat 2009.

M. A. Wehrmeister et al. "An infrastructure for UMLbased code generation tools " in Analysis Architectures and Modelling of Embedded Systems. Boston: Springer 2009 vol. 310/2009 pp. 32-43.

E. P. Freitas et al. "DERAF: A high-level aspects framework for distributed embedded real-time systems design " in Early Aspects: Current Challenges and Future Directions. Berlin: Springer 2007 pp. 55-74. (Pubitemid 351152853)

M. A. Wehrmeister et al. "GenERTiCA: A tool for code generation and aspects weaving " in Proc. of 11th International Symposium on Object Oriented Real-Time Distributed Computing ser. ISORC '08. Los Alamitos: IEEE Computer Society 2008 pp. 44-54.

G. Kiczales et al. "Aspect-oriented programming " in Proc. of European Conference on Object-Oriented Programming. Berlin: Springer-Verlag 1997 pp. 220-242. (Pubitemid 127083932)

T. G. Moreira et al. "Automatic code generation for embedded systems: From UML specifications to VHDL code " in Proc. of 8th IEEE International Conference on Industrial Informatics. IEEE Computer Society 2010 pp. 1085-1090.

E. Gamma R. Helm R. Johnson and J. Vlissides Design patterns: elements of reusable object-oriented software. Boston USA: Addison-Wesley 1995.

A. Burns and A. Wellings Real-Time Systems and Programming Languages: Ada Real-Time Java and C/Real-Time POSIX 4th ed. USA: Addison-Wesley 2009.
Publicado
07/11/2011
WEHRMEISTER, Marco; PACKER, João; CERON, Luis. Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 1. , 2011, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 1-7. ISSN 2237-5430.