Embedded System Design Based on Aspect-Oriented Executable UML

System-level design methodology is one of the design paradigm for embedded systems. As embedded systems are getting much larger and more complex recently, the research to improve design productivity of system-level design is being required. In order to solve this issue, we have proposed a methodology of language independent system-level design using Executable UML (xUML) and a scheme for the procedure of stepwise refinement by the refactoring technique. However, the refactoring rules are informal and sometimes ambiguous because they are defined in a natural language. Consequently, we are aiming at formalizing the stepwise refinement procedure based on refactoring to automatize it. In this paper, we propose a formalization scheme based on the aspect-oriented technique to the system-level design in xUML.