توضیحات
An essential introduction to the analysis and verification of control system software
The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.
Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.
As the autonomy of critical systems continues to increaseas evidenced by autonomous cars, drones, and satellites and landersthe numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
————————————————————–
ترجمه ماشینی :
یک مقدمه ضروری برای تجزیه و تحلیل و تأیید نرم افزار سیستم کنترل
تأیید نرم افزار سیستم کنترل برای بسیاری از فناوری ها و صنایع، از هوانوردی و فناوری پزشکی، حیاتی است. به ماشین هایی که سوار می شویم شکست نرم افزار کنترلر می تواند به قیمت جان افراد تمام شود. در این کتاب معتبر و قابل دسترس، Pierre-Loc Garoche مقدمه ای ضروری برای مهندسین کنترل و دانشمندان کامپیوتر را با تکنیک های رسمی برای تجزیه و تحلیل و تأیید این دسته مهم از نرم افزارها ارائه می دهد.
خیلی اوقات، مهندسان کنترل از این موضوع بی اطلاع هستند. مسائل مربوط به تایید نرم افزار، در حالی که دانشمندان کامپیوتر تمایل دارند با ویژگی های نرم افزار کنترل کننده ناآشنا باشند. Garoche یک رویکرد واحد را ارائه می دهد که برای دانشجویان فارغ التحصیل در هر دو زمینه طراحی شده است و روش های تأیید رسمی و همچنین طراحی و تأیید کنترل کننده ها را پوشش می دهد. او تعداد زیادی از تکنیک های تأیید جدید را برای انجام تجزیه و تحلیل جامع نرم افزار کنترل کننده ارائه می دهد. اینها شامل ابزارهای جدید برای محاسبه ثابتهای غیرخطی، استفاده از ابزارهای بهینهسازی محدب و روشهایی برای مقابله با ابهامات عددی مانند محاسبات ممیز شناور است که در نرمافزار تحلیلشده رخ میدهد.
از آنجایی که استقلال سیستمهای حیاتی همچنان افزایش مییابد. که توسط اتومبیل های خودران، هواپیماهای بدون سرنشین و ماهواره ها و فرودگرها نشان داده شده است، توابع عددی در این سیستم ها روز به روز پیشرفته تر می شوند. تکنیکهای ارائهشده در اینجا برای پشتیبانی از تحلیل رسمی نرمافزار کنترلکنندهای که در این فناوریهای جدید و نوظهور استفاده میشود، ضروری هستند.
tag : دانلود کتاب تایید رسمی نرم افزار سیستم کنترل , Download تایید رسمی نرم افزار سیستم کنترل , دانلود تایید رسمی نرم افزار سیستم کنترل , Download Formal Verification of Control System Software Book , تایید رسمی نرم افزار سیستم کنترل دانلود , buy تایید رسمی نرم افزار سیستم کنترل , خرید کتاب تایید رسمی نرم افزار سیستم کنترل , دانلود کتاب Formal Verification of Control System Software , کتاب Formal Verification of Control System Software , دانلود Formal Verification of Control System Software , خرید Formal Verification of Control System Software , خرید کتاب Formal Verification of Control System Software ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.