1. Reactis Version#
The Reactis family of products supports the test, verification, and debug of embedded software. Different versions of Reactis support two alternative development styles:
Model-based design with Simulink models. Note that the modeling environment offered by the MathWorks supports the construction of models using a number of different notations: MATLAB, Simulink, Stateflow, C code (included in a model using C Caller blocks, S-Functions, or Stateflow custom code), and Embedded MATLAB (included in a model from Stateflow or MATLAB Function blocks). As is the common nomenclature, we simply say “Simulink model” to refer to a model constructed with Simulink and any subset of the other notations.
Applications hand-coded in the C programming language.
This Safety Manual describes the use of the Reactis products in an ISO 26262 process for applications classified as up to ASIL D. The names and versions of the Reactis tools are:
Reactis for Simulink[1] V2021, V2021.2, V2022, V2022.2, V2023, V2023.2, V2024, V2024.2
Reactis for C Plugin V2021, V2021.2, V2022, V2022.2, V2023, V2023.2, V2024, V2024.2
Reactis for EML Plugin V2021, V2021.2, V2022, V2022.2, V2023, V2023.2, V2024, V2024.2
Reactis for C V2021, V2022, V2023, V2024
The Reactis for C Plugin and the Reactis for EML Plugin seamlessly integrate into the base Reactis for Simulink product. In the remainder of the paper, when we say “Reactis for Simulink”, it will also imply that we refer to Reactis for C Plugin and/or Reactis for EML Plugin when the tool is applied to a model that contains C code and/or Embedded MATLAB code to trigger the use of the appropriate plugin.
Reactis for C is a separate application that is used for the test, verification, and debug of C code that is not contained within a model. Reactis for Simulink and Reactis for C share much of the same functionality, e.g. automatic test generation, with the difference being that the former is applied to Simulink models while the latter is applied to C code. Note, that Reactis for C is also helpful (in combination with Reactis for Simulink) in a model-based design process to facilitate back-to-back testing of C code against a model.
