William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014 2014
CPS operating on wireless networks face performance challenges from dynamic network conditions. This work is innovative because it provides systematic methodology for analyzing network performance and predicting application behavior under varying network conditions. The analysis enables designers to ensure applications meet timing and reliability requirements despite network dynamics.
This work presents a network analysis and verification toolsuite for cyber-physical applications operating on time-varying networks. The methodology models network capabilities including bandwidth and delay characteristics, enabling prediction of application performance. The approach integrates dynamic network analysis with application traffic profile modeling.
The toolsuite successfully analyzes network characteristics and predicts application performance including buffer delays and bandwidth requirements. Testing on UDP and TCP communications demonstrates the methodology's ability to characterize network behavior. Results support design-time analysis of application-network interactions.
@inproceedings{Emfinger2014,
author = {Emfinger, William and Karsai, Gabor and Dubey, Abhishek and Gokhale, Aniruddha S.},
booktitle = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014},
title = {Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks},
year = {2014},
pages = {44--47},
abstract = {Cyber-Physical Systems (CPS) are increasingly utilizing advances in wireless mesh networking among computing nodes to facilitate communication and control for distributed applications. Factors such as interference or node mobility cause such wireless networks to experience changes in both topology and link capacities. These dynamic networks pose a reliability concern for high-criticality or mixed-criticality systems which require strict guarantees about system performance and robustness prior to deployment. To address the design- and run-time verification and reliability concerns created by these dynamic networks, we are developing an integrated modeling, analysis, and run-time toolsuite which provides (1) network profiles that model the dynamics of system network resources and application network requirements over time, (2) design-time verification of application performance on dynamic networks, and (3) management of the CPS network resources during run-time. In this paper we present the foundations for the analysis of dynamic networks and show experimental validations of this analysis. We conclude with a focus on future work and applications to the field},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/cyphy/EmfingerKDG14},
category = {workshop},
contribution = {colab},
doi = {10.1145/2593458.2593459},
file = {:Emfinger2014-Analysis_verification_and_management_toolsuite_for_cyber-physical_applications_on_time-varying_networks.pdf:PDF},
keywords = {network analysis, cyber-physical systems, time-varying networks, quality of service, network modeling},
project = {cps-reliability},
tag = {platform},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
url = {https://doi.org/10.1145/2593458.2593459}
}