A Methodology for cross-resolution modeling in DEVS using event-B refinement

Download

index.pdf

Date

2014

Author

Kara, Ahmet

Metadata

Show full item record

Item Usage Stats

263
views

95
downloads

This thesis proposes a software engineering solution for implementing simulations via composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology relies on Event-B as the formal specification language and DEVS as the model composition framework; utilizes refinement relations between Event-B machines for specification, verification and generation of the data conversion steps between models, and employs a code generator that inputs Event-B machine definitions to generate converter code that connects two model ports. Resolution converters for model compositions allows an introduction to use of connector paradigm in modeling and simulation environment. We use our achievements in DEVS converters for implementing DEVS simulations in heterogeneous environments with the help of connectors in the sense of component based software engineering. This solution involves implementing connectors as atomic models to be used in mediation of data type and time resolution mismatches. Employing atomic models as connectors allows connector composition in the style of Reo and promotes higher level of reuse in simulation construction.

Subject Keywords

Computer simulation., Engineering design, Engineering design, Experimental design, Event processing (Computer science).

URI

http://etd.lib.metu.edu.tr/upload/12616769/index.pdf
https://hdl.handle.net/11511/23257

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, M. Nedim (2015-11-01) This paper proposes a software engineering solution for implementing simulations via the composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology uses Event-B as the formal specification language and Dis...
An exponential big bang-big crunch algorithm for discrete design optimization of steel frames Hasançebi, Oğuzhan (2012-11-01) In the present study an enhanced variant of the big bang-big crunch (BB-BC) technique, namely exponential BB-BC algorithm (EBB-BC) is developed for code based design optimization of steel frame structures. It is shown that the standard version of the BB-BC algorithm is sometimes unable to produce reasonable solutions to problems from discrete design optimization of steel frames. Hence, through investigating the shortcomings of BB-BC algorithm, it is aimed to reinforce the performance of the technique for th...
A unifying grid approach for solving potential flows applicable to structured and unstructured grid configurations Cete, A. Ruhsen; Yuekselen, M. Adil; Kaynak, Uenver (Elsevier BV, 2008-01-01) In this study, an efficient numerical method is proposed for unifying the structured and unstructured grid approaches for solving the potential flows. The new method, named as the "alternating cell directions implicit - ACDI", solves for the structured and unstructured grid configurations equally well. The new method in effect applies a line implicit method similar to the Line Gauss Seidel scheme for complex unstructured grids including mixed type quadrilateral and triangle cells. To this end, designated al...
A temporal neural network model for constructing connectionist expert system knowledge bases Alpaslan, Ferda Nur (Elsevier BV, 1996-04-01) This paper introduces a temporal feedforward neural network model that can be applied to a number of neural network application areas, including connectionist expert systems. The neural network model has a multi-layer structure, i.e. the number of layers is not limited. Also, the model has the flexibility of defining output nodes in any layer. This is especially important for connectionist expert system applications.
Monte Carlo analysis of ridged waveguides with transformation media Ozgun, Ozlem; Kuzuoğlu, Mustafa (Wiley, 2013-07-01) A computational model is presented for Monte Carlo simulation of waveguides with ridges, by combining the principles of transformation electromagnetics and the finite methods (such as finite element or finite difference methods). The principle idea is to place a transformation medium around the ridge structure, so that a single and easy-to-generate mesh can be used for each realization of the Monte Carlo simulation. Hence, this approach leads to less computational resources. The technique is validated by me...

Citation Formats

A. Kara, “A Methodology for cross-resolution modeling in DEVS using event-B refinement,” Ph.D. - Doctoral Program, Middle East Technical University, 2014.