Conflict-Tolerant Features

D’Souza, Deepak and Gopinathan, Madhu (2008) Conflict-Tolerant Features. In: 20th International Conference on Computer Aided Verification, JUL 07, 2008, Princeton, pp. 227-239.

PDF fulltext.pdf - Published Version Restricted to Registered users only Download (599kB) | Request a copy

Abstract

We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the “maximal” use of each feature. The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.

Item Type:	Conference Proceedings
Publication:	Lecture Notes in Computer Science
Series.:	Lecture Notes in Computer Science
Publisher:	Springer
Additional Information:	Copyright of this article belongs to Springer.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	11 Mar 2010 11:45
Last Modified:	19 Sep 2010 05:56
URI:	http://eprints.iisc.ac.in/id/eprint/26076

Actions (login required)

View Item