Fig 6 - available via license: Creative Commons Attribution-ShareAlike 4.0 International
Content may be subject to copyright.
Download
View publication
Example of a formula used in SMT solving. The basic structure is a formula from propositional logic, but predicates from other theories may be used as atomic formulas instead of Boolean variables.

Example of a formula used in SMT solving. The basic structure is a formula from propositional logic, but predicates from other theories may be used as atomic formulas instead of Boolean variables.

Source publication
Fig. 3: The period of stream A is three times the period of stream B....
Fig. 5: Example of an ILP model.
Fig. 6: Example of a formula used in SMT solving. The basic structure...
Fig. 7: Classification of the surveyed research works in the scope of...
+9 Fig. 8: Incremental approach of Steiner [6]. Similar ideas were used by...
A Survey of Scheduling in Time-Sensitive Networking (TSN)
Preprint
Full-text available
  • Nov 2022
TSN is an enhancement of Ethernet which provides various mechanisms for real-time communication. Time-triggered (TT) traffic represents periodic data streams with strict real-time requirements. Amongst others, TSN supports scheduled transmission of TT streams, i.e., the transmission of their packets by edge nodes is coordinated in such a way that n...
Cite
Download full-text

Contexts in source publication

Context 1
... of theories are the theory of linear arithmetic with integers or the theory of bit vectors. Figure 6 depicts a formula with predicates from the theory of linear arithmetic with integers. The basic structure of a model is a formula from propositional logic, but predicates from integer arithmetic are used as atomic formulas. ...
Context 2
... reduces the scheduling problem to finding an independent set in a conflict graph, i.e., a set of vertices which are pairwise not connected by an edge. Figure 16 depicts an example for a conflict graph and an independent set. The authors use incremental heuristics to construct independent sets in such graphs. ...

Similar publications

FIGURE 5. Example of an ILP model.
FIGURE 6. Example of a formula used in SMT solving. The basic structure...
FIGURE 7. Classification of the surveyed research works in the scope of...
FIGURE 8. Incremental approach of Steiner [7]. Similar ideas were used...
+7 FIGURE 9. Multi-layered ring topology used in [40].
A Survey of Scheduling Algorithms for the Time-Aware Shaper in Time-Sensitive Networking (TSN)
Article
Full-text available
  • Jan 2023
Time-Sensitive Networking (TSN) is an enhancement of Ethernet which provides various mechanisms for real-time communication. Time-triggered (TT) traffic represents periodic data streams with strict real-time requirements. Amongst others, TSN supports scheduled transmission of TT streams, i.e., the transmission of their frames by end stations is coo...
View

Citations

... It is up to the designer to configure the TAS such that it achieves a bounded latency for specific traffic. Creating a schedule is not a simple task [8] and it requires tool support. In addition to analyzing the constraints on the schedule itself, the AC also exposes the requirements on other participating devices in the network. ...
Assurance Cases for Timing Properties of Automotive TSN Networks
Chapter
  • Sep 2023
The problem of configuring an Automotive TSN (Time-Sensitive Networking) Ethernet network with desired timing properties consists of several individual complex problems, each with its own solution landscape. When the chosen solutions come together in the implementation of timing guarantees on these networks, presenting the argument and evidence for the correct behaviour of the network with respect to the timing requirements itself becomes a difficult problem. In this paper, we present work in progress on demonstrating the use of assurance cases in making this argument explicit for an example TSN Ethernet timing requirement for an automotive powertrain network.
View