• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

RIV/00216305:26230/09:PU86230 - Simulation Based Design of Control Systems Using DEVS and Petri Nets (2009)

Údaje o výsledku
Identifikační kódRIV/00216305:26230/09:PU86230
Název v původním jazyceSimulation Based Design of Control Systems Using DEVS and Petri Nets
DruhD - Článek ve sborníku
Jazykeng - angličtina
OborJC - Počítačový hardware a software
Rok uplatnění2009
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ýsledku2
Tvůrci výsledku
Počet tvůrců celkem2
Počet domácích tvůrců2
TvůrceKočí Radek (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
TvůrceJanoušek Vladimír (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 jazyceCurrent model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).
Klíčová slovaDEVS, Object Oriented Petri Nets, simulation, modelling, system design
Název sborníkuComputer Aided Systems Theory - EUROCAST 2009
ISBN978-3-642-04771-8
Počet stran výsledku8
Název nakladateleSpringer-Verlag
Místo vydáníBerlin
Místo konání akceLas Palmas de Gran Canaria, Canary Islands
Datum zahájení akce15.2.2009
Typ akce podle státní příslušnoti účastníkůWRD - Světová
Údaje o tomto záznamu o výsledku
PředkladatelVysoké učení technické v Brně / Fakulta informačních technologií
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2010
Systémové označení dodávky datRIV10-GA0-26230___/02:2
Datum dodání25.5.2010
SpecifikaceRIV/00216305:26230/09:PU86230!RIV10-GA0-26230___
Kontrolní kód[D75AB30CC65A]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno MŠMT v roce 2010Záznam s identifikačním kódem RIV/00216305:26230/09:PU86230 v dodávce dat RIV10-MSM-26230___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGA102/07/0322 - Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (2007-2009, GA0/GA)
ProjektGP102/07/P306 - Vývoj systémů založený na modelech (2007-2009, GA0/GP)
Výzkumný záměrMSM0021630528 - 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_00306. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).