Interposition agents: transparently interposing user code at the system interface
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
UFO: a personal global file system based on user-level extensions to the operating system
ACM Transactions on Computer Systems (TOCS)
Using Interceptors to Enhance CORBA
Computer
Portable and Fault-Tolerant Software Systems
IEEE Micro
Experimental assessment of parallel systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Experimental evaluation of the fail-silent behaviour in programs with consistency checks
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Wrapping Windows NT Software for Robustness
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
SLIC: an extensibility system for commodity operating systems
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Algorithm-Based Fault Tolerance for Matrix Operations
IEEE Transactions on Computers
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
Experimental Evaluation of Fault Handling Mechanisms
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
A COTS Wrapping Toolkit for Fault Tolerant Applications under Windows NT
IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving the fault resilience of an H.264 decoder using static analysis methods
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia'10
Hi-index | 0.00 |
In this paper we present DSDK1, a Dependable SoftwareDevelopment Kit designed to support the softwareengineer in releasing dependable applications for embeddedsystems, starting from either commercial or nativesoftware. The proposed kit integrates four different tools:RECCO, a source-to-source compiler able to transformany C/C++ native source code in a more dependable versionof the same code, WRAP, a tool able to wrap executablesoftware modules and transparently enhance theirdependability characteristic, EXEM, an external worldand device emulator tool, and BOND, a powerful FaultInjection environment able to emulate the occurrencedifferent types of faults in the system and to evaluate thedependability properties of the overall system. Experimentalresults gathered on an embedded system running EmbeddedNT OS demonstrate the effectiveness and the flexibilityof the tool.