For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation
Hae Young LEE Jin Myoung KIM
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2020/07/01
Online ISSN: 1745-1361
Type of Manuscript: LETTER
Category: Software System
data corruption, state variable corruption, buffer overflow, secure coding, discrete event system specification,
Full Text: PDF(825.9KB)>>
In this letter, we propose a more secure modeling and simulation approach that can systematically detect state variable corruptions caused by buffer overflows in simulation models. Using our approach, developers may not consider secure coding practices related to the corruptions. We have implemented a prototype of the approach based on a modeling and simulation formalism and an open source simulator. Through optimization, the prototype could show better performance, compared to the original simulator, and detect state variable corruptions.