Detail projektu

Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích

Období řešení: 1. 1. 2002 - 31. 12. 2002

Typ projektu: grant

Kód: FR1948/2002/G1

Agentura: Fond rozvoje vysokých škol MŠMT

Program:

Typ
grant
Klíčová slova

objektově orientované Petriho sítě, metody formální analýzy a verifikace, typová analýza, stavové prostory

Abstrakt

Vývoj současných aplikací je natolik složitý, že bez použití formálních prostředků není možné udržet vysokou kvalitu a spolehlivost vyvíjených systémů. Tento projekt se proto zabývá formalizmem objektově orientovaných Petriho sítí (OOPN) a s ním spojenými metodami formální analýzy a verifikace. Hlavní oblasti zájmu tohoto projektu jsou: typová analýza OOPN, dotazovací jazyk nad stavovými prostory OOPN a překlad OOPN do jiných formalizmů.

Řešitelé
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , hlavní řešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Publikace

2002

Nahoru