Ebook Embedded Software Development Cho Các Hệ Thống Safety-Critical [Ấn Bản Lần 3, Tháng 9/2025] [PDF, EPUB] [9256E]
Các thiết bị safety-critical, dù là y tế, đường sắt, ô tô hay công nghiệp, đều phụ thuộc vào hoạt động chính xác của phần mềm tinh vi. Nhiều tiêu chuẩn mô tả cách thức thiết kế, xây dựng và xác minh các hệ thống như vậy. Các nhà phát triển, trước đây chỉ biết cách lập trình thiết bị cho ngành của mình, giờ đây phải hiểu và triển khai các phương pháp phát triển bổ sung, đồng thời sẵn sàng giải trình công việc của mình với các chuyên gia đánh giá bên ngoài.
Ấn bản thứ ba của cuốn "Embedded Software Development Cho Các Hệ Thống Safety-Critical" tập trung vào việc tạo ra embedded software đáng tin cậy. Sách được viết cho các system designer, implementer & verifier có kinh nghiệm trong lĩnh vực embedded software development nói chung, nhưng hiện đang đối mặt với viễn cảnh phát triển một hệ thống phần mềm cho các ứng dụng safety-critical. Sách đặc biệt hướng đến những người tạo ra sản phẩm phải đáp ứng một hoặc nhiều tiêu chuẩn quốc tế liên quan đến các ứng dụng ssafety critical, bao gồm IEC 61508, ISO 26262, EN 50716, UL 4600, ISO 21448, ISO/PAS 8800 hoặc IEC 62304.
Cuốn sách này được phát triển từ một giáo trình được QNX sử dụng cho module đào tạo ba ngày về xây dựng embedded software cho các hệ thống safety-critical. Mặc dù sách mô tả các công cụ nguồn mở cho hầu hết các ứng dụng, nhưng nó cũng cung cấp đủ thông tin để bạn tìm kiếm các nhà cung cấp thương mại nếu đó là hướng đi bạn quyết định theo đuổi. Tất cả các kỹ thuật được mô tả trong sách này có thể được khám phá sâu hơn thông qua hàng trăm tài liệu tham khảo từ các bài viết mà tác giả thấy hữu ích với tư cách là một software developer chuyên nghiệp. Hầu hết các tài liệu tham khảo này đều có sẵn để tải xuống miễn phí.
Mục lục:
- ✓ Phần 1: Background:
- ✓ Chương 01. Giới thiệu.
- ✓ Chương 02. Thuật ngữ về Safety.
- ✓ Chương 03. Các Tiêu chuẩn và Chứng nhận An toàn.
- ✓ Chương 04. Các Công ty tiêu biểu.
- ✓ Phần 2: Project:
- ✓ Chương 05. Các phương pháp Phát triển.
- ✓ Chương 06. Safety Case.
- ✓ Chương 07. Foundational Analys.
- ✓ Chương 08. Sử dụng các Pre-Existing Software Component.
- ✓ Chương 09. Thiết bị bên trong Hệ thống.
- ✓ Phần 3: Design Pattern:
- ✓ Chương 10. Balancing Design Aspect.
- ✓ Chương 11. Error Detection & Handling.
- ✓ Chương 12. Expecting Unexpected.
- ✓ Chương 13. Replication & Diversification.
- ✓ Phần 4: Design Validation:
- ✓ Chương 14. Markov Models.
- ✓ Chương 15. Fault Tree.
- ✓ Chương 16. Software Failure Rates.
- ✓ Chương 17. Semi-Formal Verification.
- ✓ Chương 18. Formal Verification.
- ✓ Phần 5: Implementation:
- ✓ Chương 19. Coding Guidelines.
- ✓ Chương 20. Code Coverage Metrics.
- ✓ Chương 21. Static Analysis.
- ✓ Phần 6: Implementation Verification:
- ✓ Chương 22. Integration & System Testing.
- ✓ Chương 23. Offline Tools.
- ✓ Chương 24. Kết luận.