Evaluation of the uModel factory software used for the modeling of embedded systems with concurrent states

uModel Factory, a didactic-professional application modeling software for embedded systems, was developed as part of the Research and Development project of UTN.BA's Electronics Engineering Department (PID UTN1562, Resolution CD FRBA No. 2040/11). This software enables the creation of a state chart through its graphic interface and the automatic generation of portable C code and all its associated documentation while keeping synchronicity between the model, the generated code and the documentation at all times. It further enables simulation, validation and formal verifícation of the state charts designed. This work presents the design of modeling and implementation tools for systems with concurrent tasks with the aim to integrate them into the new version of the modeling software.