Component-Based Development of Runtime Observers in the COMDES Framework

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

Research output: Contribution to journalJournal articleResearchpeer-review


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.
Original languageEnglish
JournalInternational Journal of Software Engineering
Publication statusPublished - 2013

Fingerprint Dive into the research topics of 'Component-Based Development of Runtime Observers in the COMDES Framework'. Together they form a unique fingerprint.

Cite this