توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب با تعریف یک متدولوژی چرخه عمر توسعه جدید، همراه با مجموعهای از تکنیکها و ابزارهای مرتبط برای توسعه سیستمهای بسیار حیاتی با استفاده از تکنیکهای رسمی، رویکرد ارزیابی ایمنی دقیقی را اتخاذ میکند که از طریق چندین لایه (از تجزیه و تحلیل نیازها تا تولید کد منبع خودکار).
این مورد از طریق یک مطالعه موردی استاندارد ارزیابی و ارزیابی میشود: ضربانساز قلبی. علاوه بر این، از رسمیسازی الکتروکاردیوگرام (ECG) برای شناسایی ناهنجاریها به منظور بهبود پروتکلهای پزشکی موجود استفاده میشود. این اجازه می دهد تا موضوع کلیدی – که روش های رسمی در حال حاضر در فرآیندهای توسعه سیستم های حیاتی تثبیت شده ادغام نشده اند – به روشی بسیار موثر و آموزنده مورد بحث قرار گیرد.
استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی به عنوان یک منبع ارزشمند برای محققان و دانشجویان روش های رسمی عمل می کند. ارزیابی توسعه سیستمهای حیاتی برای همه صنایع قابل اجرا است، اما مهندسان و پزشکان حوزه سلامت، مطالعه موردی ضربانساز قلب را ارزشمند خواهند یافت.
tag : دانلود کتاب استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی , Download استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی , دانلود استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی , Download Using Event-B for Critical Device Software Systems Book , استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی دانلود , buy استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی , خرید کتاب استفاده از Event-B برای سیستم های نرم افزاری دستگاه های حیاتی , دانلود کتاب Using Event-B for Critical Device Software Systems , کتاب Using Event-B for Critical Device Software Systems , دانلود Using Event-B for Critical Device Software Systems , خرید Using Event-B for Critical Device Software Systems , خرید کتاب Using Event-B for Critical Device Software Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.