Publication detail

Simulation Based Design of Control Systems Using DEVS and Petri Nets

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

Original Title

Simulation Based Design of Control Systems Using DEVS and Petri Nets

English Title

Simulation Based Design of Control Systems Using DEVS and Petri Nets

Type

conference paper

Language

en

Original 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 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).

English 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 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).

Keywords

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

RIV year

2009

Released

03.12.2009

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-642-04771-8

Book

Computer Aided Systems Theory - EUROCAST 2009

Edition

Lecture Notes in Computer Science, Volume 5717

Edition number

NEUVEDEN

Pages from

849

Pages to

856

Pages count

8

BibTex


@inproceedings{BUT33201,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Simulation Based Design of Control Systems Using DEVS and Petri Nets",
  annote="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).",
  address="Springer Verlag",
  booktitle="Computer Aided Systems Theory - EUROCAST 2009",
  chapter="33201",
  edition="Lecture Notes in Computer Science, Volume 5717",
  howpublished="print",
  institution="Springer Verlag",
  year="2009",
  month="december",
  pages="849--856",
  publisher="Springer Verlag",
  type="conference paper"
}