Detail publikačního výsledku

OOPN and DEVS Formalisms for System Specification and Analysis

KOČÍ, R.; JANOUŠEK, V.

Originální název

OOPN and DEVS Formalisms for System Specification and Analysis

Anglický název

OOPN and DEVS Formalisms for System Specification and Analysis

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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 andhave 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.

Anglický abstrakt

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 andhave 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.

Klíčová slova

simulation-based design; Object-Oriented Petri Nets; DEVS;

Klíčová slova v angličtině

simulation-based design; Object-Oriented Petri Nets; DEVS;

Autoři

KOČÍ, R.; JANOUŠEK, V.

Rok RIV

2011

Vydáno

26.08.2010

Nakladatel

IEEE Computer Society

Místo

Los Alamitos

ISBN

978-0-7695-4144-0

Kniha

The Fifth International Conference on Software Engineering Advances

Strany od

305

Strany do

310

Strany počet

6

Plný text v Digitální knihovně

http://hdl.handle.net/

BibTex

@inproceedings{BUT35626,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="OOPN and DEVS Formalisms for System Specification and Analysis",
  booktitle="The Fifth International Conference on Software Engineering Advances",
  year="2010",
  pages="305--310",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="978-0-7695-4144-0"
}