A tool to support Bluespec System Verilog coding based on UML diagrams

被引:0
|
作者
Durand, Sergio H. M. [1 ]
Bonato, Vanderlei [1 ]
机构
[1] Univ Sao Paulo, Inst Math & Comp Sci, BR-13566590 Sao Carlos, SP, Brazil
来源
38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012) | 2012年
关键词
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
The use of high level languages to support the development of embedded systems is a current trend. Such approach tends to reduce the development time and cost. The process of translating a high level representation to the final hardware and software architecture is desirable to be automatic encompassing as much as possible the requirements specified in high level model. This work proposes a new tool to support Bluespec System Verilog code generation based on models represented via Activity and State UML diagrams. The tool accepts as input the XMI format and the generation process is based on templates where the target language is represented.
引用
收藏
页码:4670 / 4675
页数:6
相关论文
共 50 条
  • [1] Translation UML diagrams into Verilog
    Bazydlo, Grzegorz
    Adamski, Marian
    Stefanowicz, Lukasz
    2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
  • [2] Tool support for verifying UML activity diagrams
    Eshuis, R
    Wieringa, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (07) : 437 - 447
  • [3] Tool Support for Consistency Verification of UML Diagrams
    Phuklang, Salilthip
    Yokogawa, Tomoyuki
    Leelaprute, Pattara
    Arimoto, Kazutami
    PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 606 - 609
  • [4] Tool Support for Measuring Complexity of UML Class Diagrams
    Yi Tong
    ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 1005 - 1008
  • [5] UML Miner: a tool for mining UML diagrams
    Ardimento, Pasquale
    Aversano, Lerina
    Bernardi, Mario Luca
    Carella, Vito Alessandro
    Cimitile, Marta
    Scalera, Michele
    2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 30 - 34
  • [6] Distributed collaborative modeling support system for UML diagrams
    Xu, Dongmei
    Kurogi, Jun
    Ohgame, Yoshihide
    Hazeyama, Atsuo
    14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 567 - 567
  • [7] Tool Support to Deriving Test Scenarios from UML Activity Diagrams
    Xu, Dong
    Liu, Wei
    Liu, Zongtian
    Philbert, Nduwimfura
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 73 - 76
  • [8] Further Sub-cycle and Multi-cycle Schedulling support for Bluespec Verilog
    Greaves, David J.
    17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
  • [9] Design and implementation of a software inspection support system for UML diagrams
    Ohgame, Y
    Hazeyama, A
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (04): : 1327 - 1336
  • [10] A Formal Verification Tool for UML Behavioral Diagrams
    Rebelo dos Santos, Luciana Brasil
    Eras, Eduardo Rohde
    de Santiago Junior, Valdivino Alexandre
    Vijaykumar, Nandamudi Lankalapalli
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711