Designing and verifying media management in ReCANcentrate

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2008, Pages 484-487

  Barranco, Manuel ^a   Proenza, Julián ^a   Almeida, Luís ^b  

^a UNIVERSITAT DE LES ILLES BALEARS   (Spain)

^b UNIVERSITY OF AVEIRO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

BUS TOPOLOGIES; FORMAL VERIFICATIONS; MEDIA MANAGEMENTS; STAR TOPOLOGIES;

ELECTRIC NETWORK TOPOLOGY; FACTORY AUTOMATION; FAULT TOLERANCE; QUALITY ASSURANCE; RELIABILITY; RHENIUM; SEMICONDUCTOR QUANTUM DOTS; TOPOLOGY;

SYSTEMS ANALYSIS;

EID: 56349106473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2008.4638442     Document Type: Conference Paper

References (8)

1. ISO, "ISO11898. Road vehicles - Interchange of digital information - Controller Area Network (CAN) for high-speed communication", 1993.
2. J. R. Pimentel and J. A. Fonseca, "FlexCAN: A Flexible Architecture for Highly Dependable Embedded Applications", The 3rd International Workshop on Real-Time Networks, Catania, Italy, July 2004.
3. th IEEE International Conference on Emerging Technologies and Factory Automation, Catania, Italy, 2005.
4. J. Rufino, P. Veríssimo, G. Arroz, C. Almeida, and L. Rodrigues, "Fault-tolerant broadcasts in CAN", FTCS-28, The 28th International Symposium on Fault-Tolerant Computing, Munich, Germany, 1998.
5. J. Rufino, P. Veríssimo, and G. Arroz, "A Columbus' Egg Idea for CAN Media Redundancy", FTCS-29. The 29th International Symposium on Fault-Tolerant Computing, Winconsin, USA, June 1999.
6. J. Proenza and J. Miro-Julia, "MajorCAN: A modification to the Controller Area Network to achieve Atomic Broadcast", IEEE Int. Workshop on Group Communication and Computations, Taipei, Taiwan, 2000.
7. J. Ferreira, A. Oliveira, P. Fonseca, and J. Fonseca, "An experiment to Assess Bit Error Rate in CAN", Proceedings of 3rd International Workshop on Real-Time Networks, Catania, Italy, 2004.
8. K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell", Int. Journal on Software Tools for Technology Transfer, 1(12):134152, 1997.