Assessing Robustness Properties in Dynamic Discovery of Ad Hoc Network Services (Briefing Charts)

摘要

Dynamic discovery protocols enable network elements (including software clients and services and devices) to discover each other without prior arrangement; express opportunities for collaboration; compose themselves into larger collections that cooperate to meet an application need and detect and adapt to changes in network topology. The goal of this project is to provide metrics and approaches to compare and contrast emerging dynamic discovery protocols to better understand their critical functions, to identify weaknesses and to strengthen the robustness, quality and correctness of designs for future protocols. The technical approach to this project involves 1. building a generic domain model (UML) providing consistent terminology encompassing a range of service discovery protocols; 2. building executable models of service discovery protocols from extant specifications and analyzing them under conditions of dynamic change; 3. Building a measurement infrastructure and measuring implementations of dynamic service protocols for scalability; 4. building simulation models of service protocols and assessing the performance of such models in the face of dynamic change; 5. designing, modeling and evaluating protocol mechanisms that enable discovery protocols to self-adapt in the face of dynamic change.