Show simple item record

Formal and Operational Study of P-Devs

dc.contributor.authorEli-Ake, Grace Eyitayo Kehinde
dc.description.abstractDiscrete 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.en_US
dc.description.sponsorshipAUST, ADBen_US
dc.subjectEli-Ake Grace Eyitayo Kehindeen_US
dc.subjectProf Mamadou Kaba Traoreen_US
dc.subject2011 Computer Science thesesen_US
dc.subjectFormal and Operational Study of P-Devsen_US
dc.subjectDiscrete Event System Specificationen_US
dc.subjectModelling and Simulationen_US
dc.subjectFormal Analysisen_US
dc.titleFormal and Operational Study of P-Devsen_US

Files in this item


This item appears in the following Collection(s)

  • Computer Science105

    This collection contains Computer Science Student's Theses from 2009-2022

Show simple item record