Vision

Realzeitfähige Informationssysteme (wie z.B. im Bereich der Finanzdatendienste oder Content Management Systeme in eGovernment Bereichen wie z.B. polizeiliche Systeme) sollen aus verifizierten bzw. verifizierbaren Komponenten mit Hilfe einer geeigneten Entwicklungs- und Testmethode zusammensetzbar sein

Ziel des Projektes

Entwicklung und Transfer einfacher Konzepte zur Überprüfung komponenten-basierter Applikationen hinsichtlich deren funktionalen und temporalen Eigenschaften

Beachtung von Nebenbedingungen

• Berücksichtigung der Rahmenbedingungen in KMUs
• Neu entwickelte Konzepte sollen zu kosten- und änderungsadäquaten (bzgl. Organisation und Entwicklungsabläufen) Bedingungen einsetzbar sein

Einordnung Themenfelder Software Engineering

• Komponentenorientierung / Wiederverwendung von Software
• Korrektheit / Sicherheit / Zuverlässigkeit von Software