A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal.
Dohyung Kim, Minyoung Kim, Soonhoi Ha · 2003
In this paper, we specify the behavior of a multi-mode multimedia terminal (MMMT) using block diagram representation and automate the software implementation from the behavioral level specification. The MMMT system consists of several real-time tasks for signal processing and control tasks to manage task executions. We use a dataflow model and an FSM model to specify the internal behavior of a signal processing task and a control task respectively. At the top level, we introduce a novel task-level specification model to represent diverse task execution semantics and communication protocols. The synthesized software is directly executed on a PC and downloaded into a Compaq iPAQ, and run to demonstrate the viability of the proposed system-level design methodology from behavior level specification to real software implementation. This paper explains the key techniques used in the proposed methodology and some lessons we learned during this preliminary experiment.