Title :
A pattern for structuring the behavioural requirements of features of an embedded system
Author :
Dietrich, David ; Atlee, Joanne M.
Author_Institution :
David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
Abstract :
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.
Keywords :
automotive engineering; embedded systems; feature extraction; finite state machines; formal specification; formal verification; systems analysis; embedded system feature behavioural requirement structuring; feature-oriented software requirements; high-level behaviours; mode-based behaviour pattern; production-grade automotive features; state machines; Automotive engineering; Context; Context modeling; Monitoring; Software; Unified modeling language; Vehicles; requirements engineering; requirements pattern;
Conference_Titel :
Requirements Patterns (RePa), 2013 IEEE Third International Workshop on
Conference_Location :
Rio de Janeiro
DOI :
10.1109/RePa.2013.6602664
