Radek Koci

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

This paper deals with the problem of automated conversion of formal system specification to the executable implementation that preserves the reconfigurability of the original model within its runtime. Formal part of the work is based on Coloured Petri Nets formalism extended with the nets-within-nets structural paradigm introduced by Valk. This paradigm reduces the partitioning problem using multiple levels of abstraction within modeling. Described solution aims to produce the distributed control system using five levels of abstraction and a set of translation rules that produces the target prototype. The main contribution of the paper is the introduction of mapping rules that are used for prototype generation and the concept of distributed virtual machine that interprets Petri Nets specifications and supports the reconfigurability of the system.

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.

The actual trend in the research of system design aims at an efficiency and safety of developing processes as well as at the quality of resulted systems. There were investigated and developed many methodologies of system design based on models-they are known as model-based design. These methodologies use executable semi-formal models allowing for transformations including code generation in selected language.

The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models - they are known as model-based design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri nets, especially its object variant, object oriented Petri nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modeling techniques of OOPN on the case study of conference system design.

The current trend in research of methodology of system's design highlights the quality of resulted systems, however the research mainly aims at efficiency and 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 adapt the resulted code