MATLAB & Simulink Based Books

Specification and Design Methodology for Real-Time Embedded Systems

		Randall S. Janka   Springer,  2002 Tel: 212-460-1500 Fax: 212-460-1575 Email: service-ny@springer-sbm.com ISBN: 0-7923-7626-9 Language: English

Written for researchers and practicing engineers, this book presents a new specification and design methodology which addresses the requirements of specification, design exploration, and implementation of multiprocessing-based signal processing systems.  Topics covered include system requirements; intrinsic and extrinsic specification and design methodology (SDM); methodology applying generation, integration, and continuity (MAGIC); VSIPL and MPI middleware.  The book briefly introduces MATLAB, Spreadsheet Link EX (for Microsoft Excel), Stateflow, DSP System Toolbox, and Simulink Coder.  Simulink is used to validate the MAGIC SDM in a case study chapter.