OCS-CAN — Orthogonal and Fault-Tolerant Clock Synchronization Subsystem for the Controller Area Network Protocol

Type | PhD project
Duration | 2002 - 2010
Project leader Guillermo Rodríguez-Navas
Collaborators Julián Proenza Arenas

DESCRIPTION

PUBLICATIONS

G. Rodríguez-Navas, J. Proenza. Design and Formal Verification of a Fault-tolerant Clock Synchronization Subsystem for the Controller Area Network. Universitat de les Illes Balears, 2010.

G. Rodríguez-Navas, J. Proenza, H. Hansson, P. Pettersson. Chapter VII: Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global, Gomes, Luís and Fernandes, João M. , 2009.

G. Rodríguez-Navas, J. Proenza, H. Hansson. An UPPAAL Model for Formal Verification of Clock Synchronization over CAN. 2005.

C. Guerrero, G. Rodríguez-Navas, J. Proenza. Hardware Support for Fault Tolerance in Triple Redundant CAN Controllers. In IEEE International Conference on Electronics, Circuits and Systems (ICECS), Dubrovnik (Croatia), 2002.

C. Guerrero, G. Rodríguez-Navas, J. Proenza. Design and Implementation of a Redundancy Manager for Triple Redundant CAN Controllers. In Annual Conference of the IEEE Industrial Electronics Society (IECON), Sevilla (Spain), 2002.

G. Rodríguez-Navas, J. Proenza. An Orthogonal and Fault-Tolerant Subsystem for High-Precision Clock Synchronization in CAN Networks. In WSEAS International Conference on Signal Processing, Robotics and Automation (ISPRA), Chiclana, Cádiz (Spain), 2002.

J. Ferreira, L. Almeida, J. A. Fonseca, G. Rodríguez-Navas, J. Proenza. Enforcing Consistency of Communication Requirements Updates in FTT-CAN. In International Workshop on Dependable Embedded Systems (DES), Florence (Italy), 2003.

G. Rodríguez-Navas, J. Proenza. Analyzing Atomic Broadcast in TTCAN Networks. In IFAC International Conference on Fieldbus Systems and their Applications (FET), Aveiro (Portugal), 2003.

I. Broster, A. Burns, G. Rodríguez-Navas. Probabilistic Analysis of CAN with Faults. In IEEE International Real-Time Systems Symposium (RTSS), Austin, Texas (USA), 2002.

G. Rodríguez-Navas, J. Jiménez, J. Proenza. An Architecture for Physical Injection of Complex Fault Scenarios in CAN Networks. In IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Lisbon (Portugal), 2003.

G. Rodríguez-Navas, J. Proenza. Harmonizing Dependability and Real Time in CAN Networks. In Second International Workshop on Real-Time LANs in the Internet Age (RTLIA), Lisbon (Portugal), 2003.

G. Rodríguez-Navas, J. Juan, J. Proenza. Hardware Design of a High-Precision and Fault-Tolerant Clock Subsystem for CAN Networks. In IFAC International Conference on Fieldbus Systems and their Applications (FET), Aveiro (Portugal), 2003.

G. Rodríguez-Navas, M. A. Barranco, J. Proenza, I. Broster. COTS-based Hardware Support to Timeliness in CAN Networks. In IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Lisbon (Portugal), 2003.

G. Rodríguez-Navas, J. Proenza. Clock Synchronization in CAN Distributed Embedded Systems. In International Workshop on Real-Time Networks (RTN), Catania (Italy), 2004.

M. A. Barranco, G. Rodríguez-Navas, J. Proenza, L. Almeida. CANcentrate: An Active Star Topology for CAN Networks. In IEEE International Workshop on Factory Communication Systems (WFCS), Vienna (Austria), 2004.

G. Rodríguez-Navas, J. Proenza, J. Rigo, J. Ferreira, L. Almeida, J. A. Fonseca. Design and Modeling of a Protocol to Enforce Consistency among Replicated Masters in FTT-CAN. In IEEE International Workshop on Factory Communication Systems (WFCS), Vienna (Austria), 2004.

I. Broster, A. Burns, G. Rodríguez-Navas. Comparing Real-time Communication under Electromagnetic Interference. In Euromicro Conference on Real-Time Systems (ECRTS), Catania (Italy), 2004.

G. Rodríguez-Navas, J. Proenza, H. Hansson. Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network. In IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania (Italy), 2005.

T. Nolte, G. Rodríguez-Navas, J. Proenza, S. Punnekkat, H. Hansson. Towards analyzing the fault-tolerant operation of Server-CAN. In IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania (Italy), 2005.

G. Rodríguez-Navas, J. Proenza, H. Hansson. An UPPAAL Model for Formal Verification of Master/slave Clock Synchronization over the Controller Area Network. In IEEE International Workshop on Factory Communication Systems (WFCS), Torino (Italy), 2006.

G. Rodríguez-Navas, J. Proenza, H. Hansson. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. In International Conference on Formal Engineering Methods (ICFEM, LNCS 4789), Boca Raton (Florida, USA), 2007.

G. Rodríguez-Navas, S. Roca, J. Proenza. Orthogonal, Fault-tolerant and High-precision Clock Synchronization for the Controller Area Network. In IEEE Transactions on Industrial Informatics, vol. 4, no. 2, pp. 92--101, 2008.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. An Active Star Topology for Improving Fault Confinement in CAN Networks. In IEEE Transactions on Industrial Informatics, vol. 2, no. 2, pp. 78--85, 2006.

J. Ferreira, L. Almeida, J. Alberto, P. Pedreiras, E. Martins, G. Rodríguez-Navas, J. Rigo, J. Proenza. Combining Operational Flexibility and Dependability in FTT-CAN. In IEEE Transactions on Industrial Informatics, vol. 2, no. 2, pp. 95--102, 2006.

J. Pimentel, J. Proenza, L. Almeida, G. Rodríguez-Navas, M. A. Barranco, J. Ferreira. Dependable Automotive CAN Networks. In Handbook on Automotive Embedded Systems, CRC Press, Nicolas Navet and Françoise Simonot-Lion , pp. 6-(1-51), 2009.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. Pushing error containment and fault tolerance. In CAN Newsletter. Special Edition on Automotive Networks, CAN in Automation GmbH, 2006.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. A CAN hub with Improved Error Detection and Isolation. In International CAN Conference (iCC), 2005.

G. Rodríguez-Navas, J. Proenza. Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN. In IEEE Symposium on Reliable Distributed Systems (SRDS), Napoli (Italy), 2008.

M. A. Barranco, J. Proenza, G. Rodríguez-Navas, L. Almeida. Design and implementation of CANcentrate: an active star topology for improving fault confinement in CAN networks. 2005.

G. Rodríguez-Navas, J. Proenza. Una descripción de los fundamentos del protocolo TTCAN diseñado por Bosch. 2003.

G. Rodríguez-Navas, J. Proenza. On the Design of a Clock Service for CAN Networks. 2003.


Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies