Embedded applications are becoming increasingly complex. When they are of high criticality, it must be demonstrated that they meet all the real-time and functional requirements.

Model-Based System Engineering (MBSE), with automatic and certified code generation, is already helping to address this issue. However, in a context where applications are increasingly heterogeneous in terms of criticality and time constraints, the definition of a software architecture and the dynamic architecture allowing a correct execution of the code is a difficult and time-consuming task , and even more if we add the certification aspects.

Ansys Krono FLOW

The coupling of KRONO-SAFE’s ASTERIOS and ANSYS SCADE Suite environments implements an integrated flow unique on the market. This innovative solution enables to automatically calculate an optimal and “correct by construction” scheduling from the model-based software specification of a critical multi-rate real-time application running on single or multicore platform.


If you would like to receive more information on the availability of this industrial solution, please leave us your contact information using the following request form:

* required

First Name*

Last Name*