Stepwise Refinement in Executable-UML for Embedded System Design: A Preliminary Study

Authors: Nurul Azma Zakaria, Masahiro Kimura, Noriko Matsumoto, Norihiko Yoshida

Abstract:

The fast growth in complexity coupled with requests for shorter development periods for embedded systems are bringing demands towards a more effective, i.e. higher-abstract, design process for hardaware/software integrated design. In Software Engineering area, Model Driven Architecture (MDA) and Executable UML (xUML) has been accepted to bring further improvement in software design. This paper constructs MDA and xUML stepwise transformations from an abstract specification model to a more concrete implementation model using the refactoring technique for hardaware/software integrated design. This approach provides clear and structured models which enables quick exploration and synthesis, and early stage verification.

Keywords: Hardware/software integrated design, model driven architecture, executable UML, refactoring.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1084998

References:

[1] D. D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer and S. Zhao, SpecC: Specification Language and Methodology, Kluwer, 2000.
[2] P. Marwedel, Embedded System Design, Springer, 2006.
[3] C. Raistrick, P. Francis, J. Wright, C. Carter and I. Wilkie, Model Driven Architecture with Executable UML, Cambridge University Press, 2004.
[4] M. Fowler, Refactoring: Improving the Design of Existing Code, Addison-Wesley, 1999.
[5] E. Riccobene, P. Scandurra, A. Rosti and S. Bocchio, "A SoC Design Methodology Involving a UML 2.0 Profile for SystemC", Proc. Design, Automation and Test in Europe, 2005.
[6] T. Schattkowsky and W. Muller, "Model-Based Design of Embedded Systems", Proc. 7th IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing, 2004.
[7] Proc. 2006 Workshop on UML for SoC Design, in conjunction with ACM/IEEE 43th Design Automation Conf., 2006.