Self-stabilizing multi-agent system for communication protocols | |
| Author | Nguyen Thi Tuyet Le |
| Call Number | AIT Thesis no.CS-02-32 |
| Subject(s) | Self-stabilization (Computer science) Computer network protocols |
| Note | A thesis submitted in partial fulfilment of the requirements for the degree of Master of Science. School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-02-32 |
| Abstract | An imp01iant function of communication networks is to implement reliable data transfer over an unreliable underlying network. Research in self-stabilizing aims at making distributed systems more reliable by handling faults in complex computing environment. A communication protocol is self-stabilizing if it guarantees that the protocol will eventually reach a legitimate state when started from an arbitrary initial state within a finite number of state transitions. Stabilization allows the processes in a protocol to re-establish coordination between one another, whenever coordination is lost due to some failure. The aim of this thesis is to study general techniques to make communication protocols selfstabilizing. We also discuss how to apply these techniques to transform the sliding-window and the two-way handshake protocol to make them self-stabilizing. Finally, we convert the protocols into multi-agent systems using the Agent Programming Language, which is a highlevel language, which variables come with predicates that define them. Thus, it is even easier for users to look at the code and understand the roles of program variables. |
| Year | 2002 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-02-32 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung |
| Examination Committee(s) | Bohez, Erik L.J. ;Ho Dinh Duan |
| Scholarship Donor(s) | Ministry of Education and Training of VietNam |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2002 |