Step by step from specification to realization of an electrochemical microsystem

Subject of this paper is the step by step development of a microsystem. We started with the creation of a dynamical executable specification model. The next stage of development was characterized by substituting some simulated components by real ones. The result at this stage was a macro prototype of the microsystem. Replacing the macro by micro components the step by step development of the microsystem ended up in a real microsystem. We have used this approach for the realization of ELMAS, an electrochemical microanalysis system for the measurement of ion concentrations in fluids. ELMAS consists in its final state of microsensors, micropumps, and a microcontroller for the system control