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:
objektově orientované Petriho sítě, metody formální analýzy a verifikace, typová analýza, stavové prostory
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ška Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
2002
- KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava: MARQ, 2002, s. 65-72. ISBN 80-85988-71-2. Detail
- KŘENA Bohuslav, VOJNAR Tomáš a ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, s. 6. Detail