From Model-Based Development research towards cutting-edge industry products
Chrona Validator and Chrona Creation Suite
The Chrona Validator allows platform-aware software-in-the-loop (SIL) simulations. Chrona Validator is seamlessly integrated with common tools such as MATLAB®/Simulink® and Eclipse. The Chrona Validator supports both open-loop and closed-loop simulations. It works with legacy code, such as C and assembly code, as well as with models and any mix of those.
The Chrona Creation Suite offers correct-by-construction timing behavior of time-critical embedded systems, that is, the correctness of the modeled timing behavior is guaranteed in all situations. Chrona deploys a Timing Definition Language (TDL) to model timing. Products in Chrona's Creation Suite include: