Logo Krono-Safe

Current programming models are not adapted to get a predictable and reproducible execution with parallel architecture

    • They are too complex, error prone, non-deterministic and not scaling with number of cores
    • They incur runtime overhead and often require tedious and costly fine-tuning or micro-design.

Therefore it is today very complex to develop safe, efficient and flexible embedded software.The breakthrough technology of Asterios relies on:

    • A new formalism to express parallelis
    • A new algorithm to guarantee determinism
    • A new tool to automate software integration

With Asterios it is now very simple to get embedded software which is safe, efficient and flexible.