RIV/00216305:26230/08:PU76778 - Object Oriented Petri Nets -- Modelling Techniques Case Study (2008)
| Údaje o výsledku | |
| Identifikační kód | RIV/00216305:26230/08:PU76778 |
| Název v původním jazyce | Object Oriented Petri Nets -- Modelling Techniques Case Study |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | JC - Počítačový hardware a software |
| Rok uplatnění | 2008 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 4 |
| Tvůrci výsledku | |
| Počet tvůrců celkem | 3 |
| Počet domácích tvůrců | 3 |
| Tvůrce | Kočí Radek (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku) |
| Tvůrce | Janoušek Vladimír (státní příslušnost: CZ - Česká republika; A - domácí tvůrce) |
| Tvůrce | Zbořil František (státní příslušnost: CZ - Česká republika; A - domácí tvůrce) |
| Údaje blíže specifikující výsledek | |
| Popis v původním jazyce | The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri Nets, especially its object variant, Object Oriented Petri Nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modelling techniques of OOPN on the case study of conference system design. |
| Klíčová slova | modeling, simulation, system design<br> |
| Název sborníku | Second UKSIM European Symposium on Computer Modeling and Simulation |
| ISBN | 978-0-7695-3325-4 |
| Počet stran výsledku | 6 |
| Název nakladatele | IEEE Computer Society |
| Místo vydání | Liverpool |
| Místo konání akce | Liverpool |
| Datum zahájení akce | 8.9.2008 |
| Typ akce podle státní příslušnoti účastníků | WRD - Světová |
| Údaje o tomto záznamu o výsledku | |
| Předkladatel | Vysoké učení technické v Brně / Fakulta informačních technologií |
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2010 |
| Systémové označení dodávky dat | RIV10-GA0-26230___/02:2 |
| Datum dodání | 25.5.2010 |
| Specifikace | RIV/00216305:26230/08:PU76778!RIV10-GA0-26230___ |
| Kontrolní kód | [6AB604647736] |
| Další výskyty tohoto výsledku od stejného předkladatele | |
| Dodáno GA ČR v roce 2009 | Záznam s identifikačním kódem RIV/00216305:26230/08:PU76778 v dodávce dat RIV09-GA0-26230___/02:2 |
| Dodáno MŠMT v roce 2009 | Záznam s identifikačním kódem RIV/00216305:26230/08:PU76778 v dodávce dat RIV09-MSM-26230___/03:3 |
| Dodáno MŠMT v roce 2010 | Záznam s identifikačním kódem RIV/00216305:26230/08:PU76778 v dodávce dat RIV10-MSM-26230___/01:1 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl | |
| Projekt | GA102/07/0322 - Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (2007-2009, GA0/GA) |
| Projekt | GP102/07/P306 - Vývoj systémů založený na modelech (2007-2009, GA0/GP) |
| Výzkumný záměr | MSM0021630528 - Výzkum informačních technologií z hlediska bezpečnosti (2007-2013, MSM) |
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00318.
Podpora uživatelů na e-mailové adrese 
nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).
nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).