Designing and Verifying Media Management in ReCANcentrate

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2008

Autores

Barranco, M (Autor) Outra; Proenza, J (Autor) Outra; Luis Almeida (Autor) FEUP

Ata de Conferência Internacional

Título: 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS

Páginas: 484-+

13th IEEE International Conference on Emerging Technologies and Factory Automation

Hamburg, GERMANY, SEP 15-18, 2008

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 4 Citações

Outras Informações

ID Authenticus: P-007-NZ1

DOI: 10.1109/etfa.2008.4638442

Abstract (EN): To overcome some dependability limitations of CAN that arise from its non-redundant bus topology, we have proposed a CAN-compliant replicated star topology, Re-CANcentrate, whose hubs incorporate the necessary fault-treatment and fault-tolerance mechanisms. This paper presents ongoing work regarding the design and formal verification of the strategy each node of ReCANcentrate uses to manage the transmissions and the receptions on the replicated star as well as to tolerate faults.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 2