|
ISCRIZIONE |
A Chemical Networking Protocol Tutorial
(Packet Level Active Networking and Dynamics)
Prof. Christian F. Tschudin
Department of Mathematics and Computer Science, University of Basel, Switzerland
18 hours, 4 credits
June 18 - June 20, 2012
Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni, via Caruso, meeting room, ground floor
Contacts: Prof. Marco Luise
Abstract
“Chemical Networking Protocols” (CNP) are a novel way to express computer networking protocols. Unlike the usual finite-state-machine representation of communication software, CNP uses code mobility in order to implement the protocol-governed distributed computation. This lecture gives an introduction to the field of “Active Networking”, presents the CNP framework and language, and puts an emphasis on the packet dynamics of such systems. The goal is to enable participants to design and formally analyze (chemically-inspired) networking protocols with predictable dynamics.
Syllabus
- Active Networking (AN)
- AN concept
- AN history: Softnet, Messengers, ANTS, PLAN
- Fraglets: a bridge between ‘’classic networking’’ and ‘’active networking’’
- Related research area: mobile agents
- General mobile code discussion: security, performance…
- Chemically Inspired Computing Paradigms
- Gamma, CHAM, P systems
- Embodiment concept from Artificial Intelligence
- Gossip-style communications, amorphous computing
- Chemical Networking Protocols: How to formally describe stochastic reactive systems
- The Law of Mass Action (LoMA)
- The ODE description of Chemical Networking Protocols’ trajectory
- Steady-state (equilibrium) analysis of protocols
- Transient analysis of protocols
- Examples: the Disperser, the Quine and the Chemical Congestion Control Protocol
- Implementation considerations, outlook
- Lab
- Fraglet programming and simulations
- LoMA-based model design
- Analysis
