ActivFORMS combines design-time verification of feedback-loop models with runtime statistical model checking and on-the-fly goal updates, validated on a 15-mote IoT deployment.
InSoftware Engineering for Adaptive and Self-Managing Systems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems
ActivFORMS combines design-time verification of feedback-loop models with runtime statistical model checking and on-the-fly goal updates, validated on a 15-mote IoT deployment.