Detail publikace

Simulation Based Design of Control Systems Using DEVS and Petri Nets

KOČÍ, R.; JANOUŠEK, V. Simulation Based Design of Control Systems Using DEVS and Petri Nets. Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, Volume 5717. Berlin: Springer Verlag, 2009. p. 849-856. ISBN: 978-3-642-04771-8.
Název česky
Simulační návrh řídicích systémů s využitím DEVS a Petriho sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

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

Abstrakt

Současné modelem řízené metodiky vývoje softwaru používají proveditelnépoloformální modely umožňující transformace modelů včetně generováníkódu. Výsledný kód musí být často upravován ručně a následný vývoj čiladění na úrovni primárních modelů je nemožné. Článek představujepřístup k vývoji systémů nazývaný Simulation Based Design, kterývyužívá formalismů DEVS a Objektově orientovaných Petriho sítí.Diskutovaný přístup je založen na technice inkrementálního vývoje vsimulaci, reality-in-the-loop simulace a model-continuity. Model jechápán jako spustitelný program, který je validní po celou dobu vývojesoftwaru včetně jeho nasazení v produkčním prostředí.

Rok
2009
Strany
849–856
Sborník
Computer Aided Systems Theory - EUROCAST 2009
Řada
Lecture Notes in Computer Science, Volume 5717
Konference
Twelve International Conference on Computer Aided Systems Theory---EUROCAST'09, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-642-04771-8
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT33201,
  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 - EUROCAST 2009",
  year="2009",
  series="Lecture Notes in Computer Science, Volume 5717",
  pages="849--856",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-642-04771-8"
}
Nahoru