Result Details

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.
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D., DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Abstract

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 aswell as by formal verification. The approach is based on techniques suchas incremental development in the simulation, reality-in-the-loop simulation,and model-continuity. The model is understood as an executableprogram valid through all development stages including the deployment(the target system).

Keywords

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

Published
2009
Pages
849–856
Proceedings
Computer Aided Systems Theory - EUROCAST 2009
Series
Lecture Notes in Computer Science, Volume 5717
Conference
Twelve International Conference on Computer Aided Systems Theory---EUROCAST'09
ISBN
978-3-642-04771-8
Publisher
Springer Verlag
Place
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"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top