Gene-auto projekti eesmärgiks on välja töötada automaatne koodigeneraator tarkvaramudelite (peamiselt juhtimisalgoritmide mudelid) teisendamiseks tööstuslikult kasutatavaks tarkvarakoodiks. Väljatöötatav generaator kasutab sisendina Simulink/Stateflow/SCICOS mudeleid ning genereerib nendest C-koodi. Taotletav efekt on korrektsem tarkvara võrreldes programmeerija poolt kirjutatuga (elimineeritakse realisatsioonietapis tekkivad vead), arendusprotsessi oluline lühenemine ning moodulitestide asendamine lahenduse valideerimisega mudelil. TTÜ-l on projektis kaks ülesannet. Esiteks hinnata valitud koodigenereerimise meetodite korrektsust võrreldes automaatselt genereeritud tulemusi tarkvaratehnika labori katseseadmetele käsitsi kirjutatud algoritmidega. Teiseks otsida võimalusi koodigeneraatori sisendiks olevate mudelite korrektsuse formaalseks kontrollimiseks.
The goal of Gene-Auto project is to develop automatic code generator for transforming software models (mainly models of control algorithms) into industrially applicable software code. The developed code generator takes Simulink/Stateflow/SCICOS model as input and produces C-code. The expected benefit for the user of this toolset will be more correct software when compared to that written by human programmer (potential bugs introduced in implementation phase are eliminated), shortened development cycles and replacing module tests with validation on model. TUT has two assignments in the project. First the team will asses the correctness and applicability of code generation methods by comparing generated software code to that written manually on test devices of software engineering lab. The second goal is to research and develop methods for verification correctness of the input model before code generation.