2002 - cesnet

HW toolsCombo6 tablemanagement daemon ntop tcpdump zebra gated route/dev/comboRT callback interface/dev/bpf*socketsocketrouting socketUserKernelCombo hardwaredriverhardwarefirmware, control, statisticshardware RT tablemodified BPFdriver(virtual) networkinterface ge*SW routinglocally destined data(ssh, snmp, routing protocols)modified routingsocket driverstandard INET/INET6routingFigure 5.5: Scheme of the COMBO6 card driverRouting information, packet filter rules, etc. are taken out of the operatingsystem core table and stored in the forwarding and filtering table. After thenecessary processing, a nanoprogram for the look-up processor is made outof this table (including the data for the CAM memory) and downloaded to theCOMBO6 card.At present, we are just about to complete the lowest levels of the software interfacefor the COMBO6 card (library of basic operations for input and output) andplanning the division of the software architecture into blocks, so that programmersare able to start processing it.Formal Verification of the DesignThe development team includes a group for formal verification, whose task is toverify individual hardware and software blocks using deductive methods. Thegroup draws up recommendations for the system designers, and methodologyfor general collaboration with design teams.5.5.2 Router Configuration SystemCommercial routers usually integrate all configuration and operating functionsin a single user interface. The user is, in fact, isolated from the technical detailsof the router’s operating system.76 High-speed National Research Network and its New Applications 2002