Detail publikace

Simulation Based Design of Control Systems using DEVS and Petri Nets

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

Originální název

Simulation Based Design of Control Systems using DEVS and Petri Nets

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

Current 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á slova

DEVS, Object Oriented Petri Nets, simulation, modelling, system design

Autoři

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

Rok RIV

2009

Vydáno

15. 2. 2009

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Las Palmas de Gran Canaria

ISBN

978-84-691-8502-5

Kniha

Computer Aided Systems Theory

Strany od

291

Strany do

292

Strany počet

2

BibTex

@inproceedings{BUT30197,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Simulation Based Design of Control Systems using DEVS and Petri Nets",
  booktitle="Computer Aided Systems Theory",
  year="2009",
  pages="291--292",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="978-84-691-8502-5"
}