توضیحات
Cover — Title Page — Copyright Page — Table of Contents — Introduction — Chapter 1. Formal Techniques for Verification and Validation — 1.1. Introduction — 1.2. Realization of a software application — 1.3. Characteristics of a software application — 1.4. Realization cycle — 1.4.1. Cycle in V and other realization cycles — 1.4.2. Quality control (the impact of ISO standard 9001) — 1.4.3. Verification and validation — 1.5. Techniques, methods and practices — 1.5.1. Static verification — 1.5.2. Dynamic verification — 1.5.3. Validation — 1.6. New issues with verification and validation — 1.7. Conclusion — 1.8. Bibliography — Chapter 2. Airbus: Formal Verification in Avionics — 2.1. Industrial context — 2.1.1. Avionic systems — 2.1.2. A few examples — 2.1.3. Regulatory framework — 2.1.4. Avionic functions — 2.1.5. Development of avionics levels — 2.2. Two methods for formal verification — 2.2.1. General principle of program proof — 2.2.2. Static analysis by abstract interpretation — 2.2.3. Program proof by calculation of the weakest precondition — 2.3. Four formal verification tools — 2.3.1. Caveat — 2.3.2. Proof of the absence of run-time errors: Astre — 2.3.3. Stability and numerical precision: Fluctuat — 2.3.4. Calculation of the worst case execution time: aiT (AbsInt GmbH) — 2.4. Examples of industrial use — 2.4.1. Unitary proof (verification of low level requirements) — 2.4.2. The calculation of worst case execution time — 2.4.3. Proof of the absence of run-time errors — 2.5. Bibliography — Chapter 3. Polyspace — 3.1. Overview — 3.2. Introduction to software quality and verification procedures — 3.3. Static analysis — 3.4. Dynamic tests — 3.5. Abstract interpretation — 3.6. Code verification — 3.7. Robustness verification or contextual verification — 3.7.1. Robustness verifications.;The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ‘abstract interpretation’ currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).
————————————————————–
ترجمه ماشینی :
جلد — صفحه عنوان — صفحه حق چاپ — فهرست مطالب — مقدمه — فصل 1. تکنیک های رسمی برای تأیید و اعتبار — 1.1. مقدمه — 1.2. تحقق یک برنامه نرم افزاری — 1.3. ویژگی های یک برنامه نرم افزاری — 1.4. چرخه تحقق — 1.4.1. چرخه در V و سایر چرخه های تحقق — 1.4.2. کنترل کیفیت (تأثیر استاندارد ISO 9001) — 1.4.3. تایید و اعتبار — 1.5. تکنیک ها، روش ها و شیوه ها — 1.5.1. تأیید استاتیک — 1.5.2. تأیید پویا — 1.5.3. اعتبارسنجی — 1.6. مسائل جدید با تأیید و اعتبار – 1.7. نتیجه گیری — 1.8. کتابشناسی — فصل 2. ایرباس: تأیید رسمی در اویونیک — 2.1. زمینه صنعتی — 2.1.1. سیستم های اویونیک — 2.1.2. چند مثال — 2.1.3. چارچوب نظارتی — 2.1.4. توابع اویونیک — 2.1.5. توسعه سطوح اویونیک — 2.2. دو روش برای تأیید رسمی — 2.2.1. اصل کلی اثبات برنامه — 2.2.2. تجزیه و تحلیل استاتیک با تفسیر انتزاعی — 2.2.3. اثبات برنامه با محاسبه ضعیف ترین پیش شرط — 2.3. چهار ابزار تأیید رسمی — 2.3.1. هشدار — 2.3.2. اثبات عدم وجود خطاهای زمان اجرا: Astre — 2.3.3. ثبات و دقت عددی: Fluctuat — 2.3.4. محاسبه زمان اجرای بدترین حالت: aiT (AbsInt GmbH) — 2.4. نمونه هایی از مصارف صنعتی — 2.4.1. اثبات واحد (تأیید الزامات سطح پایین) — 2.4.2. محاسبه زمان اجرای بدترین حالت — 2.4.3. اثبات عدم وجود خطاهای زمان اجرا — 2.5. کتابشناسی — فصل 3. پلی اسپیس — 3.1. نمای کلی — 3.2. مقدمه ای بر کیفیت نرم افزار و رویه های تأیید — 3.3. تجزیه و تحلیل استاتیک — 3.4. تست های دینامیک — 3.5. تفسیر انتزاعی — 3.6. تأیید کد — 3.7. تأیید استحکام یا تأیید متنی — 3.7.1. راستیآزماییهای استحکام. ادبیات موجود در حال حاضر در دسترس دانشجویان و محققان بسیار کلی است و فقط تکنیکهای رسمی تحلیل استاتیک را پوشش میدهد. این کتاب نمونههای واقعی از تکنیکهای رسمی به نام «تفسیر انتزاعی» را ارائه میکند که در حال حاضر در زمینههای مختلف صنعتی از جمله راهآهن، هوانوردی، فضا، خودروسازی و غیره استفاده میشود. هدف این کتاب ارائه دانشآموزان و محققان در یک کتاب واحد است. انبوهی از تجربیات افرادی که ذاتاً در تحقق و ارزیابی سیستم های حیاتی ایمنی مبتنی بر نرم افزار دخیل هستند. از آنجایی که نویسندگان آن افرادی هستند که در حال حاضر در صنعت کار می کنند، مشکلات مع
tag : دانلود کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی , Download تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی , دانلود تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی , Download Static Analysis of Software: the Abstract Interpretation Book , تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی دانلود , buy تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی , خرید کتاب تجزیه و تحلیل استاتیک نرم افزار: تفسیر انتزاعی , دانلود کتاب Static Analysis of Software: the Abstract Interpretation , کتاب Static Analysis of Software: the Abstract Interpretation , دانلود Static Analysis of Software: the Abstract Interpretation , خرید Static Analysis of Software: the Abstract Interpretation , خرید کتاب Static Analysis of Software: the Abstract Interpretation ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.