WP3: Ensuring MAPE-K Trustworthiness

Objective

Develop methods that produce MAPE-K trustworthiness checkers, ensuring that self-adaptation actions are safe and trustworthy throughout the adaptation loop. Supports objective O2.

Lead: Fraunhofer · Effort: 84 person-months · Duration: M1–M36

Research Tasks

T3.1: Domain Analysis and Commonalities (M1–M9) — Feature-oriented domain analysis to identify commonalities and variabilities across the industrial case studies.

T3.2: Define Standard and Language (M5–M18) — Development of a Domain Specific Language (DSL) and integrated development environment (IDE) for specifying trustworthiness properties.

T3.3: Synthesize Verified Trustworthiness Checkers (M12–M27) — Synthesis of formally verified checkers using Linear Temporal Logic (LTL) specifications.

T3.4: Integrate Trustworthiness Checkers (M25–M36) — Integration of the synthesized trustworthiness checkers with the MAPE-K loop for runtime verification.

Deliverables

Domain analysis reports, DSL and IDE, formally verified trustworthiness checkers, integration documentation.