Automated Analysis, Debugging, and Fine-Tuning of Temporal Properties

Faculty:

D. Stewart
Students: Gaurav Arora, Elaine Cheong, Anna Secka

An Overview

Education and research projects focus on software engineering for embedded real-time systems. Educational activities emphasize practical hands-on, inter-disciplinary learning by designing and implementing low-cost embedded systems in university laboratories. The objective of the research is to automate the analysis and fine-tuning of an embedded system's temporal properties to facilitate debugging of timing errors. Automation is achieved by designing a prediction mechanism that uses a combination of measured data, desired requirements, and theoretical models to predict what fine-tuning operations can aid in correcting the errors.

A computer-aided software engineering (CASE) tool incorporates the methods, to make the research available to embedded system programmers. The impact of the integrated research and education plan is that more engineers will be available to fill the demand for embedded real-time software developers. Through education, more students will have hands-on experience with embedded systems, thus better preparing them for work in industry. Through research, better tools will enable engineers with expertise in other areas to implement their applications, even without an in-depth background in real-time systems theory. Together, development time for embedded systems can decrease and quality can be improved, ultimately leading to a lower cost for embedded system products.

Relevant Publications

(Click on reference numbers for abstract/project description.)
[1] Gaurav Arora and David B. Stewart, "A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems," Conference Proc. of Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 1998.
[2] Gaurav Arora, "Automated Analysis and Prediction of Timing Parameters in Embedded Real-Time Systems Using Measured Data," Ph.D. Dissertation, EE Dept., University of Maryland, College Park, June 1997.
[3] Gaurav Arora and David B. Stewart, "AFTER: A CASE tool to Assist in Fine-Tuning of Embedded Real-Time Systems," Real-Time Systems Symposium -- Work In Progress (RTSS), December 1996.

Sponsored by The National Science Foundation (NSF)



Mission
Research
Education
Publications
Personnel
Resources
Sponsors
Awards
SERTS Home
Site Map
UMIACS
ISR
ECE Dept
UMD
School of Engr
Search UMD

© 1999 University of Maryland, College Park, MD 20742. All Rights Reserved.
For more information on the SERTS Laboratory, contact Dr. D. Stewart at
dstewart@eng.umd.edu