ĐỐI TÁC CÔNG NGHỆ Casino Phú Quốc
Là công ty dẫn đầu trong lĩnh vực xác minh và xác thực phần mềm quan trọng, LDRA luôn giúp nâng cao các phương pháp kỹ thuật phần mềm tiên tiến, đảm bảo cung cấp các hệ thống quan trọng về an toàn, bảo mật và nhiệm vụ quan trọng có chất lượng cao.
Khách hàng của LDRA sử dụng bộ công cụ LDRA® để sản xuất phần mềm an toàn, bảo mật và quan trọng trong một quy trình được tăng tốc, tiết kiệm chi phí và đáp ứng yêu cầu. Bộ công cụ này cung cấp một loạt các khả năng bao gồm truy xuất nguồn gốc yêu cầu, quản lý kiểm thử, tuân thủ tiêu chuẩn mã hóa, đánh giá chất lượng mã, phân tích phạm vi mã, phân tích luồng dữ liệu và luồng điều khiển, thử nghiệm đơn vị/tích hợp/đích cũng như hỗ trợ chứng nhận và quy định.
Bộ công cụ này giúp các nhóm phát triển phần mềm quan trọng về an toàn và bảo mật đạt được chứng nhận hoặc phê duyệt theo các tiêu chuẩn khắt khe trong:
$ Hàng không vũ trụ và Quốc phòng (DO-178B/C, DO-254, DO-278, Def Stan 00-56)
$ Ô tô (ISO 26262, ISO/SAE 21434, Ô tô SPICE)
$ Công nghiệp và Năng lượng (IEC 61508, IEC 62443-4-1, IEC 60880, ISO 13849)
$ Y tế (IEC 62304)
$ Vận tải đường sắt (EN 50128)
Các thành phần cốt lõi của bộ công cụ có sẵn ở một số cấu hình phù hợp với nhu cầu phát triển phần mềm phổ biến. Một bộ khả năng bổ sung toàn diện có sẵn để điều chỉnh giải pháp cho bất kỳ dự án nào.
LDRA Certification Services® (LCS) bổ sung bộ công cụ và đảm bảo chứng nhận hoặc trình độ chuyên môn trong môi trường phát triển được quản lý nghiêm ngặt nhất. Tận dụng kiến thức chuyên môn về an toàn dành riêng cho ngành như Đại diện Kỹ thuật được chỉ định (DER) cấp A của FAA từ lĩnh vực hàng không, Hệ thống quản lý tuân thủ® (LCMS) của LDRA cung cấp nghiên cứu điển hình được ghi lại, danh sách kiểm tra quy trình và chứng nhận trọn gói.
