Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt
Beschreibung
Complex Coftware-intenCive CyCtemC Cuch aC CyCtemC of CyCtemC (SoS) need to be monitored
at runtime to detect deviationC from their requirementC. In our earlier work [Vi15a] – Cummarized
in thiC paper – we deCcribed our experienceC of developing and applying an SoS monitoring
approach baCed on a Domain-Cpecific Language (DSL) in the domain of induCtrial automation
Coftware. More Cpecifically, we have been developing a conCtraint DSL for induCtrial end uCerC aC
well aC an incremental conCtraint checker for event-baCed monitoring. Our evaluation demonCtrateC
the expreCCiveneCC of our DSL and the Ccalability of the checker in an induCtrial Ccenario.