Conference paper

KOČÍ Radek and JANOUŠEK Vladimír. OOPN and DEVS Formalisms for System Specification and Analysis. In: The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010, pp. 305-310. ISBN 978-0-7695-4144-0.
Publication language:english
Original title:OOPN and DEVS Formalisms for System Specification and Analysis
Title (cs):Formalismy OOPN a DEVS pro specifikaci a analýzu systémů
Pages:305-310
Proceedings:The Fifth International Conference on Software Engineering Advances
Conference:The Fifth International Conference on Software Engineering Advances ICSEA 2010
Place:Los Alamitos, US
Year:2010
ISBN:978-0-7695-4144-0
Publisher:IEEE Computer Society
Keywords
simulation-based design; Object-Oriented Petri Nets; DEVS;
Annotation
The paper describes an approach to Simulation Based Design (SBD) of systems, which combines design models with simulation models. Obviously, a system representation allowing simulation analysis differs from design models and have to be generated or the design formalism has to be extended by special formalism. The presented approach uses formalisms which can be used for system design as well as system analysis. It uses high-level Petri nets, objects and systems-theoretic approach represented by DEVS formalism. The paper outlines the design methodology of SBD based on the formalism and demonstrates a technique of simulation analysis on the simplified example.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {OOPN and DEVS Formalisms for System Specification and
	Analysis},
   pages = {305--310},
   booktitle = {The Fifth International Conference on Software Engineering
	Advances},
   year = {2010},
   location = {Los Alamitos, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-4144-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9286}
}

Your IPv4 address: 54.81.235.55
Switch to IPv6 connection

DNSSEC [dnssec]