Skip to Main content Skip to Navigation
Conference papers

A Lightweight Container Architecture for Runtime Verification

Hakim Belhaouari 1 Frédéric Peschanski 1 
1 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : We present in this paper a runtime verification architecture that enforces formal contracts for component-based systems. The contracts are based on logical assertions combined with state-transition systems. They are expressed separately from the implementation logic. A set of static analyses can be applied on the contracts but ultimately further verifications have to be performed on-line. This is the main purpose of the monitoring system we describe in this paper. The monitoring architecture is based on a model of lightweight hierarchical containers that exhibits a high-level of flexibility and extensibility. For instance, containers can be dynamically composed and unplugged on a per-instance basis. Beyond runtime verification, the monitoring architecture is reused for other purposes such as QoS monitoring and component hot-swapping. A performance comparison with other design by contract environments is also proposed.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Monday, April 11, 2016 - 2:31:00 PM
Last modification on : Sunday, June 26, 2022 - 9:59:17 AM

Links full text



Hakim Belhaouari, Frédéric Peschanski. A Lightweight Container Architecture for Runtime Verification. Workshop on Runtime Verification, Mar 2008, Budapest, Hungary. pp.173-187, ⟨10.1007/978-3-540-89247-2_11⟩. ⟨hal-01300832⟩



Record views