Type | PhD project
Duration | 2002 - 2010
Project leader | Guillermo Rodríguez-Navas
Collaborators | Julián Proenza Arenas
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.
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.