KRONO-SAFE

KRONO-SAFE is a company that provides multicore embedded software implementation solutions. Its products include ASTERIOS, an integrated development toolchain with an exhaustive simulator, a new formal language, and optimal deterministic scheduling policy; ASTERIOS Checker, automated verification tools for safety-critical software certification; ASTERIOS Designer, a model-based bridge tool between system specification and dynamic architecture design; etc. The company caters to the aerospace, defense, automotive, industrial, transportation, and medical sectors.