International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
Volume 180 - Issue 8 |
Published: Dec 2017 |
Authors: Wassim Trojet |
![]() |
Wassim Trojet . Safety Design for Simulation Models based on Formal Methods. International Journal of Computer Applications. 180, 8 (Dec 2017), 1-5. DOI=10.5120/ijca2017916058
@article{ 10.5120/ijca2017916058, author = { Wassim Trojet }, title = { Safety Design for Simulation Models based on Formal Methods }, journal = { International Journal of Computer Applications }, year = { 2017 }, volume = { 180 }, number = { 8 }, pages = { 1-5 }, doi = { 10.5120/ijca2017916058 }, publisher = { Foundation of Computer Science (FCS), NY, USA } }
%0 Journal Article %D 2017 %A Wassim Trojet %T Safety Design for Simulation Models based on Formal Methods%T %J International Journal of Computer Applications %V 180 %N 8 %P 1-5 %R 10.5120/ijca2017916058 %I Foundation of Computer Science (FCS), NY, USA
Control theory researchers have been using DEVS models to formalize discrete event systems for a long time. Despite such systems are one of the main targets of Software Engineers, the DEVS formalism lacks tools offering representing and verifying safety properties. The general scope of the paper consists of extending the DEVS framework to support safety properties and verify them by using formal methods. Thus, we offer a possibility for DEVS user to describe safety properties and to verify formally if these properties are preserved during the evolution of the system. We called the extended formalism ”ΦDEVS”. Safety verification is made once a ”ΦDEVS” model is translated to a formal specification using Z notation by performing proof obligation.