i2MAP: an incremental and iterative modeling and analysis process
Sascha Konrad, Heather J. Goldsby, Betty H. C. Cheng · 2007
Abstract. Detecting errors early within the development process for an embedded system assists a developer in avoiding excessive error correc-tion costs and minimizing catastrophic losses resulting from failures in deployed systems. Towards that end, this paper presents i2MAP, an iter-ative and incremental goal-driven process for constructing an analysis-level UML model of an embedded system. The UML model is formally analyzed for adherence to the behavioral properties captured in a com-panion goal model. The process uses goal modeling to capture the re-quirements of the system, and uses UML to capture analysis-level struc-tural and behavioral information. Both types of i2MAP models can be used to drive a rigorous approach to model-driven development of embed-ded systems. In this paper, we illustrate the i2MAP process and the ac-companying tool suite in the development of an embedded system model for an adaptive light control system. 1