References

The major objective of DeDiSys is a concept for optimizing dependability in distributed software systems by partially or temporarily relaxing integrity (correctness). This concept comprises an architecture, rules for technology integration including interaction and composition standards for component integration, the definition of required and provided open platform services, and well-defined metrics and evaluation methods for such a system proven by prototype implementations.

By promoting the idea of open systems, we do not aim at a new type of middleware, but rather at the integration of our approach with existing component infrastructures and COTS (commercial off the shelf) products. Furthermore, DeDiSys is neither a new method for software testing nor for software verification, but rather a highly innovative method to deal with failures of nodes and links in distributed systems.