مشخصات کتاب

Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

ویرایش:  
نویسندگان: Nakajima. Shin., Talpin. Jean-Pierre., Toyoshima. Masumi., Yu. Huafeng  
سری:  
ISBN (شابک) : 9789811044359, 9811044368 
ناشر: Springer Singapore : Imprint : Springer 
سال نشر: 2017 
تعداد صفحات: 168 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

کلمات کلیدی مربوط به کتاب طراحی سیستم فیزیکی-سایبری از دیدگاه تحلیل معماری: ارتباطات جلسات NII Shonan: اشیاء همکاری (سیستم های کامپیوتری)، مهندسی سیستم ها، کتاب های الکترونیکی

در صورت تبدیل فایل کتاب Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب طراحی سیستم فیزیکی-سایبری از دیدگاه تحلیل معماری: ارتباطات جلسات NII Shonan نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب طراحی سیستم فیزیکی-سایبری از دیدگاه تحلیل معماری: ارتباطات جلسات NII Shonan

1 نمونه‌سازی مجازی سیستم‌های جاسازی شده: معاوضه‌های سرعت و دقت - 2 طراحی مبتنی بر مدل و اعتبارسنجی خودکار معماری‌های ARINC653 با استفاده از AADL - 3 معنای رسمی مشخصات رفتار در تجزیه و تحلیل معماری و استاندارد زبان طراحی - PS و MARTE برای C CPSoS -- 5 بررسی و آزمایش مدل ترکیبی ایجاد اعتماد -- موردی در مورد سیستم عامل خودروهای تجاری -- 6 روش رسمی برای سیستم های هوافضا. ارائه طیف گسترده ای از فناوری ها برای اطمینان از ایمنی و قابلیت اطمینان سیستم های فیزیکی-سایبری (CPS) ، این کتاب مقدمه ای جامع برای مدل سازی، تجزیه و تحلیل و تأیید CPS معماری محور ارائه می دهد. به طور خاص، روی روش‌های مهندسی مبتنی بر مدل از جمله زبان‌های توصیف معماری، نمونه‌سازی مجازی و روش‌های تحلیل رسمی تمرکز دارد. CPS بر اساس یک پارادایم طراحی جدید است که برای فعال کردن سیستم‌های نرم‌افزاری نوظهور در نظر گرفته شده است. رایانه‌ها و شبکه‌های جاسازی‌شده، معمولاً با کمک حلقه‌های بازخوردی که در آن فرآیندهای فیزیکی محاسبات را تحت تأثیر قرار می‌دهند، فرآیندهای فیزیکی را نظارت و کنترل می‌کنند. چالش های اصلی در طراحی سیستم در این تعامل دائمی نرم افزار، سخت افزار و فیزیک نهفته است. توسعه CPS قابل اعتماد به یک موضوع حیاتی برای صنعت و جامعه تبدیل شده است، زیرا بسیاری از کاربردها مانند حمل و نقل، توزیع برق، تجهیزات پزشکی و پزشکی از راه دور به CPS وابسته هستند. الزامات ایمنی و امنیتی باید با استفاده از ابزارهای اعتبارسنجی قدرتمند تضمین شود. ارضای چنین الزاماتی، از جمله کیفیت خدمات، مستلزم اثبات رسمی خصوصیات مورد نیاز سیستم قبل از استقرار آن است. این کتاب به زبان‌های مدل‌سازی استاندارد بین‌المللی مانند AADL، SysML و MARTE می‌پردازد. همانطور که اثربخشی فن آوری ها با نمونه های صنعتی از بخش های خودرو و هوافضا نشان داده می شود، پیوند بین روش های ارائه شده و مشکلات صنعتی به وضوح قابل درک است. هر فصل مستقل است و به مشکلات علمی یا مهندسی خاصی می پردازد و مسائل بعدی را شناسایی می کند. در پایان، شامل دیدگاه هایی در مورد جهت های آینده در طراحی CPS از دیدگاه تحلیل معماری است.

توضیحاتی درمورد کتاب به خارجی

1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence -- A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems.;Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.

فهرست مطالب

Front Matter....Pages i-xiv
Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs....Pages 1-31
Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL....Pages 33-52
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard....Pages 53-79
MARTE for CPS and CPSoS....Pages 81-108
Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating System....Pages 109-132
Formal Methods for Aerospace Systems....Pages 133-159

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Doctor Who: the unfolding event - marketing, merchandising and mediatizing a brand anniversary

دانلود کتاب Necessity in international law

دانلود کتاب R&D and innovation needs for decommissioning nuclear facilities

دانلود کتاب Neue Wege bei der Herstellung von Vergasertreibstoffen

دانلود کتاب Crisis and the US avant-garde: poetry and real politics