See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Ministeeriumid" projekt EITSA18017
EITSA18017 "IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus" (1.01.2018−31.08.2023); Vastutav täitja: Paweł Maria Sobociński; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut; Finantseerija: Hariduse Infotehnoloogia Sihtasutus, Haridus- ja Noorteamet, SA Archimedes; Eraldatud summa: 1 864 416 EUR.
EITSA18017
IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus
Research measure of IT Academy programme for 2018-2022: Software trustworthiness
1.01.2018
31.08.2023
Teadus- ja arendusprojekt
Ministeeriumid
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.2 Arvutiteadus ja informaatika100,0
PerioodSumma
01.01.2018−31.08.20231 864 416,00 EUR
1 864 416,00 EUR

The central research focus of the technology and economics of trust in software theme will be certified software. Topics of research include: • methods and tools for certification of software; program analysis, transformation, generation; in particular for big data, cloud and IoT; • static analysis (model checkers, theorem provers), verification, systematic testing; • contract languages, languages with powerful type systems (refinement types, dependent types); domain-specific languages; • program synthesis and program learning, program understanding; • repositories of certified software, evolution of certified software; • trust in closed-source software, gradual trust-building; • trading trust, pricing of trust, game theory of trust.
The central research focus of the technology and economics of trust in software theme will be certified software. Topics of research include: • methods and tools for certification of software; program analysis, transformation, generation; in particular for big data, cloud and IoT; • static analysis (model checkers, theorem provers), verification, systematic testing; • contract languages, languages with powerful type systems (refinement types, dependent types); domain-specific languages; • program synthesis and program learning, program understanding; • repositories of certified software, evolution of certified software; • trust in closed-source software, gradual trust-building; • trading trust, pricing of trust, game theory of trust.
KirjeldusProtsent
Alusuuring70,0
Rakendusuuring30,0