"Muu" projekt G4156
G4156 (ETF4156) "Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks (1.01.2000−31.12.2003)", Jüri Vain, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
ETF4156
G4156
Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks
Formal methods for verification of hybrid dynamical systems
Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks
1.01.2000
31.12.2003
Teadus- ja arendusprojekt
Muu
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.4. MatemaatikaP110 Matemaatiline loogika, hulgateooria, kombinatoorika1.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)50,0
AsutusRollPeriood
Tallinna Tehnikaülikoolpartner01.01.2000−31.12.2003
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituutpartner01.01.2000−31.12.2003
AsutusRiikTüüp
Sihtasutus Eesti Teadusfond
PerioodSumma
01.01.2000−31.12.2003313 000,00 EEK (20 004,35 EUR)
20 004,35 EUR
Eesti Teadusfond - > ETF uurimistoetus

Eesmärk on luua hübriidsete dünaamiliste süsteemide (HS) spetsifitseerimiseks ja verifitseerimiseks sobiv formaalne süsteem (keel, spetsifitseerimisprimitiivid, arvutus, mudelid) ning selle rakendustehnoloogia. Rakendustehnoloogia realiseeritakse verifitseerimiskeskonnas, mis kombineerib nii deduktiivseid kui algoritmilisi toestusmeetodeid. Keskkonna baaskomponentideks on mudelkontrolli vahendid SMV ja Uppaal ning teoreemitoestaja Gandalf.
The aim of this project is to create an appropriate formal system (language, specification primitives, calculus, models) for specification and verification of hybrid dynamical systems and its application technology. The application technology will be implemented in a verification tool which combines deductive as well algorithmic verification techniques. The basic components of the tool are model checkers SMV and UPPAAL and theorem prover Gandalf.
KirjeldusProtsent
Alusuuring50,0
Rakendusuuring30,0
Katse- ja arendustöö20,0