Julián Proenza Arenas

Position | Associate professor
Email | julian.proenza@uib.es
Home page | http://dmi.uib.es/~jproenza/


Research lines: Dependable and Real-Time Systems
Fault-tolerant distributed systems
Adaptive systems
Clock synchronization
Field-bus networks

Julián Proenza received the ‘Licenciatura’ degree in Physics from the University of the Balearic Islands (UIB), Palma de Mallorca, Spain, in 1989, and a Ph.D. in Informatics from the same university in 2007. He is currently an Associate Professor in the Department of Mathematics and Informatics at the UIB. During his years as a lecturer he had additional academic responsibilities such as Secretary of the Faculty of Informatics, member of the Academic Board of the Doctorate in Electronics Engineering, member of the Quality Supervision Boards of the degree in Informatics and the Master in Electronics Engineering, and Student Mobility Coordinator for the degree in Informatics. He is currently Secretary of the Politechnical School and thus a member of the management team of all engineering bachelor degrees in the UIB. Moreover, he has been the academic coordinator of UIB in the Erasmus Mundus Projects ‘EUROWEB’ and ’EUROWEB +’, facilitating scholarships for students on undergraduate, master, doctoral and post-doctoral level, as well as for university staff in academic or administrative positions, financed by the European Commission. He is currently the academic coordinator of the UIB for the EU EMJMD Programme on the Engineering of Data-intensive Intelligent Software Systems (EDISS), which received its first students in August 2021.

Dr. Proenza’s research interests include Dependable and Real-Time Systems, Fault-Tolerant Distributed Systems, Adaptive Systems, Clock Synchronization, and Fieldbus and Industrial Networks. He is co-author of more than 100 publications in international scientific conferences and journals, and co-author of 3 patents. Papers co-authored by him received the best paper award at the IEEE Workshop on Factory Communication Systems (WFCS) 2004; the best work-in-progress paper award at the IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2012), at WFCS 2014 and at WFCS 2016; and the Factory Automation Best Paper Award at the ETFA 2023 conference. He has supervised 6 PhD theses and is currently supervising 2 more. He has been involved in several national research projects, in some cases as a member of the research team and in others as main responsible for the project. He was a visiting researcher at Mälardalen University (MDH) in 2008, at Universidade do Porto in 2010 and 2012, and at Teesside University in 2012.

He has acted as Guest Editor for two Special Sections on Industrial Communication Systems of the IEEE Transactions on Industrial Informatics in 2010 and 2016. He has served as General Co-Chairman for the 2015 edition of the IEEE WFCS and for the 2021 edition of the IEEE International Conference on Industrial Informatics (INDIN). He has served as Program Co-Chairman for the 2010 edition and as WiP Co-Chairman for the 2016 edition of the IEEE WFCS. He has acted as Co-Chairman for the Track on Industrial Communication Systems for the 2008, 2009, 2010, 2014 and 2020 editions of the IEEE ETFA Conference. He has co-organized several editions and later joined the steering committee of the Workshop on Adaptive and Reconfigurable Embedded Systems (APRES). He has co-organized a Special Session on Fault Tolerance Techniques in Distributed Embedded and Automation Systems in the ETFA conference in 2012, 2014 and 2015. He has also served as member of the Program Committee of several international conferences, including the International Workshop on Real-Time Networks (RTN), the International Workshop on Dependable Embedded Systems (WDES), the IEEE International Conference on Industrial Technology (ICIT), ETFA and WFCS. He has acted as a technical reviewer for several conferences, journals and the Spanish ANEP. He is a member of the Institute of Electrical and Electronic Engineers (IEEE) and has been elevated to Senior Member in 2013. Within the IEEE organization he is one of the Co-Chairmen of the Sub-Committee on Fault-Tolerant and Dependable Systems of the Technical Committee on Factory Automation of the IEEE Industrial Electronics Society (https://tcfa.ieee-ies.org/index.html).

(Last update: October 2023)

Publication Statistics: ORCID, Google Scholar, Scopus, ResearcherID, ResearchGate

PUBLICATIONS

2023

M. Jover, M. A. Barranco, J. Proenza. Opportunities and Specific Plans for Migrating from PRP to TSN in Substation Automation Systems. In Proceedings of the IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023), Sinaia, Romania, pp. 1-4, 2023.

D. Bujosa, J. Proenza, A. Papadopoulos, T. Nolte, M. Ashjaei. Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes. In Proceedings of the IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023), Sinaia, Romania, pp. 1-4, 2023.

2022

I. Álvarez, A. Servera, J. Proenza, M. Ashjaei, S. Mubeen. Implementing a First CNC for Scheduling and Configuring TSN Networks. In Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, Stuttgart, Germany, pp. 1-4, 2022.

D. Bujosa, A. Johansson, M. Ashjaei, A. Papadopoulos, J. Proenza, T. Nolte. The Effects of Clock Synchronization in TSN Networks with Legacy End-stations. In Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, pp. 1-4, 2022.

D. Bujosa, M. Ashjaei, A. Papadopoulos, T. Nolte, J. Proenza. HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities. In In Proceedings of the 30th International Conference on Real-Time Networks and Systems (RTNS ’22), Paris, France, pp. 1-11, 2022 .

M. Jover, M. A. Barranco, I. Álvarez, J. Proenza. Migrating Legacy Ethernet-Based Traffic with Spatial Redundancy to TSN networks. In Proceedings of the IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA 2022), Stuttgart, Germany, pp. 1-8, 2022 .

2021

D. Bujosa, I. Álvarez, J. Proenza. CSRP: an Enhanced Protocol for Consistent Reservation of Resources in AVB/TSN. In IEEE Transactions on Industrial Informatics , vol. 17, no. 5, pp. 3640-3650, May, 2021 .

R. Rotaeche, A. Ballesteros, J. Proenza. Exploring the use of Deep Reinforcement Learning to allocate tasks in Critical Adaptive Distributed Embedded Systems. In Proceedings of the IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA 2021), Västerås (Sweden), 2021.

D. Bujosa, M. Ashjaei, A. Papadopoulos, J. Proenza, T. Nolte. LETRA: Mapping Legacy Ethernet-Based Traffic into TSN Traffic Classes. In Proceedings of the IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA 2021), Västerås (Sweden), 2021.

2020

D. Bujosa, D. Hallmans, M. Ashjaei, A. Papadopoulos, J. Proenza, T. Nolte. Clock Synchronization in Integrated TSN-EtherCAT Networks. In 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2020), Vienna, 2020.

I. Álvarez, L. Moutinho, P. Pedreiras, D. Bujosa, J. Proenza, L. Almeida. Comparing Admission Control Architectures for Real-Time Ethernet. In IEEEAccess, IEEE, vol. 8, pp. 105521-105534, June, 2020 .

2019

J. Proenza, Y. González, P. Arguimbau. First exploration of the potential of diverse training and voting for increasing the accuracy of CNNs. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.

D. Gessner, J. Proenza, M. A. Barranco, A. Ballesteros. A Fault-Tolerant Ethernet for Hard Real-Time Adaptive Systems. In IEEE Transactions on Industrial Informatics, IEEE, vol. 15, no. 5, pp. 2980 - 2991, May, 2019 .

I. Álvarez, M. A. Barranco, J. Proenza. Towards a Fault-Tolerant Architecture based on Time-Sensitive Networking. In 4ª Edición de las Jornadas de ACM Celebrations: Informática para tod@s, A Coruña, Spain, 2019.

D. Bujosa, D. Cavka, I. Álvarez, J. Proenza. First Analysis of the AVB’s Stream Reservation Protocol in the Context of TSN. In 17th International Workshop on Real-Time Networks (RTN 2019), 2019.

A. Ballesteros, M. A. Barranco, S. Arguimbau, M. Costa, J. Proenza. Towards a Dynamic Replication of Messages in a Network with Flexible Real-Time Guarantees. In 17th International Workshop on Real-Time Networks (RTN 2019), Stuttgart, 2019.

I. Álvarez, D. Cavka, J. Proenza, M. A. Barranco. Simulation of the Proactive Transmission of Replicated Frames Mechanism over TSN. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.

D. Bujosa, S. Arguimbau, P. Arguimbau, J. Proenza, M. A. Barranco. Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.

D. Bujosa, I. Álvarez, D. Cavka, J. Proenza. Analysing Termination and Consistency in the AVB’s Stream Reservation Protocol. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.

A. Ballesteros, M. A. Barranco, S. Arguimbau, M. Costa, J. Proenza. Temporal Replication of Messages for Adaptive Systems using a Holistic Approach. In Proceedings of the IEEE 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019), Zaragoza, 2019.

2018

I. Álvarez, M. A. Barranco, J. Proenza. Towards a Fault-Tolerant Architecture based on Time Sensitive Networking. In Proceedings of the IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA 2018), Torino, 2018.

I. Álvarez, J. Proenza, M. A. Barranco. Mixing Time and Spatial Redundancy over Time Sensitive Networking. In Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Luxemburg, 2018.

I. Álvarez, D. Cavka, J. Proenza, M. A. Barranco. First Study of the Proactive Transmission of Replicated Frames Mechanism over TSN. In 16th International Workshop on Real-Time Networks (RTN 2018), Barcelona, 2018.

A. Ballesteros, J. Proenza, M. A. Barranco, L. Almeida, P. Palmer-Rodríguez. Towards a Self-Reconfigurable Infrastructure for Critical Adaptive Distributed Embedded Systems. In 16th International Workshop on Real-Time Networks (RTN 2018), Barcelona, 2018.

D. Bujosa, S. Arguimbau, P. Arguimbau, J. Proenza, M. A. Barranco. Verification of the Schedule Consistent Update Mechanisms of FTTRS with UPPAAL. In 16th International Workshop on Real-Time Networks (RTN2018), Barcelona, 2018.

A. Ballesteros, J. Proenza, M. A. Barranco, L. Almeida. Reconfiguration Strategies for Critical Adaptive Distributed Embedded Systems. In Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), Luxembourg, 2018.

2017

I. Álvarez, J. Proenza, M. A. Barranco, M. Knezic. Towards a Time Redundancy Mechanism for Critical Frames in Time-Sensitive Networking. In Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017), Cyprus, 2017.

A. Ballesteros, J. Proenza, P. Palmer-Rodríguez. Towards a Dynamic Task Allocation Scheme for Highly-Reliable Adaptive Distributed Embedded Systems. In Proceedings of the 22th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017), Limassol, 2017.

I. Álvarez, J. Proenza, L. Almeida, M. Knezic. Estudio del Control de Admisión en los Protocolos de Comunicación Flexible Time-Triggered y Audio Video Bridging. In 2ª Edición de las Jornadas de ACM Celebrations: Informática para tod@s, Palma, Spain, 2017.

2016

A. Ballesteros, S. Derasevic, D. Gessner, F. Font, I. Álvarez, M. A. Barranco, J. Proenza. First Implementation and Test of a Node Replication Scheme on top of the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems (WFCS 2016), Aveiro, 2016.

I. Álvarez, L. Almeida, J. Proenza. A First Qualitative Comparison of the Admission Control in FTT-SE, HaRTES and AVB. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems (WFCS 2016), Aveiro, 2016.

S. Derasevic, M. A. Barranco, J. Proenza. Designing fault-diagnosis and reintegration to prevent node redundancy attrition in highly reliable control systems based on FTT-Ethernet. In Proceedings of the 12th IEEE World Conference on Factory Communication Systems (WFCS 2016), Aveiro, 2016.

A. Ballesteros, S. Derasevic, M. A. Barranco, J. Proenza. First Implementation and Test of Reintegration Mechanisms for Node Replicas in the FT4FTT Architecture. In Proceedings of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, 2016.

I. Álvarez, M. Knezic, L. Almeida, J. Proenza. A First Performance Analysis of the Admission Control in the HaRTES Ethernet Switch. In Proceedings of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), 2016.

M. A. Barranco, A. Zendouh, A. Ballesteros, J. Proenza. Improving Maintenance of FT4FTT: Extending it to Monitor and Log its Available Redundancy via Internet. In Proceedings of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), 2016.

2015

S. Derasevic, M. Melià, A. Ballesteros, M. A. Barranco, J. Proenza. First Experimental Evaluation of the Consistent Replicated Voting in the Hard Real-Time Ethernet Switching architecture. In Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxemburg, 2015.

D. Gessner, I. Furió, J. Proenza. Towards a Layered Architecture for the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxemburg, 2015.

S. Derasevic, M. A. Barranco, J. Proenza. An OMNET++ model to asses node fault-tolerance mechanisms for FTT-Ethernet DESs. In Emerging Technology and Factory Automation (ETFA), 2015 IEEE , Luxembourg, 2015.

M. A. Barranco, J. Proenza, L. Almeida. Quantitative characterization of the reliability of simplex buses and stars to compare their benefits in fieldbuses. In Reliability Engineering & System Safety, ELSEVIER, vol. 142, pp. 163–175, June , 2015.

D. Gessner, A. Ballesteros, A. Adrover, J. Proenza. Experimental Evaluation of Network Component Crashes and Trigger Message Omissions in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 2015 IEEE World Conference on Factory Communication Systems (WFCS), Palma de Mallorca, Spain, 2015.

2014

D. Gessner, M. A. Barranco, A. Ballesteros, J. Proenza. sfiCAN: a Star-based Physical Fault-Injection Infrastructure for CAN networks. In IEEE Transactions on Vehicular Technology, IEEE, vol. 63, no. 3, pp. 1335-1349, March, 2014 .

D. Gessner, J. Proenza, M. A. Barranco. A Proposal for Master Replica Control in the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014), Toulouse, France, 2014.

D. Gessner, J. Proenza, M. A. Barranco. A Proposal for Managing the Redundancy Provided by the Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems (WFCS 2014), Toulouse, France, 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.

D. Gessner, P. Portugal, J. Proenza, M. A. Barranco. Towards a reliability analysis of the design space for the communication subsystem of FT4FTT. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), 2014.

D. Gessner, I. Álvarez, A. Ballesteros, M. A. Barranco, J. Proenza. Towards an Experimental Assessment of the Slave Elementary Cycle Synchronization 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.

M. A. Barranco, F. Pozo, J. Proenza. A Model for Quantifying the Reliability of Highly-Reliable Distributed Systems based on Fieldbus Replicated Buses. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

M. Knezic, A. Ballesteros, J. Proenza. Towards Extending the OMNeT++ INET Framework for Simulating Fault Injection in Ethernet-Based Flexible Time-Triggered Systems. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

S. Derasevic, M. A. Barranco, J. Proenza. Appropriate consistent replicated voting for increased reliability in a node replication scheme over FTT. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

S. Derasevic, J. Proenza, M. A. Barranco. Using FTT-Ethernet for the coordinated dispatching of tasks and messages for node replication. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), Barcelona, Spain, 2014.

2013

D. Gessner, M. A. Barranco, J. Proenza. Design and verification of a media redundancy management driver for a CAN star topology. In IEEE Transactions on Industrial Informatics, IEEE, vol. 9, no. 1, pp. 237-245, February, 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 .

M. Short, J. Proenza. Towards efficient probabilistic scheduling guarantees for real-time systems subject to random errors and random bursts of errors. In Proceedings of the 25th EUROMICRO Conference on Real-Time Systems (ECRTS'13), Paris, France, 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.

S. Derasevic, J. Proenza, D. Gessner. Towards Dynamic Fault Tolerance on FTT-based Distributed Embedded Systems. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013.

D. Gessner, J. Proenza, M. A. Barranco, L. Almeida. Towards a Flexible Time-Triggered Replicated Star for Ethernet. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, Italy, 2013.

A. Ballesteros, D. Gessner, J. Proenza, M. A. Barranco, P. Pedreiras. Towards Preventing Error Propagation in a Real-Time Ethernet Switch. In Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), 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.

H. Aysan, R. Dobrin, S. Punnekkat, J. Proenza. Probabilistic Scheduling Guarantees in Distributed Real-Time Systems under Error Bursts. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

D. Gessner, M. A. Barranco, J. Proenza, M. Short. A first qualitative evaluation of star replication schemes for FTT-CAN. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

J. Proenza, M. A. Barranco, J. Llodrà, L. Almeida. Using FTT and stars to simplify node replication in CAN-based systems. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

M. A. Barranco, J. Proenza. Developing TOBE-CAN: Total Order Atomic Broadcast Enforcement in CAN. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Kraków, Poland, 2012.

2011

M. A. Barranco, J. Proenza. Towards Understanding the Sensitivity of the Reliability Achievable by Simplex 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.

D. Gessner, M. A. Barranco, A. Ballesteros, J. Proenza. Designing sfiCAN: a star-based physical fault injector for CAN. In Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 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.

M. A. Barranco, J. Proenza, L. Almeida. Quantitative comparison of the error-containment capabilities of a bus and a star topology in CAN networks. In IEEE Transactions on Industrial Electronics, vol. 58, no. 3, pp. 802--813, March, 2011 .

2010

M. A. Barranco, D. Gessner, J. Proenza, L. Almeida. First prototype and experimental assessment of media management in ReCANcentrate. In Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, 2010.

M. A. Barranco, J. Proenza, L. Almeida. Reliability Improvement Achievable in CAN-based Systems by Means of the ReCANcentrate Replicated Star Topology. In Proceedings of the 8th IEEE Workshop on Factory Communication Systems (WFCS 2010), Nancy, France, 2010.

2009

J. Proenza, J. Miro-Julia, H. Hansson. Managing redundancy in CAN-based networks supporting N-Version Programming. In Computer Standards and Interfaces, vol. 31, no. 1, pp. 120--127, 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.

M. A. Barranco, J. Proenza, L. Almeida. First quantitative results of the dependability improvement achieved by ReCANcentrate. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 2009.

M. A. Barranco, D. Gessner, J. Proenza, L. Almeida. Demonstrating the feasibility of media management in ReCANcentrate. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 2009.

J. Proenza, E. Sigg. A first design for CANsistant: a mechanism to prevent inconsistent omissions in CAN in the presence of multiple errors. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 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.

M. A. Barranco, J. Proenza, L. Almeida. Management of Media Replication in ReCANcentrate. In International CAN Conference (iCC), 2008.

M. A. Barranco, J. Proenza, L. Almeida. Maintaining data consistency in ReCANcentrate during hub decouplings. In IEEE Workshop on Factory Communication Systems (WFCS), Dresde (Germany), 2008.

M. A. Barranco, J. Proenza, L. Almeida. Designing and Verifying Media Management in ReCANcentrate. In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg (Germany), 2008.

2007

J. Proenza, L. Almeida. Position Paper on Dependability and Reconfigurability in Distributed Embedded Systems. In International Workshop on Real-Time Networks (RTN), Pisa (Italy), 2007 .

M. Bonet, G. Donaire, J. Proenza. Modelling MajorCAN with UPPAAL. In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Patras (Greece), 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.

M. A. Barranco, J. Proenza, L. Almeida. Experimental assessment of ReCANcentrate, a replicated star topology for CAN. In SAE 2006 Transactions Journal of Passenger Cars: Electronic and Electrical Systems, SAE international, pp. 437--446, 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, L. Almeida. First results of the assessment of the improvement of error containment achieved by CANcentrate. 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

M. A. Barranco, L. Almeida, J. Proenza. ReCANcentrate: A replicated star topology for CAN networks. In IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Catania (Italy), 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.

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.

2000

J. Proenza, J. Miro-Julia. Consistent management and slow attrition of redundancy in a distributed hardware support for NVP execution. In First International Conference on Dependable Systems and Networks (ICDSN), New York (USA), 2000.

J. Proenza, A. Ortiz, F. Prats, B. Santandreu, G. Oliver. Incorporating A Safety Hardware Module On A Low-Cost AUV. In International Symposium on Robotics and Automation (ISRA), Monterrey (Mexico), 2000.

J. Proenza, J. Miro-Julia. MajorCAN: A modification to the Controller Area Network protocol to achieve Atomic Broadcast. In First International Workshop on Group Communications and Computations (IWGCC), Taipei (Taiwan), 2000 .

D. Avià, M. D. Diego, G. Oliver, A. Ortiz, J. Proenza. RAO: A Low-Cost AUV for Testing. In MTS/IEEE Oceans, Providence-RI (USA), 2000.

A. Ortiz, J. Proenza, G. Oliver. Automatic Inspection of Underwater Environments by Means of a Fleet of Submersible Agents. In Pattern Recognition Advances in Iberoamerica, Barcelona (Spain), 2000.

1999

J. Proenza, J. Pons, J. Miro-Julia. A low-cost fail-safe circuit for fault-tolerant control systems. In IEEE International Conference on Electronics, Circuits and Systems (ICECS), Paphos (Cyprus), 1999.

J. Proenza, A. Ortiz, G. Bernat, G. Oliver. A Cost-Effective Hardware Architecture for Fail-Safe Autonomous Underwater Vehicles. In IEEE International Conference on Electronics, Circuits and Systems (ICECS), Paphos (Cyprus), 1999.

A. Ortiz, J. Proenza, G. Bernat, G. Oliver. Improving the Safety of AUVs. In MTS/IEEE Oceans, Seattle-WA (USA), 1999.

1998

P. Ferriol, F. Navio, J. José, J. Pons, J. Proenza, J. Miro-Julia. Un circuito de bajo coste para la tolerancia a fallos en sistemas de control industrial. In Seminario Anual de Automática, Electrónica Industrial e Instrumentación (SAAEI), Pamplona (Spain), 1998.

G. Bernat, J. Miro-Julia, J. Proenza. Fixed priority schedulability analysis of a distributed real-time fault-tolerant architecture. In International Conference on Parallel and Distributed Techniques and Applications (PDPTA), Las Vegas (USA), 1998.

G. Bernat, J. Miro-Julia, J. Proenza. A technique to analyse the tolerance to transient overloads of a fault-tolerant real-time system. In IEEE High Accurance Systems Engineering Workshop (HASE), Washington (USA), 1998.

P. Ferriol, F. Navio, J. José, J. Pons, J. Proenza, J. Miro-Julia. A double CAN architecture for fault-tolerant control systems. In International CAN Conference (ICC), 1998.


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