Translation of Linear Temporal Logic to Omega-Automata
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
FP6-2002-Mobility-10
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
RP - Co-financing of EC programme
Contract ID
MSMT-9937/2014-1
Alternative language
Project name in Czech
Překlad formulí Lineární temporální logiky na omega-automaty
Annotation in Czech
Cílem projektu je upevnit a prohloubit spolupráci mezi Fakultou informatiky Masarykovy univerzity a EPITA - Ecole d'ingénieurs en informatique v oblasti základního výzkumu formálních metod. Spolupráce bude upevněna formou mobility výzkumných pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu spolupracující týmy identifikují žádoucí vlastnosti omega-automatů v závislosti na jejich dalším využití. Týmy dále navrhnou a následně implementují úpravy překladů nebo nové překlady formulí z LTL (či z fragmentů LTL) do různých druhů omega-automatů tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich aplikacemi a dále zefektivnění algoritmů pracujících se specifikacemi systémů ve formě LTL formulí.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
JD - Use of computers, robotics and its application
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project was being realized in the framework of the MOBILITY Activity that aims primarily at establishing and strenghtening ties with foreign research institutions. The auditing of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked.
Solution timeline
Realization period - beginning
Jan 1, 2014
Realization period - end
Dec 31, 2015
Project status
U - Finished project
Latest support payment
Mar 30, 2015
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP16-MSM-7A-U/02:1
Data delivery date
Oct 12, 2017
Finance
Total approved costs
84 thou. CZK
Public financial support
84 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK