| 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 (http://projects.eclipse.org/projects/technology.efxclipse) |
| 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). |
