A Structured Template for an Effcient Dependable System Design Using Model Driven Architecture and Spin Tool

Dependability is one of the critical system level issues in protocol design and it is not efficiently solved today. The main factor in this issue is the lack of design/modeling specifications with proper semantics. Most of the design specifications capture either hardware or software entities. In order to solve this problem we propose an architecture template for designing dependable systems. Our approach uses the model driven architecture as the base and it is redesigned by addressing the properties of dependability. More preciously, the verification and validation tools are incorporated in the design phase, which enables the development to be stable at any cost of time. In order to test the efficiency of the template, the example data transfer protocol (protocol used for data transfer over an unreliable media) is analyzed and implemented with the template. The spin plug-in tool is used in the proposed template to verify the design level test results. Our test results impress the designer to verify the expected results with the system design and to identify the errors which are unnoticed during the design phase.