Abstract
Protocols governing communication among the components of a complex system are frequently changed during the design process. To enable faster verification turnaround time, it is important that the existing verification infrastructure continues to be consistent with the changed protocol. In this paper, an approach to identify the effects of protocol changes on runtime monitors is proposed. Runtime monitors are commonly used to observe and verify the dynamic protocol behaviors. Protocols as well as the monitors are modeled using communicating finite state machines. Addition/deletion/replacement of transitions in one or more protocol components may result in similar changes to the monitor transitions. A notion of consistency of a monitor relative to a protocol is introduced. Conditions under which a protocol change necessitates a change to the monitor to preserve relative consistency are identified. Automatic procedures to synthesize new monitors that are guaranteed to be consistent with the changed protocol are described.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 590-599 |
| Number of pages | 10 |
| Journal | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS |
| State | Published - 2005 |
| Event | 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 - Shanghai, China Duration: Jun 16 2005 → Jun 20 2005 |
ASJC Scopus subject areas
- General Engineering
- General Computer Science