{"product_id":"high-level-system-modeling-specification-and-design-methodologies-9781461285618","title":"High-Level System Modeling: Specification and Design Methodologies","description":"\u003cp\u003e • Author(s): Ronald Waxman\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - Systems Analysis \u0026amp; Desi\u003c\/p\u003e\u003cp\u003eIn system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally  test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. This book addresses Model Generation and Application specifically in the following domains: \u003c\/p\u003e\u003cul\u003e \u003cli\u003eSpecification modeling (linking object\/data modeling, behavior modeling, and activity modeling). \u003c\/li\u003e \u003cli\u003eOperational specification modeling (modeling the way the system is supposed to operate - from a user's viewpoint). \u003c\/li\u003e \u003cli\u003eLinking non-functional parameters with specification models. \u003c\/li\u003e \u003cli\u003eHybrid modeling (linking performance and functional elements). \u003c\/li\u003e \u003cli\u003eApplication of high-level modeling to hardware\/software approaches. \u003c\/li\u003e \u003cli\u003eMathematical analysis techniques related to the modeling approaches. \u003c\/li\u003e \u003cli\u003eReliability modeling. \u003c\/li\u003e \u003cli\u003eApplications of High Level Modeling. \u003c\/li\u003e \u003cli\u003eReducing High Level Modeling to Practice.\u003c\/li\u003e \u003c\/ul\u003e \u003cem\u003eHigh-Level System Modeling: Specification and Design\u003c\/em\u003e \u003cem\u003eMethodologies\u003c\/em\u003e describes the latest research and practice in the modeling of electronic systems and as such is an important update for all researchers, design engineers and technical managers working in design automation and circuit design.","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281252180119,"sku":"9781461285618","price":10915.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781461285618.webp?v=1769298689","url":"https:\/\/atlanticbooks.com\/products\/high-level-system-modeling-specification-and-design-methodologies-9781461285618","provider":"Atlantic Books","version":"1.0","type":"link"}