DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS

被引：0

作者：

Moutinho, Filipe ^{[1
]}

Gomes, Luis ^{[1
]}

机构：

[1] Univ Nova Lisboa, P-1200 Lisbon, Portugal

来源：

2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS | 2013年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a model-based development approach for distributed embedded systems, supported by design automation tools (available online at http://gres.uninova.pt/). The development approach considers the distributed system specification through a single Petri net model, which includes synchronous components specification and their asynchronous interaction. This specification supports the use of model-checking tools to verify behavioral proprieties and to provide additional information about the required resources to implement the distributed components and their communication channels. The global specification with the additional information supports the use of code generation tools to automatically generate the implementation code (of the synchronous components and communication channels) for software and hardware platforms based on micro-controllers and/or FPGAs.

引用

页数：2

共 50 条

[11] Open distributed supervisory system design using Petri nets
Bastidas, G
Villani, E
Junqueira, F
Miyagi, PE
[J]. 2003 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, 2003, : 712 - 717
[12] Open distributed supervisory system design using Petri nets
[J]. 2003, (Institute of Electrical and Electronics Engineers Inc., United States):
[13] Monitoring and Debugging Distributed Autonomous Systems using Petri Nets
Lopez, Joaquin
Perez, Diego
Gayoso, Miguel
Paz, Enrique
[J]. WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2011, : 216 - 221
[14] Using of Petri nets techniques in information systems design
Korotikov, SV
[J]. 2003 SIBERIAN RUSSIAN WORKSHOP ON ELECTRON DEVICES AND MATERIALS PROCEEDINGS, 2003, : 171 - 175
[15] Design of parallel and distributed systems with high-level Petri nets using case technology
Mikolajczak, B
Rumbut, JT
[J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2288 - 2293
[16] Schedule modeling based on Petri nets for distributed real-time embedded systems
Zhang, Haitao
Ai, Yunfeng
[J]. Jisuanji Gongcheng/Computer Engineering, 2006, 32 (18): : 6 - 8
[17] A methodology for complex embedded systems design - Petri nets within a UML approach
Machado, RJ
Fernandes, JM
Santos, HD
[J]. ARCHITECTURE AND DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS, 2001, 61 : 1 - 10
[18] Distributed Petri nets for analysis and integration of systems
Riascos, LAM
Miyagi, PE
[J]. MODELLING AND SIMULATION 2001, 2001, : 63 - 67
[19] Modeling and Verifying Distributed Systems with Petri Nets
Baarir, Souheib
Kordon, Fabrice
[J]. PROCEEDINGS OF THE 2012 IEEE SECOND INTERNATIONAL WORKSHOP ON ADVANCED INFORMATION SYSTEMS FOR ENTERPRISES (IWAISE 2012), 2012, : 92 - 92
[20] Specification of distributed systems using multi-level Petri nets
Ramos, FF
Zuñiga, F
Alcala, A
Piza, I
[J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 604 - 609

← 1 2 3 4 5 →