TY  - BOOK
AU  - Janka, Randall S.
TI  - Specification and Design Methodology for Real-Time Embedded Systems
SN  - 9780792376262
U1  - 005.256 
PY  - 2002///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Computer Engineering
N1  - Introduction Problem Background System Requirements and Intrinsic SDM Assessment Quantified Extrinsic SDM Assessment Extending Gajski's SER Methodology The Magic Specification and Design Methodology Case Study: Validating the Magic SDM Using a SAR Processor Application Magic Quantification and Summary Conclusion: Directions for Further Research and Applying MAGIC to SOC Domain Details of VSIPL and MPI Middleware Details of Case Study References Index
ER  -