Invited Talk
Special Topics in Computer Science
Department of Computer Science and Information Engineering
National Chung Cheng University
December 16, 2002
ESSP: An Embedded Software Synthesis and Prototyping Methodology
§õ©vºt (Trong-Yen Lee), Assistant Professor, Dept of Electronic
Engineering,
National Taipei University of Technology, Taiwan
Abstract
Due to rapid technology progress, there has been a significant increase in
design complexity, decrease in time-to-market, and growing demand for embedded
systems. Further, with the integration of computer technology, consumer
products, and communication facilities, the software in an embedded system
now accounts for as much as 70% of total system functionalities. Though there
are some tools available for the design of embedded software, yet there is a
lack of a general design methodology. Most engineers still invent their own
design methodology, as a result of which design experiences are not passed on
from generation to generation. In this talk, we discuss a complete methodology
called ESSP (Embedded Software Synthesis and Prototyping) for the automatic
design of embedded software. Several issues are solved, including software
synthesis, software verification, code generation, and system emulation.