| dc.contributor.author | Ignace, Djitog | |
| dc.date.accessioned | 2016-06-06T15:02:31Z | |
| dc.date.available | 2016-06-06T15:02:31Z | |
| dc.date.issued | 2011-11-12 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/123456789/387 | |
| dc.identifier.uri | http://library.aust.edu.ng:8080/xmlui/handle/123456789/387 | |
| dc.description.abstract | C-DEVS is a formalism for modeling and analysis of discrete event systems. It refers to the original formalism defined by Zeigler in 1976. While the simulation algorithms are well defined, their implementation is a challenge due to both correctness and efficiency issues.
This work aims at studying the formalism and its operational semantics. We review and validate the meta-model for SimStudio - a Java implementation of the DEVS simulation protocol, and we debug its existing Java codes. We finally use formal methods to perform model checking and theorem proving on the C-DEVS simulation system to assess the properties of correctness. | en_US |
| dc.language.iso | en | en_US |
| dc.subject | Ignace Djitog | en_US |
| dc.subject | 2011 Computer Science | en_US |
| dc.subject | Prof. Mamadou Kaba Traoré | en_US |
| dc.subject | Formal and Operational Study of C-DEVS | en_US |
| dc.subject | C-DEVS | en_US |
| dc.title | Formal and Operational Study of C-DEVS | en_US |
| dc.type | Thesis | en_US |
