Preserving consistency of runtime monitors across protocol changes

Research output: Contribution to conferencePaper

1 Citation (Scopus)

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 languageEnglish (US)
Pages590-599
Number of pages10
StatePublished - Oct 31 2005
Event10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 - Shanghai, China
Duration: Jun 16 2005Jun 20 2005

Conference

Conference10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005
CountryChina
CityShanghai
Period6/16/056/20/05

Fingerprint

Computer monitors
Network protocols
Turnaround time
Finite automata
Large scale systems

ASJC Scopus subject areas

  • Hardware and Architecture
  • Computer Networks and Communications

Cite this

Subramaniam, M. (2005). Preserving consistency of runtime monitors across protocol changes. 590-599. Paper presented at 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, Shanghai, China.

Preserving consistency of runtime monitors across protocol changes. / Subramaniam, Mahadevan.

2005. 590-599 Paper presented at 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, Shanghai, China.

Research output: Contribution to conferencePaper

Subramaniam, M 2005, 'Preserving consistency of runtime monitors across protocol changes' Paper presented at 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, Shanghai, China, 6/16/05 - 6/20/05, pp. 590-599.
Subramaniam M. Preserving consistency of runtime monitors across protocol changes. 2005. Paper presented at 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, Shanghai, China.
Subramaniam, Mahadevan. / Preserving consistency of runtime monitors across protocol changes. Paper presented at 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, Shanghai, China.10 p.
@conference{c069c1ec05f9429f81258cd0519e22da,
title = "Preserving consistency of runtime monitors across protocol changes",
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.",
author = "Mahadevan Subramaniam",
year = "2005",
month = "10",
day = "31",
language = "English (US)",
pages = "590--599",
note = "10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; Conference date: 16-06-2005 Through 20-06-2005",

}

TY - CONF

T1 - Preserving consistency of runtime monitors across protocol changes

AU - Subramaniam, Mahadevan

PY - 2005/10/31

Y1 - 2005/10/31

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=27144489978&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=27144489978&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:27144489978

SP - 590

EP - 599

ER -