Rapid Verification of Embedded Systems Using Patterns

W. T. Tsai, L. Yu, F. Zhu, R. Paul

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations


Verification pattern (VP) is a new technique to test embedded systems rapidly, and it has been used to test industrial safety-critical embedded systems successfully. The key concept of this approach is to classify system scenarios into patterns, and use the same code template to test all the scenarios of the same pattern. In this way, testing effort can be greatly reduced. This paper extends VPs so that they can fully interoperate with a formalized scenario model ACDATE. In this way, various static and dynamic analyses can be performed on system scenarios as well as on system patterns. Furthermore, this paper provides a mapping from system scenarios into temporal logic expressions. In this way, a practitioner can specify system constraints in scenarios, and follow the mapping to obtain the temporal logic expressions easily to perform formal model checking. This paper also provides an OO framework to support automated test script development from VPs. In this way, VPs can be used in an integrated process where both semi-formal analyses and formal techniques can be used together to develop mission-critical embedded applications.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software and Applications Conference
Number of pages6
StatePublished - 2003
EventProceedings: 27th Annual International Computer Software and Applications Conference, COMPSAC 2003 - Dallas, TX, United States
Duration: Nov 3 2003Nov 6 2003


OtherProceedings: 27th Annual International Computer Software and Applications Conference, COMPSAC 2003
Country/TerritoryUnited States
CityDallas, TX


  • Embedded systems
  • Model checking
  • Testing
  • Verification
  • Verification patterns

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Rapid Verification of Embedded Systems Using Patterns'. Together they form a unique fingerprint.

Cite this