Satisficing-Based Approach to Resolve Feature Interactions in Control Systems

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

To handle the complexity of modern control systems there is an urgent need to develop features as independently developed units of extension. However, when independently developed features are later composed they become coupled through the shared environment resources. As a consequence, the system requirements may no longer be entailed when independent features try to control the same shared environment. Malfunctioning behavior as a consequence of feature interference is know in the literature as the feature interaction problem. This paper present an approach that uses designtime specification of independent requirements, in combination with a runtime arbitrator that search for feature interaction free programs which entail the system requirements. In case of conflicting requirements that can't be satisfied simultaneously, the mechanism supports explanation of the interactions as a context sharing problem. We demonstrate our approach in a real-life control system for industrial pot plant cultivation in greenhouses and show that solutions are found for compatible requirements and that conflicts are identified and explained for incompatible requirements. © 2013 Springer Science+Business Media.
OriginalsprogEngelsk
TitelInnovations and Advances in Computer, Information, Systems Sciences, and Engineering
RedaktørerKhaled Elleithy, Tarek Sobh
ForlagSpringer
Publikationsdato2013
Sider1039-1051
ISBN (Trykt)978-146143534-1
ISBN (Elektronisk)978-1-4614-3535-8
DOI
StatusUdgivet - 2013
NavnLecture Notes in Electrical Engineering
Vol/bind152
ISSN1876-1100

Citationsformater

Sørensen, J. C., & Jørgensen, B. N. (2013). Satisficing-Based Approach to Resolve Feature Interactions in Control Systems. I K. Elleithy, & T. Sobh (red.), Innovations and Advances in Computer, Information, Systems Sciences, and Engineering (s. 1039-1051). Springer. Lecture Notes in Electrical Engineering, Bind. 152 https://doi.org/10.1007/978-1-4614-3535-8_86