Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study

Ansgar Fehnker, Bruce H. Krogh

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
30 Downloads (Pure)

Abstract

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.


Original languageEnglish
Pages (from-to)885-902
Number of pages18
JournalInternational journal of foundations of computer science
Volume17
Issue number4
DOIs
Publication statusPublished - 2006
Externally publishedYes

Fingerprint Dive into the research topics of 'Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study'. Together they form a unique fingerprint.

  • Cite this