A Formal and Enriched Framework for Testing Distributed Embedded Systems

Abstract

Distributed embedded systems frequently employed for implementing many of the applications such as home automation, Automobile systems, Air surveillance, and quite recently as subnets forming an IoT (Internet of things). Distributed Embedded systems are quite complex due to the existence of heterogeneity among hardware and software and due to the existence of variance between the message flows that should happen from the protocol uses and flow requirements of the application concerned. The distributed embedded systems must be tested considering hardware, software, and the system used for networking the individual embedded systems. For undertaking testing the distributed embedded systems, many gadgets, tools, methods, and mechanisms required. Testing communication that happens among the individual embedded systems is complex. Continuous availability of the entire distributed embedded system along with the testing system is a critical requirement for undertaking comprehensive testing, which as such cannot be guaranteed. In this paper, a framework proposed for undertaking the testing of the distributed embedded system.