Title :
Detecting data store access conflict in Simulink by solving Boolean satisfiability problems
Author :
Zhi Han ; Mosterman, P.J.
Author_Institution :
MathWorks, Natick, MA, USA
fDate :
June 30 2010-July 2 2010
Abstract :
This paper presents a method to statically analyze a Simulink® model to detect two potential problems with data store memory blocks: (i) a value may be read from a data store before it is written and (ii) a data store may be overwritten before its value is read by other blocks. The analysis employs a Boolean satisfiability (SAT) solver and so obviates extensive testing by means of simulation. It is illustrated how this supports model elaboration in Model-Based Design by performing the analysis on a task model of a digital controller implementation.
Keywords :
Boolean functions; computability; digital control; digital simulation; storage management; Boolean satisfiability solver; Simulink; data store access conflict; data store memory blocks; digital controller; Adaptive control; Analytical models; Control systems; Digital control; Pattern analysis; Performance analysis; Processor scheduling; Programmable control; Read-write memory; Testing;
Conference_Titel :
American Control Conference (ACC), 2010
Conference_Location :
Baltimore, MD
Print_ISBN :
978-1-4244-7426-4
DOI :
10.1109/ACC.2010.5531137
