Extraction of Transformation Rules from UML Diagrams to SpecC
スポンサーリンク
概要
- 論文の詳細を見る
Embedded systems are used in broad fields. They are one of the indispensable and fundamental technologies in a highly informative society in recent years. As embedded systems are large-scale and complicated, it is prosperous to design and develop a system LSI (Large Scale Integration). The structure of the system LSI has been increasing complexity every year. The degree of improvement of its design productivity has not caught up with the degree of its complexity by conventional methods or techniques. Hence, an idea for the design of a system LSI which has the flow of describing specifications of a system in UML (Unified Modeling Language) and then designing the system in a system level language has already proposed. It is important to establish how to convert from UML to a system level language in specification description or design with the idea. This paper proposes, extracts and verifies transformation rules from UML to SpecC which is one of system level languages. SpecC code has been generated actually from elements in diagrams in UML based on the rules. As an example to verify the rules, "headlights control system of a car" is adopted. SpecC code has been generated actually from elements in diagrams in UML based on the rules. It has been confirmed that the example is executed correctly in simulations. By using the transformation rules proposed in this paper, specification and implementation of a system can be connected seamlessly. Hence, it can improve the design productivity of a system LSI and the productivity of embedded systems.
- 社団法人電子情報通信学会の論文
- 2005-06-01
著者
-
Katayama Tetsuro
Faculty Of Engineering University Of Miyazaki
-
Katayama Tetsuro
Fac. Of Engineering Univ. Of Miyazaki
関連論文
- Extraction of Transformation Rules from UML Diagrams to SpecC
- An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix