932 search results - page 85 / 187 » Verifying Progress in Timed Systems |
195
click to vote
SIES
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
157
click to vote
AAAI
1996
15 years 5 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
133
click to vote
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...
125
click to vote
PDPTA
2010
15 years 1 months ago
2010
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
145
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...