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 through software development focused on real-time embedded applications. Founded in 1987, the Andover, Massachusetts-based companys' products focused on collaboration between engineers who work on 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).

Contents

History

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 was 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. [1]

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. [1] [2]

In 1987, the company was re-formed as a US entity, called I-Logix Inc., and AdCad Ltd. became its R&D branch, renamed as I-Logix Israel, Ltd. [1]

In 1996, I-Logix released Rhapsody, a tool that, unlike Statemate (which is not object-oriented and is intended more for systems people and for mixed hardware/software systems), is object-oriented and is intended more for software systems. [3]

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

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

During the 2000s, the company's sales grew quickly and it became a leader in the Embedded Systems and Software Development tools market; winning customers such as General Motors, [6] Lockheed Martin (who uses the I-Logix tools in the Joint Strike Fighter F-35 program) [7] and BAE Systems (who uses the I-Logix tools in the Eurofighter Typhoon program). [8]

In March 2006, the company was acquired by Telelogic AB for $80 million and integrated as a business unit for embedded modeling, the I-Logix name ceasing to exist. [9] In turn, Telelogic AB accepted IBM's offer on April 3, 2008, [10] its products becoming part of IBM's Rational Software unit.

In 2007 the team that developed Statemate won the ACM Software System Award as:

"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 a type of diagram used in computer science and related fields to describe the behavior of systems. State diagrams require that the system described 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>

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. Today, over 1000 individuals work at IBM R&D locations across Israel, including Haifa, Tel Aviv, Herzliya, Rehovot, and the Jerusalem Technology Park. IBM research and development activities in Israel include a number of labs.

<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 XDE, an "eXtended Development Environment" for software developers, 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#.

LDRA Testbed is a set of core static and dynamic analysis engines for both host and embedded software. LDRA Testbed is made by Liverpool Data Research Associates (LDRA). LDRA Testbed provides the means to enforce compliance with coding standards such as MISRA, JSF++ AV, CERT C, CWE and provides visibility of software flaws that might typically pass through the standard build and test process to become latent problems. In addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities, which support the requirements of the DO-178B standard up to and including Level-A.

<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, also 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>

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 requirement 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.

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.
  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. 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.