Informace o projektu
Software Components in Embedded Systems: Development and Verification
Kód projektu | GAP202/11/0312 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.03.2011–31.12.2013 |
Stav | ukončený |
Investor | Grantová agentura ČR |
Program | Standardní projekty |
Řešitel za FI | |
Členové realizačního týmu za FI |
Anotace
Cílem projektu je návrh metodologie pro vývoj a verifikaci komponentových systémů se zaměřením na zapouzdřené aplikace, návrh technik a nástrojů pro specifikaci a formální deskripci komponentových systémů a návrh a implementace efektivních metod pro verikaci správnosti komponentových systémů.