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 |