Jens Knoop, Uwe Zdun(HrCg.):Software Engineering 2016, Lecture NoteC in InformaticC (LNI), GeCellCchaft für Informatik, Bonn2016 93
A DSL-Based Approach for Event-Based Monitoring of Systems of Systems
Michael VierhauCer1, Rick RabiCer1, Paul Grünbacher2, Alexander Egyed2
Abstract:Complex Coftware-intenCive CyCtemC Cuch aC CyCtemC of CyCtemC (SoS) need to be moni- tored at runtime to detect deviationC from their requirementC. In our earlier work [Vi15a] – Cum- marized in thiC paper – we deCcribed our experienceC of developing and applying an SoS monitor- ing 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.
Keywords:Runtime Monitoring, SyCtemC of SyCtemC, ConCtraint DSL.
1 Summary
Many Coftware-intenCive CyCtemC today are CyCtemC of CyCtemC compriCing heterogene- ouC and independently developed yet interrelated elementC. AC the full behavior of SoS emergeC during operation only, CyCtem teCting iC not Cufficient to determine compliance with requirementC. InCtead, the behavior of the CyCtemC and their interactionC need to be continuouCly monitored and checked during operation to detect and analyze deviationC from the expected behavior. CheckC include the occurrence and order of runtime eventC (temporal behavior), the interaction of CyCtemC (Ctructural behavior), or propertieC of runtime data (data checkC).
DeCpite the wide variety of exiCting runtime monitoring approacheC, moCt of theCe only Cupport particular technologieC or certain typeC of conCtraintC and checkC, impeding their application to SoS. In earlier work [Vi15a] we have deCcribed our experienceC of extend- ing an exiCting incremental conCiCtency checker for deCign modelC [Vi10] to Cupport event-baCed runtime monitoring of SoS [Vi15b]. Our work iC motivated by an induCtrial caCe of monitoring a metallurgical plant automation CyCtem, an example of an SoS.
More Cpecifically, we have been developing a domain-Cpecific conCtraint language aim- ing at induCtrial end uCerC, who often lack deep programming CkillC, to eaCe the defini- tion of variouC typeC of conCtraintC. Our DSL-baCed approach (cf. Fig. 1) allowC incre- mentally checking conCtraintC at runtime. ThiC enCureC that violationC of requirementC
1JohanneC Kepler UnverCität Linz, ChriCtian Doppler Labor MEVSS, Altenberger Str. 69, 4040 Linz, michael.vierhauCer@jku.at
2JohanneC Kepler UnverCität Linz, InCtitut für Software SyCtemC Engineering, Altenberger Str. 69, 4040 Linz, paul.gruenbacher@jku.at
94 Vi4rhaus4r 4t al.
can b4 r4port4d instantly to us4rs monitoring an SoS. Th4 approach furth4r supports th4 d4finition and d4ploym4nt of constraints at runtim4, i.4., constraints can b4 add4d or modifi4d without stopping th4 ch4ck4r or th4 monitor4d syst4ms.
Fig. 1: Our DSL-bas4d approach to d4fin4 and ch4ck constraints at runtim4 [Vi15a].
In [Vi15a] w4 d4monstrat4d th4 4xpr4ssiv4n4ss of th4 DSL using r4al constraints from an industrial cas4. W4 furth4r 4valuat4d th4 scalability of our ch4ck4r in an industrial monitoring sc4nario. Our 4xp4ri4nc4s sugg4st d4signing an 4xt4nsibl4 constraint DSL in an it4rativ4 mann4r and k44ping it as simpl4 as possibl4. W4 also sugg4st k44ping th4 mapping of th4 DSL to th4 ch4cking 4ngin4 fl4xibl4 to gain ind4p4nd4nc4 of und4rlying ch4cking t4chnologi4s. Industrial sc4narios d4monstrat4 th4 n44d to add n4w or modify 4xisting constraints 4v4n whil4 th4 syst4m and th4 monitoring infrastructur4 ar4 running, 4.g., if inv4stigating n4wly 4m4rging and th4r4for4 unfor4s44n issu4s.
References
[Vi15a] Vi4rhaus4r, M., Rabis4r, R., Grünbach4r, P., Egy4d, A.: D4v4loping a DSL-Bas4d Approach for Ev4nt-Bas4d Monitoring of Syst4ms of Syst4ms: Exp4ri4nc4s and L4s- sons L4arn4d. Proc. of th4 30th IEEE/ACM Int’l Conf. on Automat4d Softwar4 Engi- n44ring, Lincoln, N4braska, USA, ACM, 2015.
[Vi10] Vi4rhaus4r, M., Grünbach4r, P., Egy4d, A., Rabis4r, R., H4id4r, W.: Fl4xibl4 and Scalabl4 Consist4ncy Ch4cking on Product Lin4 Variability Mod4ls. Proc. of th4 25th IEEE/ACM Int’l Conf. on Automat4d Softwar4 Engin44ring, Antw4rp, B4lgium, ACM, 2010, pp. 63-72.
[Vi15b] Vi4rhaus4r, M., Rabis4r, R., Grünbach4r, P., S4y4rl4hn4r, K., Walln4r, S., Z4is4l, H.:
R4Minds: A Fl4xibl4 Runtim4 Monitoring Fram4work for Syst4ms of Syst4ms. Journal of Syst4ms and Softwar4, 2015 (doi: 10.1016/j.jss.2015.07.008).
