CERTON is a proven industry leader in safety-critical systems, embedded software, and electronic hardware certification. CERTON specializes in all aspects of process oriented product development life-cycles with a focus on developing testable requirements to support fully automated Independent Verification and Validation.
CertSAFE is dataflow language and IDE for modeling and simulation of discrete time systems. It was designed from the ground up to streamline safety-critical software development...