Formal and Operational Study of C-DEVS

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. 

Subscribe to access this work and thousands more
Overall Rating

0

5 Star
(0)
4 Star
(0)
3 Star
(0)
2 Star
(0)
1 Star
(0)
APA

DJITOG, I (2021). Formal and Operational Study of C-DEVS. Afribary. Retrieved from https://afribary.com/works/formal-and-operational-study-of-c-devs

MLA 8th

DJITOG, IGNACE "Formal and Operational Study of C-DEVS" Afribary. Afribary, 13 Apr. 2021, https://afribary.com/works/formal-and-operational-study-of-c-devs. Accessed 28 May. 2024.

MLA7

DJITOG, IGNACE . "Formal and Operational Study of C-DEVS". Afribary, Afribary, 13 Apr. 2021. Web. 28 May. 2024. < https://afribary.com/works/formal-and-operational-study-of-c-devs >.

Chicago

DJITOG, IGNACE . "Formal and Operational Study of C-DEVS" Afribary (2021). Accessed May 28, 2024. https://afribary.com/works/formal-and-operational-study-of-c-devs