Designing and Verifying Media Management in ReCANcentrate

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

Barranco, M (Author) Other; Proenza, J (Author) Other; Luis Almeida (Author) FEUP

Conference proceedings International

Title: 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS

Pages: 484-+

13th IEEE International Conference on Emerging Technologies and Factory Automation

Hamburg, GERMANY, SEP 15-18, 2008

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 4 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 2