Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verification of network end-to-end latencies for adaptive ethernet-based cyber-physical systems

: Manderscheid, Martin; Weiß, Gereon; Knorr, Rudi

Preprint urn:nbn:de:0011-n-5127214 (714 KByte PDF)
MD5 Fingerprint: 11a794fcdf1597b76404abced5f63f91
Created on: 17.10.2018

Journal of systems architecture 88 (2018), pp.23-32
ISSN: 1383-7621
Journal Article, Electronic Publication
Fraunhofer ESK ()
Cyber-physical Systems; CPS; embedded systems; network performance analysis; network performance verification; real time system architecture; runtime variability

As Cyber-Physical Systems (CPS) are evolving towards flexible and smart systems, their dependable communication becomes a decisive factor. In order to still guarantee a predictive and real-time behavior, verifying the network performance of such adaptive systems is vital. Therefore, the performance-verification has to consider the runtime variability while scaling for larger number of applications and networks in CPS. We introduce a novel performance-verification approach with integrated variability enabling the analysis of adaptive Ethernet-based CPS. It incorporates a formal model capturing all relevant characteristics for deriving safe communication bounds. Its soundness has been evaluated in an extensive automotive case study and several changing test setups targeting scalability. The results show that this integrated variability approach is superior to a common static analysis and previously utilized heuristic. In direct comparison it outperforms static analysis by up to 95 percent within the evaluated automotive system. Moreover, the results show that it scales well and provides a profound basis for analyzing larger adaptive networked systems.