Guillermo Rodríguez-Navas González

Position | Former member
Office phone | +34 971172901
Email | guillermo.rodriguez-navas@uib.es

Research lines: Dependable and real-time distributed embedded systems
Fault-tolerant systems
Safety-critical systems
Clock synchronization
Fieldbus technology.

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.

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

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.

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. 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.

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.

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.


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