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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-89247-2_11 | RV |
Keywords | Field | DocType |
contract environment,qos monitoring,implementation logic,runtime verification,monitoring architecture,monitoring system,formal contract,component-based system,runtime verification architecture,component hot-swapping,lightweight container architecture,design by contract | Architecture,Monitoring system,Computer science,Design by contract,Quality of service,Runtime verification,Real-time computing,Java Modeling Language,Extensibility,Embedded system | Conference |
Volume | ISSN | Citations |
5289 | 0302-9743 | 3 |
PageRank | References | Authors |
0.42 | 11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hakim Belhaouari | 1 | 5 | 2.15 |
Frédéric Peschanski | 2 | 47 | 11.12 |