Formal and Operational Study of P-DEVS
Download Formal and Operational Study of P-DEVS project materials: This project material is ready for students who are in need of it to aid their research.
ABSTRACT
Discrete Event System Specification(DEVS) is a sound formal modeling and simulation (M&S) structure based 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 an independent 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, benchmarking of 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 a computer program, or network of computers, that attempts to generate the behavior of an abstract model of a particular system.
Computer simulations have become a useful part of mathematical modeling of many natural systems in computational physics, astrophysics, chemistry and biology, human systems in economics, psychology, social science, and engineering.
Simulations can be used to explore and gain new insights into new technology, and to estimate the performance of systems too complex for analytical 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.
