Sciweavers

CSSE
2008
IEEE

Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker

14 years 7 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, security, etc., are being developed day-to-day which often leads to rapid, premature developments. Many protocols have not scaled to satisfy important properties like deadlock and livelock freedom, since MDA focuses on the rapid development rather than on the quality of the developed models. In order to fix the above, we introduce a 2-Phase strategy based on the UML state machine and sequence diagram to satisfy the properties of communication protocols. We convert these models into PROMELA code for execution on the SPIN model checker. The results are compared with the developed UML models.
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where CSSE
Authors Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu Kumar Kaliappan
Comments (0)