Process-oriented development of embedded systems: modeling behavior and dependability

Abstract

This paper introduces a new paradigm for the development of Embedded Systems, called process-orientation. From the analysis of the problems encountered with stateof-the-art development methods for Embedded Systems, it becomes obvious that many difficulties are caused by the absence of good behavior models and the resulting intermingling of different design dimensions. It is shown that these problems can be solved by the explicit modeling of dynamic system aspects like behavior, real-time and dependability constraints. This is done by means of so called activities that provide a convenient description of the global behavior of a system and that can be annotated by dynamic constraints.