| dc.contributor.author | Eli-Ake, Grace Eyitayo Kehinde | |
| dc.date.accessioned | 2017-09-05T15:41:24Z | |
| dc.date.available | 2017-09-05T15:41:24Z | |
| dc.date.issued | 2011-12-15 | |
| dc.identifier.uri | http://repository.aust.edu.ng:8080/xmlui/handle/123456789/610 | |
| dc.description.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. | en_US |
| dc.description.sponsorship | AUST, ADB | en_US |
| dc.language.iso | en | en_US |
| dc.subject | Eli-Ake Grace Eyitayo Kehinde | en_US |
| dc.subject | Prof Mamadou Kaba Traore | en_US |
| dc.subject | 2011 Computer Science theses | en_US |
| dc.subject | Formal and Operational Study of P-Devs | en_US |
| dc.subject | P-Devs | en_US |
| dc.subject | Discrete Event System Specification | en_US |
| dc.subject | Modelling and Simulation | en_US |
| dc.subject | Formal Analysis | en_US |
| dc.title | Formal and Operational Study of P-Devs | en_US |
| dc.type | Thesis | en_US |
