October 2018: Go4IT – beginne Dein Informatik-Bachelor-Universitäts-Studium parallel zur AHS-Oberstufe!
August 2012: autoBAHN—autonomously driving trains on open tracks
November 2011: Awards
- TEACHING (German)
- OnlineCourses @ UniSalzburg
From Model-Based Development research towards cutting-edge industry products
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:
Jakob-Haringer-Str. 2 | 5020 Salzburg | Austria | Tel: +43 662 - 8044 - 6488 | Fax: +43 662 8044 - 6480