Feature interactions in embedded control systems

In: Computer Networks, Jg. 45 (2004) ; Nr. 5, S. 625-644
ISSN: 13891286
Zeitschriftenaufsatz / Fach: Wirtschaftswissenschaften
Abstract:
Present-day software systems, like modern telecommunications systems or distributed Internet applications, have reached levels of complexity that can no longer be addressed with ad-hoc techniques. Therefore, systematic approaches for coping with this huge complexity are required. To correctly develop such systems, interactions between the system's features have to be considered, as these might be the origin of incorrect system behavior. In addition to the traditional domains of large systems, increasingly complex systems can be found in the domain of embedded control systems, of which automotive as well as building and home control systems are interesting examples. In particular, the environment, in which an embedded control system operates, plays a crucial role in such a system's behavior, and can thus be the source for additional interrelationships between features. In this article, a systematic approach for the automatic detection of feature interactions in embedded control systems is presented, which allows the identification of interactions within a system as well as the detection of interactions that are caused by the environment. ABSTRACT FROM AUTHOR Copyright of Computer Networks is the property of Elsevier Science Publishers B.V. and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts); Present-day software systems, like modern telecommunications systems or distributed Internet applications, have reached levels of complexity that can no longer be addressed with ad-hoc techniques. Therefore, systematic approaches for coping with this huge complexity are required. To correctly develop such systems, interactions between the system's features have to be considered, as these might be the origin of incorrect system behavior. In addition to the traditional domains of large systems, increasingly complex systems can be found in the domain of embedded control systems, of which automotive as well as building and home control systems are interesting examples. In particular, the environment, in which an embedded control system operates, plays a crucial role in such a system's behavior, and can thus be the source for additional interrelationships between features. In this article, a systematic approach for the automatic detection of feature interactions in embedded control systems is presented, which allows the identification of interactions within a system as well as the detection of interactions that are caused by the environment. ABSTRACT FROM AUTHOR Copyright of Computer Networks is the property of Elsevier Science Publishers B.V. and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts)