Hybrid system verification is not a sinecure: the electronic throttle control case study

Ansgar Fehnker*, Bruce H. Krogh

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

8 Citations (Scopus)

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
Title of host publicationAutomated Technology for Verification and Analysis
Subtitle of host publicationSecond International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
EditorsFarn Wang
PublisherSpringer Verlag
Pages263-277
Number of pages15
ISBN (Print)9783540236108
DOIs
Publication statusPublished - 2004
Externally publishedYes
Event2nd International Conference on Automated Technology for Verification and Analysis, ATVA 2004 - Taipei, Taiwan, Province of China
Duration: 31 Oct 20043 Nov 2004
Conference number: 2

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3299
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd International Conference on Automated Technology for Verification and Analysis, ATVA 2004
Abbreviated titleATVA 2004
CountryTaiwan, Province of China
CityTaipei
Period31/10/043/11/04

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