Result Details

Towards Simulation-Based Design of the Software Systems

KOČÍ, R.; JANOUŠEK, V. Towards Simulation-Based Design of the Software Systems. The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009. p. 452-457. ISBN: 978-1-4244-4779-4.
Type
conference paper
Language
English
Authors
Abstract

The current trend in research of methodology of system's design highlights the quality of resulted systems, however the research mainly aims at efficiencyand safety of the development process itself. The most used development methodology used models as a basic means for description of systems. Although they can allow for model transformation, the designer has to adaptthe resulted code manually. It can results in inconsistency among design models and their realization and the further development or debugging by means of prime models is impossible. The paper presents an approach to the system development, which is based on the concept of simulation based design allowing to see the system as a set of models in every development stage including its deployment.

Keywords

simulation based design, modeling, Object Oriented Petri Nets

Published
2009
Pages
452–457
Proceedings
The Fourth International Conference on Software Engineering Advances
Conference
The Fourth International Conference on Software Engineering Advances ICSEA 2009
ISBN
978-1-4244-4779-4
Publisher
IEEE Computer Society
Place
Los Alamitos
BibTeX
@inproceedings{BUT30234,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Towards Simulation-Based Design of the Software Systems",
  booktitle="The Fourth International Conference on Software Engineering Advances",
  year="2009",
  pages="452--457",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="978-1-4244-4779-4"
}
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
Departments
Back to top