Model-based Engineering for Certification of Complex Adaptive Network Systems

Speaker:        Professor Kaliappa Ravindran
                Department of Computer Science
                City University of New York

Title:          "Model-based Engineering for Certification of Complex
                Adaptive Network Systems"

Date:           Monday, 18 June 2012

Time:           2:00pm - 3:00pm

Venue:          Room 3315 (via lifts 17/18), HKUST

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 input 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.


******************
Biography:

Kaliappa Ravindran is a Professor of Computer Science in the Grove School
of Engineering at the City University of New York, USA. Earlier, he had
held faculty positions at the Kansas State University (USA) and at the
Indian Institute of Science (Bangalore). He had also earlier worked as a
Control Systems engineer at the Indian Space Research Organization. He
received Ph.D. in Computer Science from the University of British
Columbia, Canada (advisor: Prof. Samuel Chanson).
Kaliappa Ravindran's current research interests are in the areas of
service-level management of distributed networks, system-level support for
information assurance, model-based software integration for embedded
systems, distributed collaborative systems, and internet architectures.
His recent project relationships with industries include IBM, AT&T,
Philips and General Motors. Besides industries, some of his research has
been supported by grants and contracts from US federal government agencies
such as the Air Force Research Laboratory, Naval Research Laboratory, and
Space Missile & Defense Command.