I2MAP: An incremental and iterative modeling and analysis process

Abstract

Detecting errors early within the development process for an embedded system assists a developer in avoiding excessive error correction costs and minimizing catastrophic losses resulting from failures in deployed systems. Towards that end, this paper presents i2MAP, an iterative and incremental goal-driven process for constructing an analysislevel UML model of an embedded system. The UML model is formally analyzed for adherence to the behavioral properties captured in a companion goal model. The process uses goal modeling to capture the requirements of the system, and uses UML to capture analysis-level structural and behavioral information. Both types of i 2MAP models can be used to drive a rigorous approach to model-driven development of embedded systems. In this paper, we illustrate the i 2MAP process and the accompanying tool suite in the development of an embedded system model for an adaptive light control system. © Springer-Verlag Berlin Heidelberg 2007.