Detail projektu

Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí

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

Typ projektu: grant

Kód: GA102/00/1017

Agentura: Grantová agentura České republiky

Program: Standardní projekty

Název anglicky
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets
Typ
grant
Klíčová slova

distribuované aplikace, modelování a prototypování, formální verifikace, objektově orientované Petriho sítě

Abstrakt

Projekt vychází z původního matematického modelu
objektově orientovaných Petriho sítí (OOPN),
který byl vytvořen na ÚIVT FEI VUT a který
spojuje výhody vysokoúrovňových Petriho sítí s
výhodami objektově orientovaných návrhových technologií.

Projekt sleduje dva hlavní cíle. Prvním cílem je
návrh a implementace systému pro modelování, simulaci a prototypování distribuovaných aplikací
s využitím OOPN, včetně možnosti distribuovaného běhu vytvořených prototypů a propojení s objekty
implementovanými jiným způsobem. Druhým cílem je
umožnit formální analýzu a verifikaci modelů popsaných OOPN, a to zejména s využitím jejich
vhodně redukovaných stavových prostorů. To si vyžádá originální řešení některých specifických teoretických problémů plynoucích z dynamické instanciace objektů. Dále bude posouzena možnost aplikace metod modulární či kompozitní analýzy a také metod statické analýzy OOPN. Navržené nástroje pro modelování, prototypování a verifikaci budou zastřešeny metodologií doporučující způsob jejich použití při návrhu distribuovaných aplikací tak, aby se dosáhlo dobré udržovatelnosti, spolehlivosti a výkonnosti.

Řešitelé
Češka Milan, prof. RNDr., CSc. – hlavní řešitel
Haša Luděk, Ing.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Kočí Radek, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Rábová Zdeňka, doc. Ing., CSc.
Schwarz Ivan, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Publikace

2003

  • JANOUŠEK, V.; SLAVÍČEK, P. Heterogenní simulace na bázi DEVS. Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003. s. 213-218. ISBN: 80-58988-88-7. Detail

2002

  • ČEŠKA, M.; HRUŠKA, T.; ZENDULKA, J. Education in Information Technology at Brno University of Technology. Proceedings of the International Conference - Advances in Infrastructure for e-business, e-education, e-science, and e-medicine on the Internet. L'Aquila: SSGRR Telecom Italia Learning Services, 2002. p. 1-7. ISBN: 88-85280-62-5. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems Cybernetics, 2002, vol. 2002, no. 9, p. 1289-1299. ISSN: 0368-492X. Detail
  • JANOUŠEK, V.; KOČÍ, R. PNtalk - An Open System for Prototyping and Simulation. Proceedings of The 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. p. 133-146. ISSN: 1102-593X. Detail
  • KOČÍ, R.; RÁBOVÁ, Z. The PNtalk System and Interoperability. Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava: 2002. p. 73-80. ISBN: 80-85988-71-2. Detail
  • KŘENA, B.; VOJNAR, T.; ČEŠKA, M. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. Brazilian Petri Net Meeting. Natal: 2002. Detail
  • SCHWARZ, I. Architecture of Distributed Simulator of PNtalk. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 81-88. ISBN: 80-85988-71-2. Detail

2001

  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2001, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, 2001, vol. 16, no. 3, p. 183-193. ISSN: 0267-6192. Detail
  • JANOUŠEK, V.; SCHWARZ, I. Interoperability of Object Oriented Petri Nets. Proc. of MOSIS'01. Ostrava, Czech Republic: 2001. p. 137-144. ISBN: 80-85988-57-7. Detail
  • KOČÍ, R. The PNtalk System - a Technique for Object Oriented Modelling. Proceedings of XXIIIrd International Autumn Colloquium. Ostrava: 2001. p. 151-158. ISBN: 80-85988-61-5. Detail
  • KOČÍ, R.; VOJNAR, T. A PNtalk-based Model of a Cooperative Editor. Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic: 2001. p. 165-172. ISBN: 80-85988-57-7. Detail
  • KŘENA, B. First Approach to Model Checking in Object-Oriented Petri Nets. Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava: 2001. p. 105-110. ISBN: 80-85988-61-5. Detail
  • KŘENA, B. The Graph Isomorphism Problem. Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 343-347. ISBN: 80-214-1860-5. Detail
  • KŘENA, B.; VOJNAR, T. Type Analysis in Object-Oriented Petri Nets. Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic: 2001. p. 173-180. ISBN: 80-85988-51-8. Detail

2000

  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000. p. 35-54. ISSN: 0105-8517. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk Modelling Experience. Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000. p. 65-73. Detail
  • HOLUB, O.; KUNOVSKÝ, J.; MELKES, F. The examples of the TKSL/C. Proccedings of 4th International Scientific Conference ELECTRONIC COMPUTERS & INFORMATICS. Košice: unknown, 2000. p. 98-101. ISBN: 80-88922-25-9. Detail
  • KUNOVSKÝ, J. Real-Time Applications of the Taylor Series. Proceedings of ADIUS 2000, ADI. Boston: unknown, 2000. p. 67-75. Detail
  • KUNOVSKÝ, J.; POSPÍŠIL, P.; SEZEMSKÝ, P. Implicit solution of kinetics in HV circuit breakers. Proceedings of 3rd Mathmod. Vienna: unknown, 2000. p. 11-11. ISBN: 3-901608-15-X. Detail
  • MAREK, V. Category of Markov Systems. Proceedings of the 34th International Conference: Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm: 2000. p. 75-80. ISBN: 80-85988-44-5. Detail
Nahoru