See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Muu" projekt F7007
F7007 "Gene-Auto, Automaatne koodigeneraator sardsüsteemidele (30.01.2007−1.09.2008)", Leo Mõtus, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool.
F7007
Gene-Auto, Automaatne koodigeneraator sardsüsteemidele
Gene-Auto, Automatic Software Code Generation for Real-time Embedded Systems Gene-Auto
Gene-Auto, Automaatne koodigeneraator sardsüsteemidele
30.01.2007
1.09.2008
Teadus- ja arendusprojekt
Muu
EAS toetus
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)50,0
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP175 Informaatika, süsteemiteooria1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)30,0
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT121 Signaalitöötlus 1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)20,0
AsutusRiikTüüp
Ettevõtluse Arendamise Sihtasutus
PerioodSumma
30.01.2007−01.09.20082 361 218,00 EEK (150 909,33 EUR)
150 909,33 EUR

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.
KirjeldusProtsent
Alusuuring35,0
Rakendusuuring65,0