Abstract | ||
---|---|---|
This paper presents a model-based development approach to support automatic code generation for Globally-Asynchronous Locally-Synchronous (GALS) embedded systems. FPGA-based platforms are used to validate the proposed approach. The GALS system behavior must be specified using a class of Petri nets, which allows the specification of the components and how they interact. A verification tool is used to automatically obtain the characteristics of the communication infrastructure, namely the buffer size required to implement the asynchronous wrappers interconnecting the set of components of the GALS system. With this information, VHDL generator tools are used to automatically generate the code that implement the controllers and the communication interface, making the integration between them. An application example is used to support the proposed model-based development approach presentation. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ISIE.2012.6237288 | ISIE |
Keywords | Field | DocType |
petri nets,asynchronous machines,embedded systems,field programmable gate arrays,fpga-based platforms,gals systems,asynchronous wrappers configuration,automatic code generation,globally-asynchronous locally-synchronous embedded systems,generators,petri net,model based development,synchronization,field programmable gate array,embedded system | Asynchronous communication,Synchronization,Petri net,Computer science,Field-programmable gate array,Asynchronous machines,Code generation,VHDL,Communication interface,Embedded system,Distributed computing | Conference |
ISSN | ISBN | Citations |
2163-5137 E-ISBN : 978-1-4673-0157-2 | 978-1-4673-0157-2 | 1 |
PageRank | References | Authors |
0.36 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Moutinho, F. | 1 | 22 | 3.65 |
Luís Gomes | 2 | 87 | 22.71 |
Aniko Costa | 3 | 52 | 13.92 |
Pimenta, J. | 4 | 1 | 0.36 |