Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation

Hae Young LEE  Jin Myoung KIM  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E103-D   No.7   pp.1769-1772
Publication Date: 2020/07/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2019EDL8219
Type of Manuscript: LETTER
Category: Software System
Keyword: 
data corruption,  state variable corruption,  buffer overflow,  secure coding,  discrete event system specification,  

Full Text: PDF(825.9KB)>>
Buy this Article




Summary: 
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.