Abstract
| Original language | English |
|---|---|
| Pages (from-to) | 885-902 |
| Number of pages | 18 |
| Journal | International journal of foundations of computer science |
| Volume | 17 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 2006 |
| Externally published | Yes |
Fingerprint
Cite this
}
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. / Fehnker, Ansgar; Krogh, Bruce H.
In: International journal of foundations of computer science, Vol. 17, No. 4, 2006, p. 885-902.Research output: Contribution to journal › Article › Academic › peer-review
TY - JOUR
T1 - Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study
AU - Fehnker, Ansgar
AU - Krogh, Bruce H.
PY - 2006
Y1 - 2006
N2 - Though model checking itself is a fully automated process, verifying correctness of a hybrid system design using model checking is not. This paper describes the necessary steps, and choices to be made, to go from an informal description of the problem to the final verification result for a formal model and requirement. It uses an automotive control system for illustration.
AB - Though model checking itself is a fully automated process, verifying correctness of a hybrid system design using model checking is not. This paper describes the necessary steps, and choices to be made, to go from an informal description of the problem to the final verification result for a formal model and requirement. It uses an automotive control system for illustration.
U2 - 10.1142/S0129054106004169
DO - 10.1142/S0129054106004169
M3 - Article
VL - 17
SP - 885
EP - 902
JO - International journal of foundations of computer science
JF - International journal of foundations of computer science
SN - 0129-0541
IS - 4
ER -