Eclipse OpenCert

Eclipse OpenCert is a customizable safety assurance and certification tool environment integrated into existing manufacturers’ development and safety assurance processes and tooling. https://projects.eclipse.org/projects/polarsys.opencert