Describing functionalities and reactions of cars and managing their feature interactions

We develop an Automotive Reaction System (ARS) framework to support cars by capabilities to react to various situations. With ARS, the states and actions of a car are designed as objects of a high level object-oriented language, called ARS-language. ARS permits also to design the reactions of a car to various situations by an ARS-specification consisting of rules “condition→action”. The ARS-objects and ARS-specification are implemented in a car to provide her with capabilities to function and react online. ARS permits also to model certain actions of a car at a high abstraction level by an ARS-model consisting of rules “condition→operation”. With ARS, we are confronted to conflicts (or feature interactions) which denote situations where an ARS-specification implies simultaneous executions of incompatible actions. We propose an approach to detect and resolve feature interactions.