Modeling structured event streams in system level performance analysis

Perathoner, Simon; Rein, Tobias; Thiele, Lothar; Lampka, Kai; Rox, Jonas

doi:10.1145/1755888.1755895

Cited by 8 publications

(8 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It also defines update functions for the modification of jitter and minimum distance of the inner event streams of an HES. Similarly, Structured Event Streams, which are characterized by so-called Event Count Curves, were introduced in Perathoner et al (2010) and compared against HES.…”

Section: Related Workmentioning

confidence: 99%

“…In order to distribute a single activation from the RX task, which (in a multiplexing scenario) typically contains several CAN frames, to the TX tasks, a (demultiplexing) fork is required. As this fork, in contrast to the standard fork, which forwards all incoming event models to all dependent tasks, selectively distributes event models depending on the receiving task, we model the demultiplexing fork explicitly as in Perathoner et al (2010). There is no sampling delay on the egress gateway.…”

Section: Cpa Gateway Modelmentioning

confidence: 99%

“…we reasonably assume that no events are lost or added during multiplexing, transmission, and demultiplexing. It is similar to Perathoner et al (2010) and Rox and Ernst (2008) as it considers a hierarchical structure of event models, i.e. inner event models that are propagated along with their outer event model.…”

Section: Load-preserving Boundsmentioning

confidence: 99%

See 2 more Smart Citations

Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks

et al. 2015

View full text Add to dashboard Cite

Due to increased bandwidth and scalability demands, Ethernet technology is finding its way into recent in-vehicle networks. Tomorrow's heterogeneous networks will feature legacy buses [e.g. controller area network (CAN) or FlexRay] as well as high-speed Ethernet devices, connected by switches and gateways. As Ethernet offers significantly larger frame sizes than CAN, the efficient transmission of CAN data over an Ethernet backbone depends heavily on the way this data is multiplexed into Ethernet frames. This article focuses on the timing impact introduced by various CAN/Ethernet multiplexing strategies at the gateways. We present a formal analysis method to derive upper bounds on end-to-end latencies for complex multiplexing strategies, which is key for the design of safety-critical real-time systems. We capture complex interdomain signal paths spanning multiple buses, gateways, and switches and show the applicability in a realistic automotive setup.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Cpa Gateway Modelmentioning

confidence: 99%

See 1 more Smart Citation

Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks

et al. 2015

View full text Add to dashboard Cite

show abstract

“…In [15], [13] the case where streams are transported over a network as a single, joined stream, to be separated at arrival, is treated by tracking the correlations between sub-streams and the aggregated stream. The event count curves of [13] are a special case of our drift bounds: a bound on a sub-stream with respect to the aggregate stream.…”

Section: B Previous Workmentioning

confidence: 99%

“…The event count curves of [13] are a special case of our drift bounds: a bound on a sub-stream with respect to the aggregate stream.…”

Section: B Previous Workmentioning

confidence: 99%

A correlation preserving performance analysis for stream processing systems

Smeding

Gößler

2012

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)

View full text Add to dashboard Cite

For the design of real-time embedded systems, analysis of performance and resource utilization at an early stage is crucial to evaluate design choices. Network Calculus and its variants provide the tools to perform such analyses for distributed systems processing streams of tasks, based on a max-plus algebra. However, the underlying model employed in Network Calculus cannot capture correlations between the availability of different resources and between the arrivals of tasks, leading to overly conservative performance bounds for some frequently used system topologies. We present a model based on timing constraints relative to pairs of streams, endowed with an analysis technique that can handle such correlations.

show abstract

Improving Cross-Traffic Bounds in Feed-Forward Networks – There is a Job for Everyone

Bondorf

Schmitt

2016

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

View full text Add to dashboard Cite

Modeling structured event streams in system level performance analysis

Cited by 8 publications

References 10 publications

Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks

Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks

A correlation preserving performance analysis for stream processing systems

Improving Cross-Traffic Bounds in Feed-Forward Networks – There is a Job for Everyone

Contact Info

Product

Resources

About