1090 search results - page 47 / 218 » Case Study: Componentization of an Industrial Control System |
SE
2008
13 years 10 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
TAP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
KBS
2011
13 years 4 months ago
2011
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
ISSTA
1989
ACM
14 years 1 months ago
1989
ACM
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
: Most academic control schemes for MIMO systems assume all the control variables are updated simultaneously. MPC outperforms other control strategies through its ability to deal w...