Utilize este identificador para referenciar este registo: http://hdl.handle.net/10362/13133
Título: Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems
Autor: Moutinho, Filipe de Carvalho
Orientador: Gomes, Luís
Palavras-chave: Distributed embedded systems
Globally-asynchronous locally-synchronous systems
Model-based development
Petri nets
Data de Defesa: 2014
Editora: Faculdade de Ciências e Tecnologia
Resumo: A model-based development approach (MBDA) for Globally-Asynchronous Locally- Synchronous (GALS) Distributed Embedded Systems (DESs) is proposed. This approach relies on the GALS-DESs specification through (low- or high-level) Petri net classes, which ensure that the created models are GALS, locally deterministic, distributable, networkindependent, and platform-independent and support their simulation, verification, and implementation (using simulation, model-checking, and code generation tools). The use of network- and platform-independent models enable the use of heterogeneous communication networks to support the distributed components interaction and enable the use of heterogeneous platforms to support the components and the communication nodes implementation. To enable the proposed MBDA, Petri nets are extended with a set of the concepts, most notably time-domains and asynchronous-channels. Algorithms to support the verification of GALS-DES models and their decomposition into implementable sub-models are also proposed. A tool chain framework (IOPT-tools) was extended with this work proposals, supporting their validation and the GALS-DESs development.
Descrição: Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores
URI: http://hdl.handle.net/10362/13133
Aparece nas colecções:FCT: DEE - Teses de Doutoramento

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
Moutinho_2014.pdf18 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

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