Ads! Gain 200 Level Admission to Study Any Course In Any University Of Your Choice Through IJMB/JUPEB. NO JAMB | LOW FEES. Registration In Progress. Call 07063900993 NOW!

Formal and Operational Study of P-DEVS

ADS! Download JAMB CBT Software Now for FREE!

Formal and Operational Study of P-DEVS.

ABSTRACT

Discrete Event System Specification(DEVS) is a sound formal modeling and simulation (M&S) structurebased on generic dynamic system concepts.

PDEVS (Parallel Discrete Event System Specification) is a well-known formalism for the specification of complex concurrent systems organized as an interconnection of atomic and coupled interacting components.

The abstract simulator of a PDEVS model is normally founded on the assumption of maximal parallelism: multiple components are allowed to undertake at the same time anindependent state transition.

Our work is to study PDEVS formalism, its operational semantics through various implementation strategies, the cleaning of the thread-less and the threaded implementations proposed in the PDEVS simulation engine, benchmarkingof the two implementations and formal analysis of the simulation protocol.

TABLE OF CONTENTS

Abstract …………………………………………………iii

Dedication…………………………………………………………..iv

Acknowledgment…………………………………………….v

Table of Contents…………………………………….vi

List of Figures……………………………………………viii

Chapter 1: Introduction ………………………….1

1.1 Introduction to Modeling and Simulation ………..1

1.1.1 Modeling and Simulation Concepts………………………………….1

22.1 Discrete Event System Specification (DEVS)……………………….………………7 

3.1 Survey of PDEVS Implementations …………….……..…………………………..28

3.2 SimStudio implementation (meta-models)………………..…………………………31

3.3 Other Implementation……………………………………………………………….35

3.4 Comparison of approaches…………………………………..……………………..35

3.5 Problems with existing implementations…………………….…………………….35

4.1 Introduction to Formal Methods Concepts, Approaches and Formalisms………37

4.2 Benefits of formal methods …………………………………………………………41

1.1.2 Modeling and Simulation Benefits…………………………………………….3

1.1.3 Modeling andSimulation Importance………………………………………3

1.1.4 Modeling and Simulation Challenges…………………………………………4

1.2 Introduction to DEVS formalism and its variants…………………………………….5

1.3 The need for formal analysis of DEVS simulation protocol……………………………….6

1.4 Structure of thesis report…………………………………………………………….6

Chapter 2: Discrete Event System Specification(DEVS)……………………….……………7

2.2Classic DEVS (CDEVS)………………………………………….…………………..8

2.3Example of CDEVS model………………………………………………………….12

2.4Parallel DEVS (PDEVS)…………………………………….………………………12

2.5The PDEVS Simulation Algorithm…………………….…………………………..14

2.6Example of PDEVS model and simulation by hand..……………………………..17

Chapter 3: Literature Review on PDEVS Implementations..……………………………28

Chapter 4: Formal Methods………………………………………………………………..37

4.3 Survey of tools and methods ……………………………………………………….42

5.1 SimStudio……………………………………………………………………………..45

5.2 Improvements on SimStudio (meta-models and discussions)…………………….45

5.3 Towards integration of formal analysis with SimStudio………………………….51

5.4 Use of formal tools with SimStudio………………………………………….……..52

5.5 Results and Discussions………………………………………………….………….53

6.1 Summary of work………………………………………………………….………..54

6.2 Challenges…………………………………………………………………………….54

6.3 Future work………………………………………………………………………….54

Chapter 5: SimStudio andFormal Methods…………………………..45

Chapter 6: Conclusions………………….………….54

References……………………………………….….55

INTRODUCTION

A computer simulation is acomputer program, or network of computers, that attempts togeneratethe behaviour ofan abstractmodelof a particular system.

Computer simulations have become a useful part ofmathematical modelingof many natural systems in computational physics, astrophysics,chemistryandbiology, human systems ineconomics,psychology,social science, and engineering.

Simulations can be used to explore and gain new insights into newtechnology, and to estimate the performance of systems too complex foranalytical solutions.

Computer simulations vary from computer programs that run a few minutes, to network-based groups of computers running for hours, to ongoing simulations that run for days.

The scale of events being simulated by computer simulations has far exceeded anything possible using the traditional paper-and-pencil mathematical modeling.

REFERENCES

Gabriel A. Wainer. 2009. Discrete-Event Modeling and Simulation. A Practitioner’s Approach by Taylor & Francis Group, LLC.

Zeigler, B.; Sarjoughian S. 2003. Introduction to DEVS modeling and simulation with JavaTM:Developing component –based simulation models.

Zeigler, B.; Kim, T.; Praehofer,H. 2000. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press.

Zeigler, B.; and Hessam, S; Sarjoughian. 2005. Introduction to DEVS Modeling and Simulation with JAVA: Developing Component -Based Simulation ModelsJanuary (draft version)

Zeigler, B. et al, 2000. Theory of modeling and simulation,2ndedition. New York: AcademicPress,

Chow, A. et al. 1994.“Parallel DEVS: A parallel, hierarchical, modular modeling formalism.” Proceedings of the Winter Computer Simulation Conference. Orlando, FL. USA.

Enter your email address:

Delivered by TMLT NIGERIA

Join Over 3,500 000+ Readers Online Now!


=> FOLLOW US ON INSTAGRAM | FACEBOOK & TWITTER FOR LATEST UPDATES

ADS: KNOCK-OFF DIABETES IN JUST 60 DAYS! - ORDER YOURS HERE

COPYRIGHT WARNING! Contents on this website may not be republished, reproduced, redistributed either in whole or in part without due permission or acknowledgement. All contents are protected by DMCA.
The content on this site is posted with good intentions. If you own this content & believe your copyright was violated or infringed, make sure you contact us at [[email protected]] to file a complaint and actions will be taken immediately.

Tags: , , , , ,

Comments are closed.

%d bloggers like this: