M. Trapp, B. Schürmann, and T. Tetteroo (Germany)
embedded systems, domain analysis, graceful degradation, environment model, variable-types
Embedded systems are characterized by the intense interaction with their environment. Developers must understand the behavior of the environment to be able to influence the latter in the desired way. In this paper, we introduce a formal environment model that can be used to record the required knowledge of domain experts. Usually, there is a huge amount of variants to achieve the demanded features. Each variant entails advantages and disadvantages. In the introduced model, this variability can be formally specified to be able to utilize it in the context of product line approaches and/ or to achieve graceful degradation.
Important Links:
Go Back
