Detail publikace

Simulation Based Design of Control Systems using DEVS and Petri Nets

KOČÍ Radek a JANOUŠEK Vladimír. Simulation Based Design of Control Systems using DEVS and Petri Nets. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 291-292. ISBN 978-84-691-8502-5.
Název česky
Simulation Based Design of Control Systems using DEVS and Petri Nets
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
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 či ladění na úrovni primárních modelů je nemožné. Článek představuje pří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 v simulaci, reality-in-the-loop simulace a model-continuity. Model je chápán jako spustitelný program, který je validní po celou dobu vývoje softwaru včetně jeho nasazení v produkčním prostředí.

Rok
2009
Strany
291-292
Sborník
Computer Aided Systems Theory
Konference
Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria, ES
BibTeX 
@INPROCEEDINGS{FITPUB8873,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Simulation Based Design of Control Systems using DEVS and Petri Nets",
   pages = "291--292",
   booktitle = "Computer Aided Systems Theory",
   year = 2009,
   location = "Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-691-8502-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8873"
}
Nahoru