Abstract | ||
---|---|---|
This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. 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 modular manner 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 scheme for composing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/COASE.2009.5234088 | Bangalore |
Keywords | Field | DocType |
individual specification,verifying system,hybrid system,maximal use,supervisory control,compositional technique,real-time system,conflict-tolerant controller,modular manner,input event,formal framework,base system,conflict-tolerant feature,feature extraction,storage tanks,data mining,automata theory,real time systems | Automata theory,Supervisory control,Feature extraction,Control engineering,Real-time computing,Modular design,Engineering,Hybrid system | Conference |
ISSN | ISBN | Citations |
2161-8070 | 978-1-4244-4579-0 | 1 |
PageRank | References | Authors |
0.38 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Deepak D'souza | 1 | 239 | 17.90 |
Madhu Gopinathan | 2 | 7 | 1.24 |
Ramesh, S. | 3 | 144 | 19.02 |
Prahladavaradan Sampath | 4 | 64 | 7.65 |