TY - GEN
T1 - Deviation analysis through model checking
AU - Heimdahl, M. P.E.
AU - Choi, Y.
AU - Whalen, M.
N1 - Publisher Copyright:
© 2002 IEEE.
PY - 2002
Y1 - 2002
N2 - Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate - the software is expected to continue functioning correctly in the face of an expected range of deviations in the inputs. Deviation analysis can be used to determine how a software specification will behave in the face of such deviations in data from the environment. The idea is to describe the correct values of an environmental quantity; along with a range of potential deviations, and then determine the effects on the outputs of the system. The analyst can then check whether the behavior of the software is acceptable with respect to these deviations. In this report we wish to propose a new approach to deviation analysis using model checking techniques. This approach allows for more precise analysis than previous techniques, and refocuses deviation analysis from an exploratory analysis to a verification task, allowing us to investigate a different range of questions regarding a system's response to deviations.
AB - Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate - the software is expected to continue functioning correctly in the face of an expected range of deviations in the inputs. Deviation analysis can be used to determine how a software specification will behave in the face of such deviations in data from the environment. The idea is to describe the correct values of an environmental quantity; along with a range of potential deviations, and then determine the effects on the outputs of the system. The analyst can then check whether the behavior of the software is acceptable with respect to these deviations. In this report we wish to propose a new approach to deviation analysis using model checking techniques. This approach allows for more precise analysis than previous techniques, and refocuses deviation analysis from an exploratory analysis to a verification task, allowing us to investigate a different range of questions regarding a system's response to deviations.
UR - http://www.scopus.com/inward/record.url?scp=84982883843&partnerID=8YFLogxK
U2 - 10.1109/ASE.2002.1114992
DO - 10.1109/ASE.2002.1114992
M3 - Conference contribution
AN - SCOPUS:84982883843
T3 - Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering
SP - 37
EP - 46
BT - Proceedings - ASE 2002
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 17th IEEE International Conference on Automated Software Engineering, ASE 2002
Y2 - 23 September 2002 through 27 September 2002
ER -