+612 9045 4394
Specification and Design Methodology for Real-Time Embedded Systems - Randall S. Janka

Specification and Design Methodology for Real-Time Embedded Systems

Hardcover Published: 30th November 2001
ISBN: 9780792376262
Number Of Pages: 221

Share This Book:


RRP $571.99
or 4 easy payments of $99.06 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 5th November 2012

The process of designing large real-time embedded signal processing systems is plagued by a lack of coherent specification and design methodology. A canonical waterfall design process is commonly used to specify, design, and implement these systems with commercial-off-the-shelf (COTS) multiprocessing (MP) hardware and software. Powerful frameworks exist for each individual phase of this canonical design process, but no single methodology exists which enables these frameworks to work together coherently, i.e., allowing the output of a framework used in one phase to be consumed by a different framework used in the next phase.
This lack of coherence usually leads to design errors that are not caught until well in to the implementation phase. Since the cost of redesign increases as the design moves through these three stages, redesign is the most expensive if not performed until the implementation phase, thus making the current incoherent methodology costly. Specification and Design Methodology for Real-Time Embedded Systems shows how designs targeting COTS MP technologies can be improved by providing a coherent coupling between these frameworks, a quality known as "model continuity.
This book presents a new specification and design methodology (SDM) which accomplishes the requirements specification, design exploration, and implementation of COTS MP-based signal processing systems by using powerful commercial frameworks that are intelligently integrated into a single domain-specific SDM.
From the foreword: "This book is remarkably practical. It provides an excellent snapshot of the state-of-the-art and gives the reader a good understanding of both the fundamental challenges of specification and design as well as a unified and quantified ability to assess a given methodology". Daniel Gajski, University of California

List of Figuresp. XI
List of Tablesp. XV
List of Acronymsp. XIX
Forewordp. XXIII
Prefacep. XXV
Acknowledgementsp. XXIX
Introductionp. 1
The Basic Problemp. 1
A Solution to the Problemp. 4
Contributionsp. 5
Organizationp. 8
Convergence of Research Threadsp. 9
Problem Backgroundp. 11
Backgroundp. 11
The Domain-Specific Problemp. 29
A Domain-Specific Solutionp. 30
System Requirements and Intrinsic SDM Assessmentp. 33
System Requirements Specification Domainsp. 33
Domain-Relevant Models of Computationp. 34
Best MOCs for Domain-Specific Specification Axesp. 38
Implicit Framework MOCsp. 41
Comparing the Monolithic Frameworksp. 43
Quantified Extrinsic SDM Assessmentp. 45
A Unified Specification-Modeling Methodology Evaluation Frameworkp. 45
Quantification of Sarkar Basisp. 51
Using Quantified Basis to Characterize CASE SDM Frameworksp. 68
Conclusionp. 77
Extending Gajski's SER Methodologyp. 79
Backgroundp. 79
Parallels Between Gajski's SER and Our ADoIp. 80
Extending Gajski's SER to Our ADoIp. 84
The Magic Specification and Design Methodologyp. 87
Overview of the MAGIC Methodologyp. 87
Establishing Model Continuityp. 89
"Rules"--The Steps of the Magic SDMp. 92
"Tools"--The Frameworks Integrated into the Magic SDMp. 94
Model Continuity via Middlewarep. 98
Case Study: Validating the Magic SDM Using a SAR Processor Applicationp. 109
RASSP SAR Benchmark Overviewp. 110
Tabulate Requirementsp. 114
Capture Non-Constraint Requirements in an Executable Modelp. 116
Build Executable Workbook with Requirementsp. 123
Gather Benchmarks for Tokensp. 124
Explore Alternative Architectures and Technologiesp. 125
Make Design Decisionsp. 138
Create Implementation Specificationp. 140
Difficulties Encountered and Overcomep. 140
Conclusionp. 144
Magic Quantification and Summaryp. 147
Model Continuity in the MAGIC SDMp. 147
Sarkar Quantification of MAGIC SDMp. 152
Summaryp. 161
Conclusion: Directions for Further Research and Applying MAGIC to SOC Domainp. 163
Applied and Basic Researchp. 163
Applying MAGIC Concepts to the SoC Domainp. 165
Virtual Component Codesign (VCC)p. 168
Codesign vis a vis Coverificationp. 170
Concluding Commentsp. 172
Details of VSIPL and MPI Middlewarep. 173
VSIPL: Computation Middlewarep. 173
MPI: Communications Middlewarep. 180
Details of Case Studyp. 185
Simulink Detailsp. 185
VSIPL Code Generation Subtletiesp. 189
eArchitect Detailsp. 189
Referencesp. 203
Indexp. 217
Table of Contents provided by Syndetics. All Rights Reserved.

ISBN: 9780792376262
ISBN-10: 0792376269
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 221
Published: 30th November 2001
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 1.27
Weight (kg): 1.2