Automatic synthesis of SystemC-Code from formal specifications

被引：0
|
作者：
Rust, C [1 ]
Rettberg, A [1 ]
机构：
[1] Univ Gesamthsch Paderborn, D-4790 Paderborn, Germany
来源：
DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS | 2004年 / 150卷
关键词：
Petri nets; SystemC; embedded systems; system synthesis;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper presents an approach for realizing high-level Petri net models in SystemC. The approach contributes to an existing methodology for the Petri net based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net components in hardware. The paper describes the use of standard SystemC language constructs to realize the execution of a high-level Petri net, which is assumed to be separated into partitions. Besides techniques for realizing the mechanisms of Petri net execution, the integration of the code generation into the overall design flow is discussed. To demonstrate the effectiveness of our approach we use the inverse discrete cosine transformation (IDCT) that is part of the MPEG-2 algorithm.
引用
收藏
页码：187 / 196
页数：10
相关论文
共 30 条
  • [1] Automatic synthesis of controllers from formal specifications
    Tronci, E
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 134 - 143
  • [2] From the formal specifications of users tasks to the automatic generation of the HCI specifications
    Mahfoudhi, A
    Abed, M
    Tabary, D
    PEOPLE AND COMPUTERS XV - INTERACTION WITHOUT FRONTIERS, 2001, : 331 - 347
  • [3] The synthesis of Petri nets from path-automatic specifications
    Badouel, E
    Darondeau, P
    INFORMATION AND COMPUTATION, 2004, 193 (02) : 117 - 135
  • [4] UML/MARTE METHODOLOGY FOR AUTOMATIC SYSTEMC CODE GENERATION OF OPENMAX MULTIMEDIA APPLICATIONS
    Penil, Pablo
    Sanchez, Pablo
    de la Fuente, David
    Barba, Jesus
    Carlos Lopez, Juan
    16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 467 - 470
  • [5] Generating heterogeneous executable specifications in SystemC from UML/MARTE models
    Penil, P.
    Medina, J.
    Posadas, H.
    Villar, E.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 65 - 71
  • [6] Possibility of SystemC Code Generation from SDL Specification
    Morozkin, Pavel
    PROCEEDINGS OF THE 11TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT, 2012, : 95 - 99
  • [7] Synthesizing SystemC Code from Delay Hybrid CSP
    Yan, Gaogao
    Jiao, Li
    Wang, Shuling
    Zhan, Naijun
    PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2017), 2017, 10695 : 21 - 41
  • [8] Automatic generation of SystemC transactors, from graphical FSM
    Khan, Tareq Hasan
    Tahar, Sofiene
    Mohamed, Otmane Ait
    Habibi, Ali
    2007 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2007, : 73 - +
  • [9] Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems
    Krause, Matthias
    Bringmann, Oliver
    Rosenstiel, Wolfgang
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2005, 10 (04) : 229 - 251
  • [10] Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems
    Matthias Krause
    Oliver Bringmann
    Wolfgang Rosenstiel
    Design Automation for Embedded Systems, 2005, 10 : 229 - 251
123