29 research outputs found
Formal Scheduling Constraints for Time-Sensitive Networks
In recent years, the IEEE 802.1 Time Sensitive Networking (TSN) task group
has been active standardizing time-sensitive capabilities for Ethernet networks
ranging from distributed clock synchronization and time-based ingress policing
to frame preemption, redundancy management, and scheduled traffic enhancements.
In particular the scheduled traffic enhancements defined in IEEE 802.1Qbv
together with the clock synchronization protocol open up the possibility to
schedule communication in distributed networks providing real-time guarantees.
In this paper we formalize the necessary constraints for creating
window-based IEEE~802.1Qbv Gate Control List schedules for Time-sensitive
Networks (TSN). The resulting schedules allow a greater flexibility in terms of
timing properties while still guaranteeing deterministic communication with
bounded jitter and end-to-end latency
A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems
In time-triggered systems, where the schedule table is predefined and
statically configured at design time, sporadic event-triggered (ET) tasks can
only be handled within specially dedicated slots or when time-triggered (TT)
tasks finish their execution early. We introduce a new paradigm for
synthesizing TT schedules that guarantee the correct temporal behavior of TT
tasks and the schedulability of sporadic ET tasks with arbitrary deadlines. The
approach first expresses a constraint for the TT task schedule in the form of a
maximal affine envelope that guarantees that as long as the schedule generation
respects this envelope, all sporadic ET tasks meet their deadline. The second
step consists of modeling this envelope as a burst limiting constraint and
building the TT schedule via simulating a modified Least-Laxity-First (LLF)
scheduler. Using this novel technique, we show that we achieve equal or better
schedulability and a faster schedule generation for most use-cases compared to
other approaches inspired by, e.g., hierarchical scheduling. Moreover, we
present an extension to our method that finds the most favourable schedule for
TT tasks with respect to ET schedulability, thus increasing the probability of
the computed TT schedule remaining feasible when ET tasks are later added or
changed
Design Optimization of Cyber-Physical Distributed Systems using IEEE Time-sensitive Networks (TSN)
In this paper we are interested in safety-critical real-time applications implemented on distributed architectures supporting the Time-SensitiveNetworking (TSN) standard. The ongoing standardization of TSN is an IEEE effort to bring deterministic real-time capabilities into the IEEE 802.1 Ethernet standard supporting safety-critical systems and guaranteed Quality-of-Service. TSN will support Time-Triggered (TT) communication based on schedule tables, Audio-Video-Bridging (AVB) flows with bounded end-to-end latency as well as Best-Effort messages. We first present a survey of research related to the optimization of distributed cyber-physical systems using real-time Ethernet for communication. Then, we formulate two novel optimization problems related to the scheduling and routing of TT and AVB traffic in TSN. Thus, we consider that we know the topology of the network as well as the set of TT and AVB flows. We are interested to determine the routing of both TT and AVB flows as well as the scheduling of the TT flows such that all frames are schedulable and the AVB worst-case end-to-end delay is minimized. We have proposed an Integer Linear Programming (ILP) formulation for the scheduling problem and a Greedy Randomized Adaptive Search Procedure (GRASP)-based heuristic for the routing problem. The proposed approaches have been evaluated using several test cases
The power of isolation
Abstract—Non-functional system properties such as CPU and memory utilization as well as power consumption are usually non-compositional. However, such properties can be made compositional by isolating individual system components through over-provisioning. The challenge is to relate the involved isolation cost and the resulting isolation quality properly. Temporal and spatial isolation have been studied extensively. Here we study the compositionality of power consumption as another and in this regard unexplored example of a non-linear property with many important applications. In particular, we introduce the concept of power isolation for EDF-scheduled hard realtime systems running periodic software tasks. A task is powerisolated if there exist lower and upper bounds on its power consumption independent of any other concurrently running tasks. The main challenges in providing power isolation are to find a relationship between the power consumption of a system and the contribution of a single task to this power consumption as well as understanding the trade-off between quality and cost of power isolation. We present lower and upper bounds on the power consumption of a task as functions of task utilization, frequency scaling, and power model. Furthermore, we discuss the variance between lower and upper bounds (quality) and the power consumption overhead (cost) of power isolation. I