Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14607
Título: | Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables |
Autor(es): | Tjell, Simon Fernandes, João M. |
Data: | Set-2008 |
Editora: | Springer |
Revista: | Ifip International Federation for Information Processing |
Resumo(s): | In a distributed embedded system, it is often necessary to share variables among its computing nodes to allow the distribution of control algorithms. It is therefore necessary to include a component in each node that provides the service of variable sharing. For that type of component, this paper discusses how to create a Colored Petri Nets (CPN) model that formally expresses the following elements in a clearly separated structure: (1) assumptions about the behavior of the environment of the component, (2) real-time requirements for the component, and (3) a possible solution in terms of an algorithm for the component. The CPN model can be used to validate the environment assumptions and the requirements. The validation is performed by execution of the model during which traces of events and states are automatically generated and evaluated against the requirements. |
Tipo: | Artigo em ata de conferência |
Descrição: | Apresentado na 6th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), no âmbito do 20th IFIP World Computer Congress, Milão, Itália, set/2008. |
URI: | https://hdl.handle.net/1822/14607 |
ISBN: | 978-0-387-09660-5 |
DOI: | 10.1007/978-0-387-09661-2_8 |
ISSN: | 1571-5736 |
Versão da editora: | DOI 10.1007/978-0-387-09661-2_8 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CAlg - Artigos em revistas internacionais / Papers in international journals DI/CCTC - Livros e Capítulos de livros |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2008-dipes.pdf | Artigo | 208,51 kB | Adobe PDF | Ver/Abrir |