Models of Computation for Specification and Design Methodology Frameworks for Parallel and Distributed Real-Time Embedded Multiprocessor Signal Processing Systems

Randall Janka

Abstract

Hardware/software codesign in the domain of real-time embedded multiprocessor (MP) signal processing systems is complex, even when the design options are limited by constraining component options to commercial-off-the-shelf (COTS) technologies. Easing the design process has been the recent appearance of new tools that support the rapid prototyping of such systems. These tools should be leveraged to support sound specification modeling to whatever degree possible. Required is assuring that such tools are based on the best model of computation (MoC) matched to the specific domain of interest. The implicit MoC?s of these relevant tools are discerned. An ideal unified MoC is considered vis à vis an integrated hybrid MoC as the foundation for specification and design frameworks as applied to the COTS MP codesign domain.

Related URL: Randall Janka's Home Page