دانلود کتاب Embedded Software Development for Safety-Critical Systems, Second Edition
کتاب توسعه نرم افزار تعبیه شده برای سیستم های ایمنی- بحرانی، ویرایش دوم نسخه زبان اصلی
دانلود کتاب توسعه نرم افزار تعبیه شده برای سیستم های ایمنی- بحرانی، ویرایش دوم بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Embedded Software Development for Safety-Critical Systems, Second Edition
نام کتاب : Embedded Software Development for Safety-Critical Systems, Second Edition
ویرایش : 2
عنوان ترجمه شده به فارسی : توسعه نرم افزار تعبیه شده برای سیستم های ایمنی- بحرانی، ویرایش دوم
سری :
نویسندگان : Chris Hobbs (Author)
ناشر : CRC Press
سال نشر : 2019
تعداد صفحات : 385
ISBN (شابک) : 9780367338855 , 9781000502398
زبان کتاب :
فرمت کتاب : pdf
حجم کتاب : 12 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Part 1: Background. 1. Introduction. 2. Terminology of Safety. 3. Safety Standards and Certification. 4. Representative Companies. Part 2: The Project. 5. Foundational Analyses. 6. Certified and Uncertified Components. Part 3: Design Patterns. 7. Architectural Balancing. 8. Error Detection and Handling. 9. Expecting the Unexpected. 10 Replication and Diversification. Part 4: Design Validation. 11. Markov Models. 12. The Fault Tree. 13. Software Failure Rates. 14. Semi-Formal Design Verification. 15. Formal Design Verification. Part 5: Coding. 16. Coding Guidelines. 17. Code Coverage Metrics. 18. Static Analysis. Part 6: Verification. 19. Integration Testing. 20. The Tool Chain. 21. Conclusion. Part 7: Appendices. A. Goal Structuring Notation. B. Bayesian Belief Networks. C .Calculating (2+3)+4. D. Notations.
پست ها تصادفی