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

fYear

2013

fDate

15-15 July 2013

Firstpage

1

Lastpage

7

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Patterns (RePa), 2013 IEEE Third International Workshop on

Conference_Location

Rio de Janeiro

Type

conf

DOI

10.1109/RePa.2013.6602664

Filename

6602664