I-Logix

Last updated
I-Logix Inc.
Industry Software
Founded1987
Founder David Harel, Amir Pnueli
Defunct2006
FateAcquired by Telelogic
Headquarters
Andover, MA, United States
Rehovot, Israel
Products Model driven development solutions
$26.5 (2005)
$2.9 (2005)
Number of employees
133 (2005)
Parent IBM

I-Logix was a provider of collaborative Model-driven development (MDD) solutions for systems design and software development, particularly focused on real-time embedded applications. Founded in 1987 and based in Andover, Massachusetts, the company specialized in products that facilitated collaboration among engineers working on embedded systems. Additionally, I-Logix was a member of the UML Partners, a consortium dedicated to the development of the Unified Modeling Language (UML).

Contents

History

I-Logix was originally founded in Israel as AdCad Ltd. in April 1984 by David Harel, Amir Pnueli, and brothers Ido and Hagi Lachover. The company's mission was to develop and commercialize a tool to support statecharts and their execution, building on the pioneering work of David Harel at the Weizmann Institute of Science. Harel had conceived the concept of statecharts while working as a consultant on the Lavi Aircraft project for Israel Aerospace Industries. He was tasked with developing a clear method for designing and defining the aircraft's avionics systems, leading to the creation of statecharts and the supporting tool. [1]

In 1986, the company completed the development of a software tool for statecharts called Statemate. At the core of a Statemate model was a functional decomposition controlled by statecharts, allowing users to draw statecharts and other model artifacts, check and analyze them, produce documents, and manage configurations and versions. Statemate could fully execute statecharts and automatically generate executable code, initially in the Ada programming language and later in the C programming language. [1] [2]

In 1987, the company re-formed as a U.S. entity, I-Logix Inc., with AdCad Ltd. becoming its R&D branch, renamed I-Logix Israel, Ltd. [1]

In 1996, I-Logix released Rhapsody, a tool designed for software systems that differed from Statemate by being object-oriented, catering more to software engineers. [3]

In December 1999, I-Logix raised $10 million in funding from North Bridge Venture Partners and Deutsche Telekom to expand its global sales channels. [4]

In 2001, I-Logix acquired the iNOTION product life-cycle management (PLM) technology from KLA-Tencor. [5]

During the 2000s, I-Logix experienced significant growth, establishing itself as a leader in the Embedded Systems and Software Development tools market, securing major clients such as General Motors, [6] Lockheed Martin (for the Joint Strike Fighter F-35 program), [7] and BAE Systems (for the Eurofighter Typhoon program). [8]

In March 2006, I-Logix was acquired by Telelogic AB for $80 million, becoming a business unit for embedded modeling, and the I-Logix name was discontinued. [9] Subsequently, Telelogic AB was acquired by IBM on April 3, 2008, [10] and its products were integrated into IBM's Rational Software unit.

In 2007, the team that developed Statemate received the ACM Software System Award for their pioneering work:

"Statemate was the first commercial computer-aided software engineering tool to successfully overcome the challenges of complex interactive, real-time computer systems, known as reactive systems. The ideas reflected in Statemate underlie many of the most powerful and widely used tools in software and systems engineering today."

—  ACM, 2007 Award announcement

Products

Major examples of the tools I-Logix created before it was acquired are Statemate and Rhapsody (now IBM Rational Rhapsody), which both was and is still used by all major automotive and aerospace/defence manufacturers and suppliers. Currently under IBM management Statemate is not gaining new market, while Rhapsody tends to gain its position as a replacement.

See also

Related Research Articles

<span class="mw-page-title-main">State diagram</span> Diagram of behavior of finite state systems

A state diagram is used in computer science and related fields to describe the behavior of systems. State diagrams require that the system is composed of a finite number of states. Sometimes, this is indeed the case, while at other times this is a reasonable abstraction. Many forms of state diagrams exist, which differ slightly and have different semantics.

The rational unified process (RUP) is an iterative software development process framework created by the Rational Software Corporation, a division of IBM since 2003. RUP is not a single concrete prescriptive process, but rather an adaptable process framework, intended to be tailored by the development organizations and software project teams that will select the elements of the process that are appropriate for their needs. RUP is a specific implementation of the Unified Process.

<span class="mw-page-title-main">IBM Israel</span> Globally integrated enterprise

IBM is a globally integrated enterprise operating in 170 countries. IBM's R&D history in Israel began in 1972 when Professor Josef Raviv established the IBM Israel Scientific Center in the Technion's Computer Science Building in Haifa. As of 2023, over 3000 individuals work at IBM R&D locations across Israel, including Haifa, Tel Aviv, Herzliya, Rehovot, and the Jerusalem Technology Park.

<span class="mw-page-title-main">System Architect</span> Enterprise architecture tool

Unicom System Architect is an enterprise architecture tool that is used by the business and technology departments of corporations and government agencies to model their business operations and the systems, applications, and databases that support them. System Architect is used to build architectures using various frameworks including TOGAF, ArchiMate, DoDAF, MODAF, NAF and standard method notations such as sysML, UML, BPMN, and relational data modeling. System Architect is developed by UNICOM Systems, a division of UNICOM Global, a United States-based company.

<span class="mw-page-title-main">David Harel</span> Israeli computer scientist

David Harel is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.

UML Partners was a consortium of system integrators and vendors convened in 1996 to specify the Unified Modeling Language (UML). Initially the consortium was led by Grady Booch, Ivar Jacobson, and James Rumbaugh of Rational Software. The UML Partners' UML 1.0 specification draft was proposed to the Object Management Group (OMG) in January 1997. During the same month the UML Partners formed a Semantics Task Force, chaired by Cris Kobryn, to finalize the semantics of the specification and integrate it with other standardization efforts. The result of this work, UML 1.1, was submitted to the OMG in August 1997 and adopted by the OMG in November 1997.

Model-driven engineering (MDE) is a software development methodology that focuses on creating and exploiting domain models, which are conceptual models of all the topics related to a specific problem. Hence, it highlights and aims at abstract representations of the knowledge and activities that govern a particular application domain, rather than the computing concepts.

Executable UML is both a software development method and a highly abstract software language. It was described for the first time in 2002 in the book "Executable UML: A Foundation for Model-Driven Architecture". The language "combines a subset of the UML graphical notation with executable semantics and timing rules." The Executable UML method is the successor to the Shlaer–Mellor method.

Telelogic AB was a software business headquartered in Malmö, Sweden. Telelogic was founded in 1983 as a research and development arm of Televerket, the Swedish department of telecom. It was later acquired by IBM Rational, and exists under the IBM software group.

Rational Rose was a development environment for Unified Modeling Language. It integrates with Microsoft Visual Studio .NET and Rational Application Developer. The Rational Software division of IBM, which previously produced Rational Rose, wrote this software.

Rational Rhapsody, a modeling environment based on UML, is a visual development environment for systems engineers and software developers creating real-time or embedded systems and software. Rational Rhapsody uses graphical models to generate software applications in various languages including C, C++, Ada, Java and C#.

<span class="mw-page-title-main">Rational Software Modeler</span> Unified Modeling Language design tool

Rational Software Modeler (RSM), made by IBM's Rational Software division, is a Unified Modeling Language (UML) 2.0-based visual modeling and design tool. Rational Software Modeler is based on the Eclipse open-source software framework and is used for visual modeling and model-driven development (MDD) with UML for creating applications and web services. IBM ceased marketing Rational Software Modeler in 2010 and ended support for it in 2015. Much of the same functionality is now available through Rational Software Architect.

Rational Synergy is a software tool that provides software configuration management (SCM) capabilities for all artifacts related to software development including source code, documents and images as well as the final built software executable and libraries. Rational Synergy also provides the repository for the change management tool known as Rational Change. Together these two tools form an integrated configuration management and change management environment that is used in software development organizations that need controlled SCM processes and an understanding of what is in a build of their software.

UML state machine, formerly known as UML statechart, is an extension of the mathematical concept of a finite automaton in computer science applications as expressed in the Unified Modeling Language (UML) notation.

<span class="mw-page-title-main">QP (framework)</span> Operating system

QP is a family of open source real-time embedded frameworks (RTEFs) and runtime environments based on active objects (actors) and hierarchical state machines. The QP family consists of the lightweight QP/C and QP/C++ frameworks, written in C (C99) and C++ (C++11), respectively.

Schindler&Schill GmbH is a German software company, founded 2008 in Regensburg by two experts on Windows based software. The company also trades under EasyLogix.

Rational Dynamic Object Oriented Requirements System (DOORS) (formerly Telelogic DOORS) is a requirements management tool. It is a client–server application, with a Windows-only client and servers for Linux, Windows, and Solaris. There is also a web client, DOORS Web Access.

<span class="mw-page-title-main">YAKINDU Statechart Tools</span>

YAKINDU Statechart Tools (YAKINDU SCT) is a tool for the specification and development of reactive, event-driven systems with the help of finite-state machines. It comprises a tool for the graphical editing of statecharts and provides validation, simulation, and source code generators for various target platforms and programming languages. YAKINDU Statechart Tools are available with standard and professional editions, with no-cost licenses for non-commercial resp. academic usage. Users are coming from both industry and academia.

TeleSoft, Inc. was an American software development company founded in 1981 and based in San Diego, California, that specialized in development tools for the Ada programming language.

References

  1. 1 2 3 Harel, David. "Statecharts in the Making: A Personal Account" (PDF). The Weizmann Institute of Science.
  2. ↑ STATEMATE: a working environment for the development of complex reactive systems. doi:10.1109/ICCSSE.1988.72235.
  3. ↑ Executable object modeling with statecharts. doi:10.1109/ICSE.1996.493420.
  4. ↑ "Israeli-US company I-Logix Raises $10.5 Mln". Globes. December 6, 1999. Archived from the original on April 6, 2012. Retrieved November 1, 2011.
  5. ↑ Correia, Edward J. (April 15, 2001). "Acquisition Marks Shift in I-Logix Strategy; iNotion portal central to new component-sharing scheme". SD Times.
  6. ↑ "I-Logix' Statemate MAGNUM Drives General Motors Development of Body Control Systems; GM Realizes Improved Quality and Faster Time to Market With I-Logix' Systems Design Tool". Business Wire. August 22, 2001.[ dead link ]
  7. ↑ "I-Logix Announces Multi-Million Dollar Rhapsody Order by Lockheed Martin". Business Wire. February 12, 2002.[ dead link ]
  8. ↑ "BAE SYSTEMS Standardizes on I-Logix' Statemate® System Design Environment for Development of Eurofighter Typhoon". PRweb. July 16, 2004. Archived from the original on November 3, 2010.
  9. ↑ "Telelogic Acquires I-Logix, Secures Leading Position in Embedded Market". Embedded Star. 2006-03-06. Archived from the original on 2012-04-25. Retrieved 2011-11-01.
  10. ↑ "IBM Completes Acquisition of Telelogic AB". IBM Press room. IBM. Apr 3, 2008. Archived from the original on June 18, 2008. Retrieved 2009-10-20.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.