Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.21/3836
Título: Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models
Autor: Pereira, Fernando
Gomes, Luís
Palavras-chave: Internet
Petri Nets
Digital Control
Embedded Systems
Hardware Description Languages
Program Compilers
Data: 2013
Editora: IEEE
Citação: 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.
Relatório da Série N.º: IEEE Industrial Electronics Society;
Resumo: 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.
Descrição: Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013
Peer review: yes
URI: http://hdl.handle.net/10400.21/3836
ISBN: 978-1-4799-0224-8
ISSN: 1553-572X
Versão do Editor: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6699475&queryText%3DAutomatic+synthesis+of+VHDL+Hardware+Components+from+IOPT+Petri+Net+models
Aparece nas colecções:ISEL - Eng. Electrotécn. - Artigos

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.