توضیحات
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. 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 these formal methods (such as proof and model-checking) in industrial examples of complex systems.
It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
————————————————————–
ترجمه ماشینی :
ارائه نمونههای واقعی کاربردهای صنعتی برای روشهای رسمی مانند SCADE، B-Method، ControlBuild، Matelo و غیره در زمینههای مختلف مانند راهآهن، هوانوردی و صنعت خودروسازی، هدف این کتاب ارائه خلاصه ای از تجربیات استفاده از این روش های رسمی (مانند اثبات و بررسی مدل) در نمونه های صنعتی سیستم های پیچیده.
این بر اساس تجربه افرادی است که در حال حاضر در ایجاد و ارزیابی ایمنی حیاتی نقش دارند. سیستم نرم افزار. مشارکت افراد از داخل صنعت به ما این امکان را می دهد که از مشکلات معمول محرمانگی که ممکن است ایجاد شود اجتناب کنیم و بنابراین ما را قادر می سازد اطلاعات مفید جدیدی (عکس ها، نقشه های معماری، نمونه های واقعی و غیره) ارائه کنیم.
tag : دانلود کتاب روش های رسمی به کار رفته در سیستم های مجتمع صنعتی , Download روش های رسمی به کار رفته در سیستم های مجتمع صنعتی , دانلود روش های رسمی به کار رفته در سیستم های مجتمع صنعتی , Download Formal Methods Applied to Industrial Complex Systems Book , روش های رسمی به کار رفته در سیستم های مجتمع صنعتی دانلود , buy روش های رسمی به کار رفته در سیستم های مجتمع صنعتی , خرید کتاب روش های رسمی به کار رفته در سیستم های مجتمع صنعتی , دانلود کتاب Formal Methods Applied to Industrial Complex Systems , کتاب Formal Methods Applied to Industrial Complex Systems , دانلود Formal Methods Applied to Industrial Complex Systems , خرید Formal Methods Applied to Industrial Complex Systems , خرید کتاب Formal Methods Applied to Industrial Complex Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.