Specification and Design Methodology for Real-Time Embedded Systems

By:

Janka, Randall S

Material type: Text

TextPublication details: Boston Kluwer Academic Publishers 2002Description: 221pISBN:

9780792376262

Subject(s):

Computer Engineering

DDC classification:

005.256 JAN

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	7th Floor Silence Zone	Reference	005.256 JAN (Browse shelf(Opens below))	Not For Loan		T0030245

Total holds: 0

Browsing Institute of Technology shelves, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.133028563 BRA Prolog: Programming for Artificial Intelligence	005.14 PER Applied Formal Verification	005.14 ZEL Why Programs Fail: A Guide to Systematic Debugging	005.256 JAN Specification and Design Methodology for Real-Time Embedded Systems	005.26 BRE The Intel Microprocessors: 8086, 8088, 80186, 80188, 80286, 80386, 80486, Pentium, Pentium Pro Processor, Pentium 2, Pentium 3 and Pentium 4: Architecture, Programming and Interfacing	005.26 HAL Microprocessors and Interfacing: Programming and Hardware	005.26 LEU Code Optimization Techniques for Embedded Processors: Methods, Algorithms, and Tools	Next

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

There are no comments on this title.

to post a comment.