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.
Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1084998Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 895
 D. D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer and S. Zhao, SpecC: Specification Language and Methodology, Kluwer, 2000.
 P. Marwedel, Embedded System Design, Springer, 2006.
 C. Raistrick, P. Francis, J. Wright, C. Carter and I. Wilkie, Model Driven Architecture with Executable UML, Cambridge University Press, 2004.
 M. Fowler, Refactoring: Improving the Design of Existing Code, Addison-Wesley, 1999.
 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.
 T. Schattkowsky and W. Muller, "Model-Based Design of Embedded Systems", Proc. 7th IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing, 2004.
 Proc. 2006 Workshop on UML for SoC Design, in conjunction with ACM/IEEE 43th Design Automation Conf., 2006.