See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Muu" projekt VEU606
VEU606 "IKT COST Aktsioon IC0901 Rich-Model Toolkit - usaldatavate arvutisüsteemide infrastruktuur (30.10.2009−29.10.2013)", Jaan Raik, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool .
VEU606
IKT COST Aktsioon IC0901 Rich-Model Toolkit - usaldatavate arvutisüsteemide infrastruktuur
ICT COST Action IC0901 Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
ICT COST Action IC0901 Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
30.10.2009
29.10.2013
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
Euroopa Komisjon
PerioodSumma
30.10.2009−29.10.20131 000,00 EUR
1 000,00 EUR
välisleping, COST programm

Projekti üldeesmärgiks on luua automatiseeritud formaalsed tehnikad ja programmid, mis oleksid rakendatavad laial probleemide ringil ning mille kasutamine arendajate poolt oleks lihtsustatud. Aktsioon koordineerib tegevusi, mis on seotud modelleerimise infrastruktuuri väljatöötamisega arvutisüsteemidele. Vastav infrastruktuur kannab nime Rich-Model.
The main objective is making automated reasoning techniques and tools applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers. The Action coordinates activities on developing infrastructures for automated reasoning about the new notion of Rich Models of computer systems. Rich Models have the expressive power of a large fragment of formalizable mathematics, enabling specification of software, hardware, embedded, and distributed systems. Rich Models support modeling at a wide range of abstraction levels, from knowledge bases and system architecture, to software source code and detailed hardware design. The Action contributes to the construction of Rich-Model Toolkit, a new unified infrastructure that precisely defines the meaning of Rich Models, introduces standardized representation formats, and incorporates a number of automated reasoning tools. Moreover, the Action develops and deploys new tools for automated reasoning that communicate using these standardized formats. The resulting tools will have a wide range of applicability and improved efficiency, helping system developers construct reliable systems through automated reasoning, analysis, and synthesis.
TegevusProtsent
Alusuuring100,0