High-Level System Modeling: Specification and Design Methodologies

ویرایش: [1 ed.] 
نویسندگان: Jean-Paul Calvez (auth.),  Ronald Waxman,  Jean-Michel Bergé,  Oz Levia,  Jacques Rouillard (eds.)  
سری: Series Presentation 4 
ISBN (شابک) : 9781461285618, 9781461313090 
ناشر: Springer US 
سال نشر: 1996 
تعداد صفحات: 192
[205] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 Mb 

قیمت کتاب (تومان) : 55,000



در طراحی سیستم، تولید مدل‌های انتزاعی سطح بالا که می‌تواند ارتباط نزدیکی با مدل‌های سطح پایین‌تر در حال تکامل داشته باشد، به طراحان این امکان را می‌دهد که به‌طور تدریجی یک طرح در حال تکامل را در برابر یک مدل از مشخصات آزمایش کنند. چنین مدل های سطح بالا ممکن است با حوزه هایی مانند عملکرد، قابلیت اطمینان، در دسترس بودن، قابلیت نگهداری و ایمنی سیستم سروکار داشته باشند. مدل‌های انتزاعی همچنین امکان کاوش فضای طراحی سخت‌افزار در مقابل نرم‌افزار را به صورت تدریجی می‌دهند، زیرا یک طرح کامل‌تر و دقیق‌تر آشکار می‌شود و عمل قدیمی اتصال سخت‌افزار-نرم‌افزار را در مراحل اولیه طراحی پشت سر می‌گذارد. چنین مدل‌هایی ممکن است امکان گنجاندن جنبه‌های غیرعملکردی طراحی (مانند فضا، نیرو، گرما) را در یک مدل اطلاعاتی شبیه‌سازی‌شده با عملکرد سیستم فراهم کنند. این کتاب به طور خاص به تولید و کاربرد مدل در حوزه‌های زیر می‌پردازد:

• مدل‌سازی مشخصات (مدل‌سازی شی/داده پیوند، مدل‌سازی رفتار، و مدل‌سازی فعالیت).
• مدل‌سازی مشخصات عملیاتی (مدل‌سازی روشی که قرار است سیستم عمل کند - از دیدگاه کاربر).
• پیوند دادن پارامترهای غیرعملکردی با مدل های مشخصات.
• مدلسازی ترکیبی (پیوند دادن عملکرد و عناصر عملکردی).
• کاربرد مدل سازی سطح بالا در رویکردهای سخت افزاری/نرم افزاری.
• تکنیک های تحلیل ریاضی مربوط به رویکردهای مدل سازی.
• مدل سازی قابلیت اطمینان.
• کاربردهای مدل سازی سطح بالا.
• کاهش مدل‌سازی سطح بالا به تمرین.

مدل‌سازی سیستم سطح بالا: مشخصات و طراحیروش‌ها آخرین تحقیقات را تشریح می‌کند. و تمرین در مدل سازی سیستم های الکترونیکی و به همین ترتیب یک به روز رسانی مهم برای همه محققان، مهندسان طراح و مدیران فنی است که در اتوماسیون طراحی و طراحی مدار کار می کنند.

In 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:

• Specification modeling (linking object/data modeling, behavior modeling, and activity modeling).
• Operational specification modeling (modeling the way the system is supposed to operate - from a user's viewpoint).
• Linking non-functional parameters with specification models.
• Hybrid modeling (linking performance and functional elements).
• Application of high-level modeling to hardware/software approaches.
• Mathematical analysis techniques related to the modeling approaches.
• Reliability modeling.
• Applications of High Level Modeling.
• Reducing High Level Modeling to Practice.

High-Level System Modeling: Specification and DesignMethodologies 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.