Requirements engineering for embedded systems

Abstract

In requirements engineering for embedded systems the fundamental functional and non-functional requirements for a system with an embedded software system are discussed, captured, analysed, validated, and documented. We suggest a stepwise proceeding. We advise to describe the requirements in terms of different system views obtained from an abstract logical architecture of an embedded system. By the logical architecture a system and its context are decomposed into four components. We discuss the nature of these components and the need and techniques to model their behaviours.