دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Using Event-B for Critical Device Software Systems
دانلود کتاب استفاده از Event-B برای سیستم های نرم افزاری دستگاه حیاتی
مشخصات کتاب
Using Event-B for Critical Device Software Systems
ویرایش: 1
نویسندگان: Neeraj Kumar Singh (auth.)
سری:
ISBN (شابک) : 9781447152590, 9781447152606
ناشر: Springer-Verlag London
سال نشر: 2013
تعداد صفحات: 334
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب استفاده از Event-B برای سیستم های نرم افزاری دستگاه حیاتی: منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، انفورماتیک سلامت، شبیه سازی و مدل سازی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Using Event-B for Critical Device Software Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از Event-B برای سیستم های نرم افزاری دستگاه حیاتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده از Event-B برای سیستم های نرم افزاری دستگاه حیاتی
این کتاب با تعریف یک متدولوژی چرخه عمر توسعه جدید، همراه با مجموعه‌ای از تکنیک‌ها و ابزارهای مرتبط برای توسعه سیستم‌های بسیار حیاتی با استفاده از تکنیک‌های رسمی، رویکرد ارزیابی ایمنی دقیقی را اتخاذ می‌کند که از طریق چندین لایه (از تجزیه و تحلیل نیازها تا تولید کد منبع خودکار).
این مورد از طریق یک مطالعه موردی استاندارد ارزیابی و ارزیابی می‌شود: ضربان‌ساز قلبی. علاوه بر این، از رسمی‌سازی الکتروکاردیوگرام (ECG) برای شناسایی ناهنجاری‌ها به منظور بهبود پروتکل‌های پزشکی موجود استفاده می‌شود. این اجازه می دهد تا موضوع کلیدی - که روش های رسمی در حال حاضر در فرآیندهای توسعه سیستم های حیاتی تثبیت شده ادغام نشده اند - به روشی بسیار موثر و آموزنده مورد بحث قرار گیرد.
استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی به عنوان یک منبع ارزشمند برای محققان و دانشجویان روش های رسمی عمل می کند. ارزیابی توسعه سیستم‌های حیاتی برای همه صنایع قابل اجرا است، اما مهندسان و پزشکان حوزه سلامت، مطالعه موردی ضربان‌ساز قلب را ارزشمند خواهند یافت.
توضیحاتی درمورد کتاب به خارجی
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).
This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way.
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.
فهرست مطالب
Front Matter....Pages I-XVIII
Introduction....Pages 1-8
Background....Pages 9-45
The Modelling Framework: Event-B....Pages 47-60
Critical System Development Methodology....Pages 61-77
Real-Time Animator and Requirements Traceability....Pages 79-95
Refinement Chart....Pages 97-104
EB2ALL: An Automatic Code Generation Tool....Pages 105-141
Formal Logic Based Heart-Model....Pages 143-175
The Cardiac Pacemaker....Pages 177-242
Formalisation of Electrocardiogram (ECG)....Pages 243-301
Conclusion....Pages 303-309
Back Matter....Pages 311-326
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Learning Annex Presents Making Money in Real Estate: A Smarter Approach to Real Estate Investing
دانلود کتاب MiG Alley: The US Air Force in Korea, 1950–53
دانلود کتاب Relativistic quantum theory, part 2
