Publication
Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models
| dc.contributor.author | Pereira, Fernando | |
| dc.contributor.author | Gomes, Luís | |
| dc.date.accessioned | 2014-09-23T09:50:35Z | |
| dc.date.available | 2014-09-23T09:50:35Z | |
| dc.date.issued | 2013 | |
| dc.description | Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013 | por |
| dc.description.abstract | The IOPT Petri net class, designed to implement embedded system controllers, combining the well known properties of Petri nets with input and output functions, provides a set of capabilities suitable to specify digital controller systems. This paper presents an automatic code generation tool used to create VHDL controller implementations of IOPT models and describes the underlying code generation strategies. The new tool is integrated under the Web based IOPT-Tools framework (accessible at http://gres.uninova.pt), containing a complete tool-chain ranging from interactive model design and edition, model checking and simulation tools to automatic code generation, allowing the design of embedded system controllers using only graphical tools and without the need to manually write any hardware description or software code. | por |
| dc.description.sponsorship | IEEE Ind Elect Soc; Inst Elect & Elect Engineers; Austrian Inst Technol; Vienna Univ Technol | por |
| dc.identifier.citation | PEREIRA, Fernando, GOMES, Luís - Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models. 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON). (2013), p. 2214-2219. | por |
| dc.identifier.isbn | 978-1-4799-0224-8 | |
| dc.identifier.issn | 1553-572X | |
| dc.identifier.uri | http://hdl.handle.net/10400.21/3836 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | IEEE | por |
| dc.relation.ispartofseries | IEEE Industrial Electronics Society; | |
| dc.relation.publisherversion | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6699475&queryText%3DAutomatic+synthesis+of+VHDL+Hardware+Components+from+IOPT+Petri+Net+models | por |
| dc.subject | Internet | por |
| dc.subject | Petri Nets | por |
| dc.subject | Digital Control | por |
| dc.subject | Embedded Systems | por |
| dc.subject | Hardware Description Languages | por |
| dc.subject | Program Compilers | por |
| dc.title | Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models | por |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Vienna | por |
| oaire.citation.endPage | 2219 | por |
| oaire.citation.startPage | 2214 | por |
| oaire.citation.title | 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) | por |
| person.familyName | Pereira | |
| person.givenName | Fernando | |
| person.identifier.orcid | 0000-0001-7255-369X | |
| rcaap.rights | restrictedAccess | por |
| rcaap.type | conferenceObject | por |
| relation.isAuthorOfPublication | 7a448068-c78a-4f07-988e-3793c38f0e73 | |
| relation.isAuthorOfPublication.latestForDiscovery | 7a448068-c78a-4f07-988e-3793c38f0e73 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models.pdf
- Size:
- 512.91 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: