I-Logix

I-Logix was a leading provider of Collaborative Model driven development (MDD) solutions for systems design through software development focused on real-time embedded applications. Founded in 1987, the Andover, Massachusetts-based company product line enhanced collaboration among engineers, graphically modeling the requirements, behavior, and functionality of embedded systems. In addition, I-Logix was a member of the UML Partners, a group devoted to the development of the Unified Modeling Language (UML).

I-Logix was founded in Israel as AdCad Ltd. in April 1984 by David Harel, Amir Pnueli and brothers Ido and Hagi Lachover; to develop and commercialize a tool to support statecharts and their execution. This, based on work done by David Harel at the Weizmann Institute of Science, working as a consultant for the Lavi Aircraft project, which was being developed at the time by Israel Aerospace Industries. Specifically, Harel was hired to help develop a solution for clearly designing and defining the aircraft's avionics systems; and came-up with the concept of statecharts and a tool to support their development.

In 1986, the company completed the development of a software tool for statecharts called Statemate. At the heart of a Statemate model was a functional decomposition controlled by statecharts. The user could draw the statecharts and the model's other artifacts, could check and analyze them, could produce documents from them, and could manage their configurations and versions. Additionally, Statemate could fully execute statecharts. The tool could also generate from them, automatically, executable code; first in the Ada programming language and later also in the C programming language.