A pattern for structuring the behavioural requirements of features of an embedded system

摘要

Feature-oriented software requirements specify features in a product line as separate modules. In this paper, we present the Mode-Based Behaviour pattern that provides advice on how to structure the behavioural requirements of an individual feature using state machines. The pattern not only defines the control flow of a feature, but also places constraints on the kinds of behaviour that a feature can perform while in certain operating modes. The pattern has been created by examining several production-grade automotive features and identifying commonalities in their high-level behaviours; however the pattern is not automotive specific.