Title :
Designing and verifying media management in ReCANcentrate
Author :
Barranco, Manuel ; Proenza, Julián ; Almeida, Luís
Author_Institution :
Dept. Mat. i Inf., Univ. de les Illes Balears, Palma de Mallorca
Abstract :
To overcome some dependability limitations of CAN that arise from its non-redundant bus topology, we have proposed a CAN-compliant replicated star topology, ReCANcentrate, 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.
Keywords :
controller area networks; fault tolerant computing; formal verification; ReCANcentrate; fault-tolerance mechanisms; fault-treatment mechanisms; formal verification; media management; nonredundant bus topology; star topology; Broadcasting; Downlink; Fault diagnosis; Fault tolerance; Formal verification; Hardware; Mechanical factors; Protocols; Software performance; Topology;
Conference_Titel :
Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on
Conference_Location :
Hamburg
Print_ISBN :
978-1-4244-1505-2
Electronic_ISBN :
978-1-4244-1506-9
DOI :
10.1109/ETFA.2008.4638442
