DocumentCode
3018299
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
fYear
2008
fDate
15-18 Sept. 2008
Firstpage
484
Lastpage
487
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ETFA.2008.4638442
Filename
4638442
Link To Document