blob: b554597f652328929105dd8e80fc148e5438e0aa [file] [log] [blame]
Eclipse ‚ÄčSystemFOCUS is an IDE which targets fast and meticulous development of
embedded software. It based on a mathematical theory of interactive systems
and implemented using the JavaFX-based eclipse implementation from the
e(fx)clipse project (
and the E4 platform.
An essential aspect of SystemFOCUS is to be a concentration point for
innovation, especially coming from academia (integrating for instance
techniques like formal verification, SMT-solving, or model checking), but still
maintaining a very good software quality in order to be a great showcase for
members of the embedded software community (industrial and academic).