5423 search results - page 252 / 1085 » Denial-of-service in automation systems |
171
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
133
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Assembly accuracies of 0.05-0.1 mm, needed for electronic product manufacture, are attainable with current automated manufacturing equipment. Aggressive electronic system designs ...
198
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
175
click to vote
IJSEKE
2011
14 years 10 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
170
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...