Departmental Papers (CIS)

Document Type

Conference Paper

Comments

Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 89, Issue 2, October 2003.
Publisher URL: http://www.sciencedirect.com/science/journal/15710661

Abstract

We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the tested system in response to the test traces; Finally, since both automata are encoded in the same language as the system model, the same code generator may be used to generate a tester and a monitor from the testing automata and the monitoring automata, and link them with the code generated from the system model. Our approach yields self-testing and self-monitoring code which may be run both on the simulation level and on the code level. We discuss our approach in its full details through an example on a SONY AIBO robotic dog.

Date of this Version

July 2003

Share

COinS
 

Date Posted: 25 May 2005

This document has been peer reviewed.