4diac is an open source solution for industrial automation systems
Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with imrpvoed support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT.
The Platform Initialization Self-Certification Test(pi-sct) project has source for exercisersizing interfaces in a platform and verifies compatibility to the PI specification with specific tests on PEI and DXE Foundations from PI Spec on UEFI uefi.org.
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.