Proceedings International Test Conference 2000 (IEEE Cat. No.00CH37159) (2000)
Atlantic City, NJ, USA
Oct. 3, 2000 to Oct. 5, 2000
Politecnico di Torino , Dipartimento di Automatica e Informatica
In this paper we present DSDK1, 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 tool, and BOND, a powerful Fault Injection environment able to emulate the occurrence 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.
P. d. Torino, "Software Development Kit for Dependable Applications in Embedded," Proceedings International Test Conference 2000 (IEEE Cat. No.00CH37159)(ITC), Atlantic City, NJ, USA, 2000, pp. 170.