A verifiable framework for smart sensory systems Online publication date: Sun, 24-Sep-2017
by Mohammed G.H. Al Zamil
International Journal of Embedded Systems (IJES), Vol. 9, No. 5, 2017
Abstract: Reliability of smart sensory systems is an emerging quality requirement. The backbone infrastructure requires network controllers and service-programs to share some computing resources; forcing them to interleave concurrently. Such weaving affects the overall reliability, modularity and scalability of these systems. Therefore, separating the implementation of network controllers from the service-programs in a modular design will facilitate enhancing their quality properties. In this paper, a software design pattern has been proposed for the purpose of modularising the design of WSN software components, in which interleaving problems are automatically detected at design-time. Furthermore, the proposed framework allows for abstracting complex systems to depict their behavioural transitions. The proposed framework has been applied to smart irrigation and smart grid models. In both experiments, the proposed technique was able to detect the synchronisation errors. The results showed that the proposed modular design minimises the communicating messages and, therefore, the required level of energy.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Embedded Systems (IJES):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook