https://www.mdu.se/

mdu.sePublications
Change search
Link to record
Permanent link

Direct link
Pozo Pérez, Francisco ManuelORCID iD iconorcid.org/0000-0002-1228-5176
Alternative names
Publications (10 of 14) Show all publications
Pozo Pérez, F. M. & Rodriguez-Navas, G. (2019). A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA: . Paper presented at 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, 10 September 2019 through 13 September 2019 (pp. 1399-1402). Institute of Electrical and Electronics Engineers Inc.
Open this publication in new window or tab >>A Semi-Distributed Self-Healing Protocol for Run-Time Repairs of Time-Triggered Schedules
2019 (English)In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, Institute of Electrical and Electronics Engineers Inc. , 2019, p. 1399-1402Conference paper, Published paper (Refereed)
Abstract [en]

The Time-Triggered paradigm presents a lack of flexibility due to the required static scheduled. If an unpredicted event occurs, a new schedule needs to be synthesized. Centralized approaches have been proposed to obtain such schedules during runtime, while fully-distributed approaches seek to repair only the affected sections of the schedule. This paper proposes a Semi-Distributed Self-Healing Protocol that pursues to combine the benefits of both approaches. We study the applicability of our protocol repairing schedules after link failures. Early results show that link failures can be repaired in 2ms for the evaluated network.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2019
Keywords
Factory automation, Repair, Centralized approaches, Distributed approaches, Link failures, Runtimes, Self-healing, Semi-distributed, Time triggered, Self-healing materials
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-46533 (URN)10.1109/ETFA.2019.8868969 (DOI)000556596600200 ()2-s2.0-85074207384 (Scopus ID)9781728103037 (ISBN)
Conference
24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, 10 September 2019 through 13 September 2019
Available from: 2019-12-17 Created: 2019-12-17 Last updated: 2020-08-20Bibliographically approved
Pozo Pérez, F. M. (2019). Methods for Efficient and Adaptive Scheduling of Next-Generation Time-Triggered Networks. (Doctoral dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Methods for Efficient and Adaptive Scheduling of Next-Generation Time-Triggered Networks
2019 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Real-time networks play a fundamental role in embedded systems. To meet timing requirements, provide low jitter and bounded latency in such networks the time-triggered communication paradigm is frequently applied in such networks. In this paradigm, a schedule specifying the transmission times of all the traffic is synthesized a priori. Given the steady increase in size and complexity of embedded systems, coupled with the addition of wireless communication, a new time-triggered network model of larger and mixed wired-wireless network isdeveloping. Developing such next-generation networks entails significant research challenges, especially concerning scalability, i.e., allowing generation of schedules of the very large next-generation networks in a reasonable time. A second challenge concerns a well-known limitation of the time-triggered paradigm: its lack of flexibility. Large networks exacerbate this problem, as the number of changes during network operation increases with the number of components, which renders static scheduling approaches unsuitable.

In this thesis, we first propose a remedy to the scalability challenge that the synthesis of next-generation network schedules introduces. We propose a family of divide-and-conquer approaches that segment the entire scheduling problem into small enough subproblems that can be effectively and efficiently solved by state-of-the-art schedulers. Second, we investigate how adaptive behaviours can be introduced into the time-triggered paradigm with the implementation of a Self-Healing Protocol. This protocol addresses the flexibility challenge by only updating a small segment of the schedule in response to changes during runtime. This provides a significant advantage compared to current approaches that fully reschedule the network. In the course of our research, we found that our protocol become more effective when the slack in the original schedule is evenly distributed during the schedule synthesis. As a consequence, we also propose a new scheduling approach that maximizes the distances between frames, increasing the success rate of our protocol.

The divide-and-conquer approaches developed in this thesis were able to synthesize schedules of two orders of magnitude more traffic and one order of magnitude more nodes in less than four hours. Moreover, when applied to current industrial size networks, they reduced the synthesis time from half an hour to less than one minute compared with state-of-the-art schedulers. The Self-Healing Protocol opened a path towards adaptive time-triggered being able to heal schedules online after link and switch failures in less than ten milliseconds.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2019
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 296
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-45165 (URN)978-91-7485-436-7 (ISBN)
Public defence
2019-10-24, Milos, Mälardalens högskola, Västerås, 13:30 (English)
Opponent
Supervisors
Available from: 2019-09-10 Created: 2019-09-06 Last updated: 2019-09-24Bibliographically approved
Pozo Pérez, F. M., Rodriguez-Navas, G. & Hansson, H. (2019). Methods for large-scale time-triggered network scheduling. Electronics, 8(7), Article ID 738.
Open this publication in new window or tab >>Methods for large-scale time-triggered network scheduling
2019 (English)In: Electronics, E-ISSN 2079-9292, Vol. 8, no 7, article id 738Article in journal (Refereed) Published
Abstract [en]

Future cyber–physical systems may extend over broad geographical areas, like cities or regions, thus, requiring the deployment of large real-time networks. A strategy to guarantee predictable communication over such networks is to synthesize an offline time-triggered communication schedule. However, this synthesis problem is computationally hard (NP-complete), and existing approaches do not scale satisfactorily to the required network sizes. This article presents a segmented offline synthesis method which substantially reduces this limitation, being able to generate time-triggered schedules for large hybrid (wired and wireless) networks. We also present a series of algorithms and optimizations that increase the performance and compactness of the obtained schedules while solving some of the problems inherent to segmented approaches. We evaluate our approach on a set of realistic large-size multi-hop networks, significantly larger than those considered in the existing literature. The results show that our segmentation reduces the synthesis time by up to two orders of magnitude.

Place, publisher, year, edition, pages
MDPI AG, 2019
Keywords
Cyber-physical systems, Real-time networks, Scheduling, SMT solvers, Time-triggered
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-45101 (URN)10.3390/electronics8070738 (DOI)000482063200063 ()2-s2.0-85070718684 (Scopus ID)
Available from: 2019-08-28 Created: 2019-08-28 Last updated: 2020-12-15Bibliographically approved
Pozo Pérez, F. M., Rodriguez-Navas, G. & Hansson, H. (2019). Semi-Distributed Self-Healing Protocol for Online Schedule Repair after Network Failures.
Open this publication in new window or tab >>Semi-Distributed Self-Healing Protocol for Online Schedule Repair after Network Failures
2019 (English)Report (Other academic)
Abstract [en]

Adaptive requirements for networks with strict timing restrictions do challenge the static nature of the time-triggered communication paradigm. Continuous changes in the network topology during operation require frequent rescheduling, followed by schedule distribution, a process that is excessively time-consuming as it was intended to be performed only during the design phase. The fully-distributed Self-Healing Protocol introduced a collaborative method to quickly modify the local schedules of the nodes during runtime, after link failures. This protocol gets the network back to correct operation in milliseconds, but it assumes that only the nodes are able to modify their local schedules, which limited the achieved improvement. This paper proposes to shift to a semi-distributed strategy, where high-performance nodes are responsible for the nodes and links within a small network segment. These nodes rely on their privileged view of the system in order to reduce the response time, increase the healing success rate, and extend the fault model to include switch failures. 

National Category
Communication Systems
Identifiers
urn:nbn:se:mdh:diva-45162 (URN)
Available from: 2019-09-06 Created: 2019-09-06 Last updated: 2019-09-13Bibliographically approved
Pozo Pérez, F. M., Rodriguez-Navas, G. & Hansson, H. (2018). Schedule reparability: Enhancing time-triggered network recovery upon link failures. In: Proceedings - 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018: . Paper presented at 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018; Hakodate; Japan; 29 August 2018 through 31 August 2018 (pp. 147-156). Institute of Electrical and Electronics Engineers Inc.
Open this publication in new window or tab >>Schedule reparability: Enhancing time-triggered network recovery upon link failures
2018 (English)In: Proceedings - 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018, Institute of Electrical and Electronics Engineers Inc. , 2018, p. 147-156Conference paper, Published paper (Refereed)
Abstract [en]

The time-triggered communication paradigm has been shown to satisfy temporal isolation while providing end to end delay guarantees through the synthesis of an offline schedule. However, this paradigm has severe flexibility limitations as any unpredicted change not anticipated by the schedule, such as a component failure, might result in a loss of frames. A typical solution is to use redundancy or replace and update the schedule offline anew. With the ever increase in size of networks and the need to reduce costs, supplementary solutions that enhance the reliability of such networks are also desired. In this paper, we introduce a repair algorithm capable of reacting to unpredicted link failures. The algorithm quickly modifies the schedule such that all frames are transmitted again within their timing guarantees. We found that the success of our algorithm increases significantly with the existence of empty slots spread over the schedule, an opposite approach compared to packing frames, commonly used in the literature. We propose a new ILP formulation that includes a maximization of frame and link intermissions to stretch empty slots over the schedule. Our results show that we can repair with 90% success rate within milliseconds to a valid schedule compared to a few minutes needed to re-schedule the whole network. 

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2018
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-42810 (URN)10.1109/RTCSA.2018.00026 (DOI)000458980300017 ()2-s2.0-85061771050 (Scopus ID)9781538677599 (ISBN)
Conference
24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018; Hakodate; Japan; 29 August 2018 through 31 August 2018
Available from: 2019-02-28 Created: 2019-02-28 Last updated: 2020-12-22Bibliographically approved
Pozo Pérez, F. M., Rodriguez-Navas, G. & Hansson, H. (2018). Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. In: Pellizzoni, R (Ed.), 24TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2018): . Paper presented at 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), APR 11-13, 2018, Porto, PORTUGAL (pp. 89-92).
Open this publication in new window or tab >>Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules
2018 (English)In: 24TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2018) / [ed] Pellizzoni, R, 2018, p. 89-92Conference paper, Published paper (Refereed)
Abstract [en]

Time-Triggered communication is based on generating an offfine static schedule that guarantees frame transmissions with reduced latency and low jitter. However, static schedules are not adaptive: if some unpredicted event happens, like a link failure, the schedule is not valid anymore and a new one needs to be synthesized from scratch. This paper presents a novel hot-patching protocol which seeks, after a link failure disconnecting two nodes, to find a new path to reconnect both nodes and restore during run-time the affected part of the schedule. We also introduce the concept of reparability as a desired property of the schedule, which increases the probability of our protocol to succeed. The first evaluation shows that our hot-patching protocol can recover from a link failure consistently in less than 25ms.

Series
IEEE Real-Time and Embedded Technology and Applications Symposium, ISSN 1545-3421
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-40937 (URN)10.1109/RTAS.2018.00015 (DOI)000443421100009 ()2-s2.0-85058458750 (Scopus ID)978-1-5386-5295-4 (ISBN)
Conference
24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), APR 11-13, 2018, Porto, PORTUGAL
Available from: 2018-09-13 Created: 2018-09-13 Last updated: 2022-11-25Bibliographically approved
Gutiérrez Peón, P., Rodríguez, P. M., Fernández, Z., Pozo Pérez, F. M., Uhlemann, E., Val, I. & Steiner, W. (2017). Cognitive Radio for Improved Reliability in a Real-Time Wireless MAC Protocol based on TDMA. In: International Conference on Emerging Technologies And Factory Automation ETFA'17: . Paper presented at International Conference on Emerging Technologies And Factory Automation ETFA'17, 12 Aug 2017, Limassol, Cyprus.
Open this publication in new window or tab >>Cognitive Radio for Improved Reliability in a Real-Time Wireless MAC Protocol based on TDMA
Show others...
2017 (English)In: International Conference on Emerging Technologies And Factory Automation ETFA'17, 2017Conference paper, Published paper (Refereed)
Abstract [en]

Wireless communications enables introduction of Internet of Things (IoT) in industrial networks. Unfortunately, real-time guarantees required for many IoT applications, may be compromised in wireless networks due to an unreliable transmission medium. A key component in enabling real-time communications is the medium access control (MAC) layer and its ability to effectively avoid concurrent transmissions that causes deadline misses. Also, deploying the network in a harsh interference environment can lead to low reliability. Time diversity, based on transmitting several copies of the same data at different instants, increases reliability but at the expense of increased jitter and bandwidth. A more efficient resource utilization is expected from cognitive radio, which dynamically takes into account the status of the wireless environment before performing transmissions. This paper proposes a wireless MAC protocol based on scheduled timeslots to avoid concurrent transmissions, combined with two different mechanisms to increase reliability, one based on time diversity and another on cognitive radio. The protocol and its mechanisms to enhance reliability are compared in different interference scenarios, and show that cognitive radios achieves better performance than time diversity, especially when the interference is produced by a jammer.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37015 (URN)10.1109/ETFA.2017.8247602 (DOI)000427812000037 ()2-s2.0-85044439376 (Scopus ID)9781509065059 (ISBN)
Conference
International Conference on Emerging Technologies And Factory Automation ETFA'17, 12 Aug 2017, Limassol, Cyprus
Projects
RetNet - The European Industrial Doctorate Programme on Future Real-Time NetworksSafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
Funder
EU, Horizon 2020, 692529 Vinnova
Available from: 2017-11-27 Created: 2017-11-27 Last updated: 2019-06-25Bibliographically approved
Pozo, F., Rodriguez-Navas, G., Hansson, H. A. & Steiner, W. (2017). Schedule Synthesis for Next Generation Time-Triggered Networks. Sweden: Mälardalen Real-Time Research Centre, Mälardalen University
Open this publication in new window or tab >>Schedule Synthesis for Next Generation Time-Triggered Networks
2017 (English)Report (Other academic)
Abstract [en]

For handling frame transmissions in highly deterministic real-time networks, i.e. networks requiring low communication latency and minimal jitter, an offline time-triggered schedule indicating the dispatch times of all frames can be used. Generation of such an offline schedule is known to be a NPcomplete problem, with complexity driven by the size of the network, the number and complexity of the traffic temporal constraints, and link diversity (for instance, coexistence of wired and wireless links). As embedded applications become more complex and extend over larger geographical areas, there is a need to deploy larger real-time networks, but existing schedule synthesis mechanisms do not scale satisfactorily to the sizes of these networks, constituting a potential bottleneck for system designers. In this paper, we present an offline synthesis tool that overcomes this limitation and is capable of generating time-triggered schedules for networks with hundreds of nodes and thousands of temporal constraints, also for systems where wired and wireless links are combined. This tool models the problem with linear arithmetic constraints and solves them using a Satisfiability Modulo Theory (SMT) solver, a powerful general purpose tool successfully used in the past for synthesizing time-triggered schedules. To cope with complexity, our algorithm implements a segmented approach that divides the total problem into easily solvable smaller-size scheduling problems, whose solutions can be combined for achieving the final schedule. The paper also discusses a number of optimizations that increase the size and compactness of the solvable schedules. We evaluate our approach on a set of realistic large-size multi-hop networks, significantly bigger than those in the existing literature. The results show that our segmentation reduces the synthesis time dramatically, allowing generation of extremely large compact schedules.

Place, publisher, year, edition, pages
Sweden: Mälardalen Real-Time Research Centre, Mälardalen University, 2017
Series
MRTC Reports, ISSN 1404-3041
Keywords
Real-Time Networks, Scheduling, SMT Solver, Time-Triggered Networks
National Category
Engineering and Technology Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-34973 (URN)MDH-MRTC-314/2017-1-SE (ISRN)
Projects
RetNet - The European Industrial Doctorate Programme on Future Real-Time Networks
Available from: 2017-02-28 Created: 2017-02-28 Last updated: 2017-10-16Bibliographically approved
Pozo, F. (2017). Synthesis of Extremely Large Time-Triggered Network Schedules. (Licentiate dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Synthesis of Extremely Large Time-Triggered Network Schedules
2017 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Many embedded systems with real-time requirements demand minimal jitter and low communication end-to-end latency for its communication networks. The time-triggered paradigm, adopted by many real-time protocols, was designed to cope with these demands. A cost-efficient way to implement this paradigm is to synthesize a static schedule that indicates the transmission times of all the time-triggered frames such that all requirements are met. Synthesizing this schedule can be seen as a bin-packing problem, known to be NPcomplete, with complexity driven by the number of frames. In the last years, requirements on the amount of data being transmitted and the scalability of the network have increased. A solution was proposed, adapting real-time switched Ethernet to benefit from its high bandwidth. However, it added more complexity in computing the schedule, since every frame is distributed over multiple links. Tools like Satisfiability Modulo Theory solvers were able to cope with the added complexity and synthesize schedules of industrial size networks. Despite the success of such tools, applications are appearing requiring embedded systems with even more complex networks. In the future, real-time embedded systems, such as large factory automation or smart cities, will need extremely large hybrid networks, combining wired and wireless communication, with schedules that cannot be synthesized with current tools in a reasonable amount of time. With this in mind, the first thesis goal is to identify the performance limits of Satisfiability Modulo Theory solvers in schedule synthesis. Given these limitations, the next step is to define and develop a divide and conquer approach for decomposing the entire scheduling problem in smaller and easy solvable subproblems. However, there are constraints that relate frames from different subproblems. These constraints need to be treated differently and taken into account at the start of every subproblem. The third thesis goal is to develop an approach that is able to synthesize schedules when different frame constraints related to different subproblems are inter-dependent. Last, is to define the requirements that the integration of wireless communication in hybrid networks will bring to the schedule synthesis and how to cope with the increased complexity. We demonstrate the viability of our approaches by means of evaluations, showing that our method is capable to synthesize schedules of hundred of thousands of frames in less than 5 hours.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2017
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 255
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-34974 (URN)978-91-7485-314-8 (ISBN)
Presentation
2017-04-06, Gamma, Mälardalens högskola, Västerås, 14:00 (English)
Opponent
Supervisors
Projects
RetNet
Available from: 2017-02-28 Created: 2017-02-28 Last updated: 2017-11-01Bibliographically approved
Pozo, F., Rodriguez-Navas, G., Steiner, W. & Hansson, H. (2016). Period-Aware Segmented Synthesis of Schedules for Multi-Hop Time-Triggered Networks. In: 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016): . Paper presented at 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016) (pp. 170-175). IEEE
Open this publication in new window or tab >>Period-Aware Segmented Synthesis of Schedules for Multi-Hop Time-Triggered Networks
2016 (English)In: 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016), IEEE, 2016, p. 170-175Conference paper, Published paper (Refereed)
Abstract [en]

Time-triggered offline scheduling is a cost-efficien way to guarantee low communication end-to-end latency and minimal jitter for communication networks in real-time systems. The schedule is generated pre-runtime and indicates the transmission times of time-triggered frames such that contention is prevented. The synthesis of such offline schedules is a bin-packing problem, known to be NP-complete, with complexity driven by the constraints on frame transmissions, and the number of frames in the schedule. Satisfiability Modulo Theories combined with segmented approaches have been successfully used for synthesizing schedules of large networks. However, such synthesis did not take into account frames periods that are much shorter than the time to execute the schedule cycle. This paper presents a periodaware segmented approach that takes into account the frame periods in order to allocate various instances of a frame within a single cycle. We describe three different synthesis strategies and evaluate them with different synthetic experiments. The results show better performance for one of the strategies, which can synthesize schedules of large networks with high communication loads in less than one hour. We also report how the synthesis time and the schedule quality can change with different parameter configurations.

Place, publisher, year, edition, pages
IEEE, 2016
Series
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, ISSN 1533-2306
Keywords
computational complexity, optimization, time-triggered networks
National Category
Embedded Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-34010 (URN)10.1109/RTCSA.2016.42 (DOI)000387085600032 ()2-s2.0-84994525123 (Scopus ID)
Conference
22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016)
Available from: 2016-11-30 Created: 2016-11-30 Last updated: 2018-02-21Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-1228-5176

Search in DiVA

Show all publications