دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Jean-Louis Boulanger
سری: Computer Engineering (Wiley)
ISBN (شابک) : 9781848217096, 1848217099
ناشر: Wiley-ISTE
سال نشر: 2014
تعداد صفحات: 512
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی به کار رفته در سیستم های مجتمع صنعتی: پیاده سازی روش B نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب نمونههای واقعی از تکنیکهای رسمی را در زمینه صنعتی ارائه میکند. این روشهای رسمی مانند SCADE و/یا روش B را در زمینههای مختلف مانند راهآهن، هوانوردی و صنعت خودرو پوشش میدهد. هدف این کتاب ارائه خلاصهای از تجربیات استفاده از «روشهای رسمی» (بر اساس تکنیکهای رسمی مانند اثبات، تفسیر انتزاعی و بررسی مدل) در نمونههای صنعتی از سیستمهای پیچیده، بر اساس تجربیات افراد فعلی است. در ایجاد و ارزیابی نرم افزار سیستم حیاتی ایمنی نقش دارد. مشارکت افراد در صنعت به نویسندگان اجازه می دهد تا از مشکلات محرمانه معمولی که ممکن است ایجاد شود اجتناب کنند و بنابراین آنها را قادر می سازد اطلاعات مفید جدیدی (عکس ها، نقشه های معماری، نمونه های واقعی و غیره) ارائه کنند.
نویسندگان موضوعات زیر را پوشش می دهند: نمونه ای از استفاده از SCADE، حل محدودیت در B، اعتبار سنجی ایمنی راه آهن خودکار مبتنی بر شبکه پتری، اعتبارسنجی داده ها، و غیره.
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.