A DEVS-based End-to-end Methodology for Hybrid Control of Embedded Networking Systems

RODRIGO CASTRO; ERNESTO KOFMAN; GABRIEL WAINER

Zaragoza, España

Conferencia; 3rd IFAC Conference on Analysis and Design of Hybrid Systems; 2009

IFAC International Federation of Automatic Control

We present a formal Modeling and Simulation (M&S) methodology for hybrid controlof networking systems. The method is used for analysis, design and implementation of Qualityof Service (QoS) control systems in Network Processor (NP)-based applications. We applycontinuous Control Systems Theory to enforce Admission Control strategies into discrete–eventnetwork traffic. This represents a hybrid system modeling problem, that has to be treatedformally to guarantee the applicability of the continuous control theoretical results into discrete–event systems.We show that using DEVS (Discrete Event System Specification), in combinationwith Quantized State Systems (QSS) numerical methods for the approximation of continuoussystems, offers numerous advantages: these frameworks provide the means to accurately analyze and design hybrid models for Admission Control and they can be seamlessly integrated into a unified formal framework. It also enables the transition between the DEVS–based simulation and the deployment of the obtained hybrid models into the target networking platform.