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

vt (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.