Synthesis of Real-Time Implementations from Component-Based Software Models

Speaker:	Dr. Zonghua GU
		Department of Computer Science
		Hong Kong University of Science & Technology

Title:		"Synthesis of Real-Time Implementations from
		 Component-Based Software Models"

Date:		Monday, 28 November 2005

Time:		4:00pm - 5:00pm

Venue:		Lecture Theatre F (near lift nos. 25/26)
		HKUST

Abstract:

We consider the class of component-based software models with an
interaction style of buffered asynchronous message passing between
components with ports. After building a logical software model, it is
necessary to synthesize a multithreaded implementation that runs on a
given target hardware platform and satisfies the given timing constraints.
Commercial code generators produce functional code, but ignore concurrency
and timing issues. We compare alternative multithreading strategies, and
describe real-time scheduling and design-space exploration techniques for
implementation synthesis from component-based software models. Our
experimental results show that these techniques yield high-quality
implementations with a reasonable running time of the optimization
algorithm.


*************************
Biography:

Zonghua Gu is an assistant professor in the Department of Computer Science
at HKUST. He joined HKUST in August 2005. His research interests are
real-time embedded systems and software engineering. Zonghua holds a Ph.D.
degree from the University of Michigan at Ann Arbor.