OOPN and DEVS Formalisms for System Specification and Analysis
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89581" target="_blank" >RIV/00216305:26230/10:PU89581 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
OOPN and DEVS Formalisms for System Specification and Analysis
Popis výsledku v původním jazyce
The paper describes an approach to Simulation Based Design (SBD) of systems, which combines design models with simulation models. Obviously, a system representation allowing simulation analysis differs from design models and have to be generated or the design formalism has to be extended by special formalism. The presented approach uses formalisms which can be used for system design as well as system analysis. It uses high-level Petri nets, objects and systems-theoretic approach represented by DEVS formalism. The paper outlines the design methodology of SBD based on the formalism and demonstrates a technique of simulation analysis on the simplified example.
Název v anglickém jazyce
OOPN and DEVS Formalisms for System Specification and Analysis
Popis výsledku anglicky
The paper describes an approach to Simulation Based Design (SBD) of systems, which combines design models with simulation models. Obviously, a system representation allowing simulation analysis differs from design models and have to be generated or the design formalism has to be extended by special formalism. The presented approach uses formalisms which can be used for system design as well as system analysis. It uses high-level Petri nets, objects and systems-theoretic approach represented by DEVS formalism. The paper outlines the design methodology of SBD based on the formalism and demonstrates a technique of simulation analysis on the simplified example.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
The Fifth International Conference on Software Engineering Advances
ISBN
978-0-7695-4144-0
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos
Místo konání akce
Nice
Datum konání akce
22. 8. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—