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.
IEEE Communications Magazine 52, 12 (2014), 36–41
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.