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 条

[21] Device Driver and DMA Controller Synthesis from HW /SW Communication Protocol Specifications
MATTIAS O'Nils
AXEL Jantsch
Design Automation for Embedded Systems, 2001, 6 : 177 - 205
[22] Device driver and DMA controller synthesis from HW /SW communication protocol specifications
O'Nils, M
Jantsch, A
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2001, 6 (02) : 177 - 205
[23] IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development
Pereira, Fernando
Moutinho, Filipe
Costa, Aniko
Barros, Joao-Paulo
Campos-Rebelo, Rogerio
Gomes, Luis
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022), 2022, 13288 : 127 - 138
[24] Automatic Network Protocol Synthesis from UML Sequence Diagrams
Ebeid, E.
Fummi, F.
Quaglia, D.
Stefanni, F.
2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 68 - 73
[25] A code refinement methodology for performance-improved synthesis from C
Stitt, Greg
Vahid, Frank
Najjar, Walid
IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, ICCAD, 2006, : 884 - +
[26] TDevCGen: A Synthesis Toolset of HW/SW Communication Protocol Monitors from high-level Specifications
Macieira, Rafael Melo
Barros, Edna
2018 IEEE 19TH LATIN-AMERICAN TEST SYMPOSIUM (LATS), 2018,
[27] Automatic code generation from high-level Petri-Nets for model driven systems engineering
Philippi, Stephan
JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1444 - 1455
[28] Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models
D. de la Fuente
J. Barba
J. C. López
P. Peñil
H. Posadas
P. Sánchez
Multimedia Tools and Applications, 2017, 76 : 8195 - 8226
[29] Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models
De la Fuente, D.
Barba, J.
Lopez, J. C.
Penil, P.
Posadas, H.
Sanchez, P.
MULTIMEDIA TOOLS AND APPLICATIONS, 2017, 76 (06) : 8195 - 8226
[30] A framework for embedded software portability and verification: from formal models to low-level code ( feb , 2024 , 10.1007/s10270-023-01144-y)
Gomes, Renata Martins
Aichernig, Bernhard
Baunach, Marcel
SOFTWARE AND SYSTEMS MODELING, 2024, 23 (02) : 317 - 317

← 1 2 3 →