Paper Info
Title
Model-Based Engineering for Certification of Complex Adaptive Network Systems
Abstract
Certifying a network system S involves the assessment of how good $S$ meets its intended QoS objectives in a backdrop of uncontrolled external environment conditions incident on S. For complex network systems where a reasonably accurate and tractable computational model of S may not be known, hierarchical approaches based on "cyber-physical systems" (CPS) principles are attractive. Here, a piece-wise linearized simple model of S allows a controller to drive S with test inputs and evaluate the output behavior of S over a limited operating region. With model plug-in and controller algorithm switching, a management entity reasons about the behavior of S under different environment conditions and test inputs, to certify S with high confidence. The paper presents a case study of multi-source video congestion control over a bandwidth-limited network path to illustrate our CPS-based certification method.
Year
DOI
Venue
2012
10.1109/ICDCSW.2012.79
ICDCS Workshops
Keywords
Field
DocType
model-based engineering,uncontrolled external environment condition,simple model,network system,test input,controller algorithm switching,output behavior,tractable computational model,bandwidth-limited network path,complex adaptive network systems,different environment condition,complex network system,certification,fault tolerance,network management,cyber physical systems,complex networks,throughput,resource management,quality of service,bandwidth,computational modeling,computational model
Control theory,Computer science,Quality of service,Cyber-physical system,Fault tolerance,Complex network,Network congestion,Network management,Certification,Distributed computing
Conference
Citations 
PageRank 
References 
3
0.41
9
Authors
1
Name
Order
Citations
PageRank
Kaliappa Ravindran116525.31