PolarSys Time4Sys provides a framework that fills the gap between the capture of timing aspects in the design phase of a real-time system and the ability of specific/dedicated tools to verify the c
Latest release: 0.8.0
OpenCert is a customizable safety assurance and certification tool environment integrated into existing manufacturers’ development and safety assurance processes and tooling.
As systems are becoming more complex, their safety assessment needs powerful tools.
Latest release: 0.7.0
Runs until December 14, 2018
Take the Survey!