"Muu" projekt IKT26
IKT26 (3.2.1201.13-0026) "Mudelpõhised Java tarkvara arendusmeetodid (1.03.2013−30.11.2015)", Jaan Penjam, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
3.2.1201.13-0026
IKT26
Mudelpõhised Java tarkvara arendusmeetodid
Model-based Java software development technology
Model-based Java software development technology
1.03.2013
30.11.2015
Teadus- ja arendusprojekt
Muu
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)100,0
AsutusRiikTüüp
SA Archimedes
PerioodSumma
01.03.2013−30.11.2015538 822,00 EUR
538 822,00 EUR
EL struktuuritoetuste meede: 3.2.12 Info- ja kommunikatsioonitehnoloogiate teadus- ja arendustegevuse toetamine

Projekti eesmärkideks on 1) arendada välja automaatsel programmide sünteesil põhinev mudelipõhine Java programmide koostamise tehnoloogia koos toetava metoodikaga; 2) realiseerida väljatöötatavat tehnoloogiat toetav arvutuskeskkond Java rakenduste loomiseks; 3) valideerida tehnoloogiat tööstuslike rakendusprogrammide (hüdraulika jõuülekanded, tootmisprotsesside äriloogika jms) ning e-teenuste ja/või nende protitüüpide loomise kaudu. Loodaval süsteemil on kasutajaliides probleemvaldkonna mudelite visuaalseks spetsifitseerimiseks (nt diagrammide, skeemide ja lihtsamate jooniste kujul). Pakutav mudelipõhine arendusmetoodika võimaldab kõrgtasemel automatiseerida tarkvara koostamist ning selle aluseks on formaalloogikal põhinevad programmide konstrueerimise meetodid.
The aim of the present project is 1) to develop a model-based Java software technology supported by automated program generation and respective methodologies, 2) to implement a tool for Java applications development based on this technology, and 3) to validate the technology through the development of industrial applications (e.g. fluid power systems and technical chainsystems, etc.) and public e-services. The tool is expected to be a software environment with strong visual part for developing and applying models as well as for controlling the computations. The developed model-based technology will provide high degree of automation based on application of logical methods of program construction.
TegevusProtsent
Rakendusuuring100,0