System-level performance analysis - the SymTA/S approach

Henia, Rafik; Hamann, Arne; Jersak, Marek; Racu, Razvan; Richter, Kai; Ernst, Rolf

doi:10.1049/pbcs018e_ch2

Cited by 79 publications

(131 citation statements)

References 0 publications

Supporting

Mentioning

131

Contrasting

Order By: Relevance

“…Most of the work uses either RTC (Thiele et al 2000) or CPA (Henia et al 2005). RTC has been used for Ethernet analysis in e.g.…”

Section: Related Workmentioning

confidence: 99%

“…We, in contrast, model multiplexing as operations on event models (Henia et al 2005), which can later be used seamlessly by a formal performance analysis, considering more complex triggering strategies [including the aforementioned ones and new strategies specified by AUTOSAR (2015)] and their combination. This allows us to formally derive the worst-case timing behavior on the Ethernet and the gateways, which, as we will see, has a significant impact on end-to-end timing.…”

Section: Related Workmentioning

confidence: 99%

“…In CPA (Henia et al 2005), systems are modeled by sets of resources and tasks. A resource provides service (processing or transmission time) which is consumed by the tasks mapped to it.…”

Section: Compositional Performance Analysismentioning

confidence: 99%

“…This is especially important for safety-critical applications which put human lives at stake. Formal timing analysis, known for example from Real-Time Calculus (RTC) (Thiele et al 2000) and Compositional Performance Analysis (CPA) (Henia et al 2005), assists engineers to formally prove timing constraints such as network end-to-end latencies and gateway response times.…”

Section: Introductionmentioning

confidence: 99%

See 3 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

“…Most of the work uses either RTC (Thiele et al 2000) or CPA (Henia et al 2005). RTC has been used for Ethernet analysis in e.g.…”

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

“…In CPA (Henia et al 2005), systems are modeled by sets of resources and tasks. A resource provides service (processing or transmission time) which is consumed by the tasks mapped to it.…”

Section: Compositional Performance Analysismentioning

confidence: 99%

Section: Introductionmentioning

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

show abstract

“…Some of them have been implemented in tools, called analyzers in the sequel, e.g. MAST [15], TIMES [5], Cheddar [26], SymTA/S [16], SchedMCore [8], pyCPA [12], etc.…”

Section: Introductionmentioning

confidence: 99%