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

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.

• Nurul Azma Zakaria
• Masahiro Kimura
• Noriko Matsumoto
• Norihiko Yoshida

• Hardware/software integrated design
• model driven architecture
• executable UML
• refactoring.

[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.