IEC 60870-5-104 protocol tester.
JQM - Java Quine McCluskey for minimization of Boolean functions.
iHome Smart Home System Platform
Floor-level factory/shop automatization control software
Accent interfaces and controls systems through goals and policies
Building automation (like KNX or OpenHAB) software (like CometVisu).
A python based User Interface library.
Generating PLC programs from formal specifications
Enhanced Modbus library implemented in the Java programming language
AMICI enables real-time execution of cyber-physical models (Simulink)
openSCADA® is an open source SCADA system written in JAVA
The EPANET Real Time Extension