| Autor: |
N. Salleh, Mohammad Harris Bin Mokhtar, Yeoh Chun Yeow, Shamsul Kamal Ahmad Khalid |
| Rok vydání: |
2006 |
| Předmět: |
|
| Zdroj: |
2005 13th IEEE International Conference on Networks Jointly held with the 2005 IEEE 7th Malaysia International Conf on Communic. |
| DOI: |
10.1109/icon.2005.1635429 |
| Popis: |
Specification and Description Language (SDL) is a high abstraction level system design language that provides graphical presentation form. Protocol design using this formal language ensures the compatibility between the requirements of the initial design and the final implementation. It reduces the design time by isolating the implementation details at the beginning. The flexibility of enhancement to the initial design is also able to achieve during the whole development cycle. Design methodology using SDL is proposed for the implementation of our 802.11 medium access control (MAC) protocol. This paper defines the chosen methodology and establishes the reason of using this formal language. The functional correctness of our SDL implementation is simulated and verified using commercial development tools. The results of our preliminary implementation in the target system show consistency with the simulated model. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
