Abstract
We have considered the shortcomings of specification and design methodology in our ADoI using COTS MP technologies in 0 and 1. We have considered the MoCs that should underlie a SDM in our ADoI (3). Inspired by the SER SDM and how our design objects parallel those in the SER SDM domain (2), we developed the rules and tools of a new specification and design methodology, the MAGIC SDM (2). We have validated the MAGIC SDM and demonstrated its efficacy with a real-world benchmark (2). In so doing we also demonstrated that the MAGIC SDM was clearly superior to both VHDL virtual prototyping and the deployable CASE SDMs that must commit to an implementation technology before performing design analysis (§7.1, §7.10).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Janka, R.S. (2002). MAGIC Quantification and Summary. In: Specification and Design Methodology for Real-Time Embedded Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0837-3_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-0837-3_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5263-1
Online ISBN: 978-1-4615-0837-3
eBook Packages: Springer Book Archive