Component-Based Development of Runtime Observers in the COMDES Framework

Wei Guan, Gang Li, Christo K. Angelov, Søren Top

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Abstrakt

Formal verification methods, such as exhaustive model checking, are often infeasible because of high computational complexity. Runtime observers (monitors) provide an alternative, light-weight verification method, which offers a non-exhaustive but still feasible approach to monitor system behavior against formally specified properties. This paper presents a component-based design method for runtime observers in the context of COMDES framework—a component-based framework for distributed embedded system and its supporting tools. Therefore, runtime verification is facilitated by model-driven engineering. The
presented method has been experimentally validated in an industrial safety-related medical ventilator case study.
OriginalsprogEngelsk
TidsskriftInternational Journal of Software Engineering
Vol/bind2
ISSN1925-7899
DOI
StatusUdgivet - 2013

Fingeraftryk Dyk ned i forskningsemnerne om 'Component-Based Development of Runtime Observers in the COMDES Framework'. Sammen danner de et unikt fingeraftryk.

Citationsformater