دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Embedded Software Development for Safety-Critical Systems, Second Edition
دانلود کتاب توسعه نرم افزار جاسازی شده برای سیستم های ایمنی- بحرانی، ویرایش دوم
مشخصات کتاب
Embedded Software Development for Safety-Critical Systems, Second Edition
ویرایش: 2
نویسندگان: Chris Hobbs (Author)
سری:
ISBN (شابک) : 9780367338855, 9781000502398
ناشر: CRC Press
سال نشر: 2019
تعداد صفحات: 385
زبان:
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 76,000
در صورت تبدیل فایل کتاب Embedded Software Development for Safety-Critical Systems, Second Edition به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب توسعه نرم افزار جاسازی شده برای سیستم های ایمنی- بحرانی، ویرایش دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب توسعه نرم افزار جاسازی شده برای سیستم های ایمنی- بحرانی، ویرایش دوم
این کتاب در مورد توسعه نرم افزارهای قابل اعتماد و تعبیه شده است. این برای طراحان، پیادهسازان و تأییدکنندگان سیستمهایی است که در توسعه نرمافزار تعبیهشده عمومی با تجربه هستند، اما اکنون با چشمانداز ارائه یک سیستم مبتنی بر نرمافزار برای یک برنامه کاربردی حیاتی مواجه هستند. هدف آن کسانی است که محصولی ایجاد می کنند که باید یک یا چند استاندارد بین المللی مربوط به کاربردهای حیاتی ایمنی، از جمله IEC 61508، ISO 26262، EN 50128، EN 50657، IEC 62304 یا استانداردهای مرتبط را برآورده کند. در مورد اولین نسخه، استفان توماس، PE، موسس و ویراستار FunctionalSafetyEngineer.com گفت: \"من کتاب آقای هابز را به شدت توصیه می کنم.\"
توضیحاتی درمورد کتاب به خارجی
This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards. Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, \"I highly recommend Mr. Hobbs\' book.\"
فهرست مطالب
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.
