Position
| Former member Office phone | +34 971172901 Email | guillermo.rodriguez-navas@uib.es
|
PROJECTS
• OCS-CAN — Orthogonal and Fault-Tolerant Clock Synchronization Subsystem for the Controller Area Network Protocol
• DFT4FTT - Dynamic Fault Tolerance for increasing the adaptivity of highly-reliable distributed embedded systems based on Flexible Time-Triggered Ethernet
• FT4FTT — FT4FTT-Ethernet: Fault Tolerance mechanisms for adaptive distributed embedded systems based on FTT-Ethernet
• CANbids — CAN-Based Infrastructure for Dependable Systems
• DFT4FTT - Dynamic Fault Tolerance for increasing the adaptivity of highly-reliable distributed embedded systems based on Flexible Time-Triggered Ethernet
• FT4FTT — FT4FTT-Ethernet: Fault Tolerance mechanisms for adaptive distributed embedded systems based on FTT-Ethernet
• CANbids — CAN-Based Infrastructure for Dependable Systems
PUBLICATIONS
2014
A. Ballesteros, J. Proenza, D. Gessner, G. Rodríguez-Navas, T. Sauter. Achieving Elementary Cycle Synchronization between Masters in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.
2013
G. Rodríguez-Navas, J. Proenza. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. In IEEE Transactions on Software Engineering, IEEE Computer Society, vol. 39, no. 6, pp. 857-868, 2013 .
G. Rodríguez-Navas, J. Proenza. A proposal for Flexible, Real-Time and Consistent Multicast in FTT/HaRTES Switched Ethernet. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013.
M. Ashjaei, M. Behnam, G. Rodríguez-Navas, T. Nolte. Implementing a Clock Synchronization Protocol on a Multi-Master Switched Ethernet Network. In 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA13), Cagliari, Italy, 2013.
L. Almeida, Z. Iqbal, P. Pedreiras, R. Marau, L. Silva, M. Ashjaei, M. Behnam, T. Nolte, J. Proenza, M. A. Barranco, D. Gessner, G. Rodríguez-Navas, A. Ballesteros, S. Derasevic. Developments in Flexible Time-Triggered Switched Ethernet. In Workshop on Real-Time Ethernet (RATE 2013) in conjunction with RTSS 2013, 2013.
2012
J. Proenza, M. A. Barranco, G. Rodríguez-Navas, D. Gessner, F. Guardiola, L. Almeida. The design of the CANbids architecture. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.
C. Winter, J. Proenza, G. Rodríguez-Navas. Mejora, integración y verificación experimental de los mecanismos de resolución de inconsistencias del proyecto CANbids. Universitat de les Illes Balears, 2012.
2011
G. Rodríguez-Navas, C. Winter, J. Proenza. Injection of Aggregated Error Flags as a Means to Guarantee Consistent Error Detection in CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 2011.
M. A. Barranco, G. Rodríguez-Navas, D. Gessner, J. Proenza. Towards the Integration of Flexible-Time-Triggered Communication and Replicated Star Topologies in CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 2011.
2010
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.
2009
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.
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.
2008
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.
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.
2007
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.
2006
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.
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.
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.
2005
G. Rodríguez-Navas, J. Proenza, H. Hansson. An UPPAAL Model for Formal Verification of Clock Synchronization over CAN. 2005.
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.
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.
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.
2004
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.
2003
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.
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. Una descripción de los fundamentos del protocolo TTCAN diseñado por Bosch. 2003.
2002
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.
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.