Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí
Cíle projektu
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ých běhu vytvořených prototypů a propojení s objekty implementovaných 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 problémů plynoucích z dynamické instanciaceobjektů. 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
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 1 (SGA02002GA-ST)
Hlavní účastníci
Vysoké učení technické v Brně / Fakulta informačních technologií
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Modelling, verifying and prototyping distributed applications using Petri nets
Anotace anglicky
The project builds upon the original mathematical concept of object-oriented Petri nets (OOPNs) which has been proposed at the Department of Computer Science and Engineering of the Technical University in Brno and which combines advantages of high-levelPetri nets and object-oriented design technologies. The project comes with two main goals. The first goal is to design and implement a tool for modelling, simulation, and prototyping distributed applications using OOPNs, including the possibility of running prototypes of applications in a truly distributed way and interconnecting them with external objects. The second goal is to allow for formal analysis and verification of OOPN-based models using especially their suitably reduced state spaces. Thisrequires an original solution of some specific theoretical problems stemming from the dynamic instantiation of objects. Moreover, the possibility of modular and compositional analysis, as well as static analysis will be evaluated. The proposed conceptual
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
JD - Využití počítačů, robotika a její aplikace
CEP - další vedlejší obor
BC - Teorie a systémy řízení
OECD FORD - odpovídající obory
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
20204 - Robotics and automatic control
20205 - Automation and control systems
20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
1. Odborný přínos projektu je významný. Spočívá zejména v návrhu architektury simulátoru objektově orientovaných Pretriho sítí (OOPN), jenž je interoperabilní s jinými jazyky a systémy a reflektuje možnost distribuované simulace i mobilitu objektů, simul
Termíny řešení
Zahájení řešení
1. 1. 2000
Ukončení řešení
1. 1. 2002
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP/2003/GA0/GA03GA/U/N/9:7
Datum dodání záznamu
19. 5. 2008
Finance
Celkové uznané náklady
2 311 tis. Kč
Výše podpory ze státního rozpočtu
1 961 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
2 311 tis. Kč
Statní podpora
1 961 tis. Kč
84%
Poskytovatel
Grantová agentura České republiky
CEP
JC - Počítačový hardware a software
Doba řešení
01. 01. 2000 - 01. 01. 2002