IEC 101 Server and Client Simulator Source code Library, Win, Linux
DNP3 Protocol Source code Library for Linux x86 x64 ARM PowerPC
IEC 60870-5-101 Source code Library Stack - Windows c, c++, c# .net
DNP3 Source code Library for Windows and simulator
Accent interfaces and controls systems through goals and policies
Generating PLC programs from formal specifications
Evaluation Tools for DAC8760 & DAC7760
openSCADA® is an open source SCADA system written in JAVA