On synthesis of dependable MAC protocol for two real-world WSN applications

Currently, when matter comes to engineer a communication system for a new WSN application with a unique set of dependability requirements, the developer should undergo a lengthy process of analysing the existing solutions in order to select appropriate functionality. In this article we argue that because of variety of wireless sensor network applications there is a clear need for a systematic approach to develop application-tailored communication solutions. The core of this methodology constitute functional components with known reliability and security properties and the rules of combining these components in a communication system. On the example of engineering MAC protocol for two real world applications, we demonstrate a line of dependable reasoning and identify components satisfying the dependability requirements of the applications.