Publication result detail

OOPN and DEVS Formalisms for System Specification and Analysis

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

Original Title

OOPN and DEVS Formalisms for System Specification and Analysis

English Title

OOPN and DEVS Formalisms for System Specification and Analysis

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

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

RIV year

2011

Released

26.08.2010

Publisher

IEEE Computer Society

Location

Los Alamitos

ISBN

978-0-7695-4144-0

Book

The Fifth International Conference on Software Engineering Advances

Pages from

305

Pages to

310

Pages count

6

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"
}