@inproceedings{5f0d72dfcf934405a3fc2f6d3be330a3,
title = "Verification Patterns for Rapid Embedded System Verification",
abstract = "Test result verification is always a costly task for embedded system testing. This paper presents a systematic process to develop verification patterns and use these patterns to verify test results for state-based real-time/embedded systems. The verification patterns are organized into an object-oriented verification framework so that it can be adaptive to changes rapidly The verification patterns are reusable and thus can save significant time and effort in constructing the test execution infrastructure and generating test scripts. This paper describes a systematic process to perform rapid embedded system verification: 1) abstracts verification patterns based on requirement/scenario patterns analysis; 2) generates test cases/scripts from the verification patterns; 3) develops data acquisition component for raw data retrieval and event assemblers; 4) executes test scripts locally or remotely, and 5) collects and analyzes the test results. This process has been applied to a car-alarm system and implantable device applications, which shows the framework developed can perform the verification tasks efficiently.",
author = "Tsai, {W. T.} and F. Zhu and L. Yu and R. Paul and C. Fan",
year = "2003",
language = "English (US)",
isbn = "1932415157",
series = "Proceedings of the International Conference on Embedded Systems and Applications",
pages = "310--316",
editor = "H.R. Arabnia and L.T. Yang and H.R. Arabnia and L.T. Yang",
booktitle = "Proceedings of the International Conference on Embedded Systems and Applications, ESA 03",
note = "Proceedings of the International Conference on Embedded Systems and Applications, ESA'03 ; Conference date: 23-06-2003 Through 26-06-2003",
}