A software development kit for dependable applications in embedded systems

In this paper we present DSDK¹, a Dependable Software Development Kit designed to support the software engineer in releasing dependable applications for embedded systems, starting from either commercial or native software. The proposed kit integrates four different tools: RECCO, a source-to-source compiler able to transform any C/C++ native source code in a more dependable version of the same code, WRAP a tool able to wrap executable software modules and transparently enhance their dependability characteristic, EXEM, an external world and device emulator fool, and BOND, a powerful Fault Injection environment able to emulate the occurrence of different types of faults in the system and to evaluate the dependability properties of the overall system. Experimental results gathered on an embedded system running Embedded NT OS demonstrate the effectiveness and the flexibility of the tool