Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14607
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Tjell, Simon | - |
dc.contributor.author | Fernandes, João M. | - |
dc.date.accessioned | 2011-11-28T16:04:17Z | - |
dc.date.available | 2011-11-28T16:04:17Z | - |
dc.date.issued | 2008-09 | - |
dc.identifier.isbn | 978-0-387-09660-5 | - |
dc.identifier.issn | 1571-5736 | por |
dc.identifier.uri | https://hdl.handle.net/1822/14607 | - |
dc.description | 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. | por |
dc.description.abstract | 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. | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.title | Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | DOI 10.1007/978-0-387-09661-2_8 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 79 | por |
oaire.citationEndPage | 88 | por |
oaire.citationTitle | Distributed embedded systems: design, middleware and resources | por |
oaire.citationVolume | 271 | por |
dc.identifier.doi | 10.1007/978-0-387-09661-2_8 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Ifip International Federation for Information Processing | por |
sdum.conferencePublication | Distributed embedded systems: design, middleware and resources | - |
sdum.bookTitle | DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES | por |
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 |