Paper Info
Title
Detecting data store access conflict in Simulink by solving Boolean satisfiability problems
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.
Year
DOI
Venue
2010
10.1109/ACC.2010.5531137
American Control Conference
Keywords
DocType
ISSN
boolean functions,computability,digital control,digital simulation,storage management,boolean satisfiability solver,simulink,data store access conflict,data store memory blocks,digital controller,semantics,boolean satisfiability,model based design,computational modeling,data models,adaptive control,schedules,sat solver
Conference
0743-1619
ISBN
Citations 
PageRank 
978-1-4244-7426-4
2
0.40
References 
Authors
10
2
Name
Order
Citations
PageRank
Zhi Han1191.59
Pieter J. Mosterman242953.18