|
I-Logix (TM) Incorporated, founded in 1987 through the collaboration of Dr. David Harel, developer of Statecharts, and Dr. Amir Pneuli, Turing Award winner for his work with formal verification, is the third largest worldwide provider of design automation solutions for developers of complex real-time embedded systems. I-Logix's award-winning products, Rhapsody, which is a UML application development platform, and Statemate MAGNUM, a system engineering environment for hybrid systems specification and rapid prototyping, support the entire design process. They use an iterative approach which enables system engineers to move rapidly to system prototypes and software engineers to final product iterations. I-Logix is creating a paradigm shift in how embedded systems are developed by reallocating time spent writing and testing code to time spent designing and validating behavior. Supporting the 'I-Logix Way' of development are such clients as JPL, NASA, Boeing, Motorola, DaimlerChrysler, General Motors, TRW, Otis, and TRANE.
|