Modelling systemC process behavior by the UML method state machines

被引：0
|
作者：
Riccobene, E [1 ]
Scandurra, P [1 ]
机构：
[1] Univ Catania, Dipartimento Matemat & Informat, I-95125 Catania, Italy
来源：
RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES | 2005年 / 3475卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We describe the SystemC Process State Machines that we have defined, as a variation of the UML method state machines, to model the behavior of reactive processes of the SystemC language. They are part of a complete UML 2.0 profile for SystemC that we have developed to improve the SoC (System on a Chip) design flow in order to provide a modelling framework which allows high-level designing SoC components in the style of UML using the SystemC design primitives.
引用
收藏
页码：112 / 121
页数：10
相关论文
共 50 条
  • [1] Modelling Program-State Machines in SystemC™
    Gruettner, Kim
    Nebel, Wolfgang
    [J]. 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 25 - +
  • [2] UML tailoring for SystemC and ISA modelling
    Agosta, G
    Bruschi, F
    Sciuto, D
    [J]. UML for SOC Design, 2005, : 147 - 173
  • [3] A software development process based on UML state machines
    Cariou, Eric
    Brunschwig, Lea
    Le Goaer, Olivier
    Barbier, Franck
    [J]. 2020 4TH INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE'2020): 4TH INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING, 2020, : 23 - 30
  • [4] Slicing of UML State Machines
    Lano, Kevin
    [J]. AIC '09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATIONS: RECENT ADVANCES IN APPLIED INFORMAT AND COMMUNICATIONS, 2009, : 63 - +
  • [5] Generating finite state machines from SystemC
    Habibi, Ali
    Moinudeen, Haja
    Tahar, Sofiene
    [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1411 - +
  • [6] A method of implementing UML virtual machines with some constraints based on abstract state machines
    Shen, WW
    Compton, K
    Huggins, J
    [J]. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 224 - 233
  • [7] An Institution for Simple UML State Machines
    Knapp, Alexander
    Mossakowski, Till
    Roggenbach, Markus
    Glauer, Martin
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 3 - 18
  • [8] Enhancing UML state machines with aspects
    Zhang, Gefei
    Hoelzl, Matthias
    Knapp, Alexander
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 529 - +
  • [9] Institutionalising UML 2.0 state machines
    Calegari, Daniel
    Szasz, Nora
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (04) : 315 - 323
  • [10] Interactive verification of UML state machines
    Balser, M
    Bäumler, S
    Knapp, A
    Reif, W
    Thums, A
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 434 - 448
12345