Dependable System Design

This technology cluster engages itself with the dependability of systems or products, whose functions are realized through embedded systems. Dependability is a mandatory development aspect and an extremely important argument for marketing. The cluster made it its business to induce a “Quantum Leap” in the development methodologies that ensure dependability on the basis of mathematical analysis techniques, as they are developed in the context of the SFB-Transregio AVACS “Automatic Verification and Analysis of Complex Systems” at the department for computer science. Important aspects of dependability are:

• Functional correctness
• Safety
• IT security
• Real-time capability
• Availability