LDRA Kỷ niệm 25 năm ra mắt MISRA C: Tiên phong trong Hướng dẫn Phần mềm Đề cao An toàn

Trong hơn hai thập kỷ qua, tiêu chuẩn hỗ trợ MISRA C của LDRA đã thúc đẩy các hoạt động giảm thiểu rủi ro ở các ngành ô tô, hàng không vũ trụ, y tế, quốc phòng và các ứng dụng quan trọng khác. 

LIVERPOOL, Anh, ngày 3 tháng 2 năm 2023 /PRNewswire/ -- MISRA C, bộ hướng dẫn hàng đầu để sản xuất mã an toàn, bảo mật và đáng tin cậy của các tổ chức kỹ thuật và người hành nghề phần mềm, kỷ niệm 25 năm ngày ra mắt vào tháng này. Với tư cách là đơn vị đóng góp chính cho Nhóm làm việc MISRA C, LDRA mang đến kiến thức chuyên môn về tuân thủ tiêu chuẩn, xác minh phần mềm tự động, phân tích mã tĩnh và các công cụ kiểm tra để phát triển tiêu chuẩn nhằm phù hợp hơn cho ngôn ngữ C hiện đại và các thực hành phát triển.

Ian Hennell, Giám đốc Vận hành của LDRA cho biết: 'Từ phần mềm ô tô đến thiết bị y tế, các nhà sản xuất ở bất kỳ giai đoạn phát triển nào đều dựa vào MISRA C để hướng dẫn, đánh giá và chứng nhận các sản phẩm chú trọng về an toàn và bảo mật của họ'. 'LDRA công nhận sự đóng góp lâu dài của MISRA trong giảm thiểu và loại bỏ rủi ro khi ứng dụng phần mềm một cách an toàn qua việc tham gia không ngừng vào Nhóm làm việc MISRA C, đồng thời phát triển các sản phẩm hàng đầu trong ngành để hỗ trợ các hoạt động chứng nhận của nhà sản xuất.'

Phối hợp với các nhà sản xuất, nhà cung cấp linh kiện và tư vấn kỹ thuật, MISRA đã xuất bản hướng dẫn ngôn ngữ lập trình C đầu tiên vào năm 1998 để giúp các nhà phát triển phần mềm nhúng giảm rủi ro mã hóa có thể dẫn đến hành vi không mong muốn hoặc gây nguy hại. Tập con được giới hạn của ngôn ngữ lập trình tiêu chuẩn hóa này đã tạo tiền đề cho nhiều thập kỷ hoạt động phát triển và tuân thủ thành hai phiên bản tiếp theo, bốn bản sửa đổi và nhiều tài liệu hướng dẫn.

'Trong 25 năm qua, các hướng dẫn MISRA C đã là một nguồn tài nguyên vô giá, giúp các nhà phát triển ngăn chặn các vấn đề nghiêm trọng phát sinh với mã của họ bằng cách hỗ trợ hạn chế sự xuất hiện của các hành vi không xác định và không cụ thể', Andrew Banks, Chuyên gia kỹ thuật của LDRA, và Chủ tịch Nhóm làm việc MISRA C. 'MISRA sẽ tiếp tục hỗ trợ vô số hệ thống và nhóm sản phẩm giảm thiểu rủi ro về an toàn và bảo mật trong môi trường phần mềm ngày càng năng động và phức tạp.'

Các sản phẩm của LDRA làm nên một phần quan trọng trong môi trường phát triển của nhà sản xuất, hỗ trợ việc xác định, báo cáo và khắc phục các lỗi mã hóa quan trọng. Những lỗi mã hóa thường khó hoặc không được phát hiện ra do con người, nhưng đã được giảm thiểu bằng các công cụ phân tích mã tĩnh LDRA, bao gồm hỗ trợ cho tất cả các phiên bản của hướng dẫn MISRA.

Giới thiệu về LDRA 

Trong hơn 45 năm, LDRA đã phát triển và thúc đẩy thị trường phần mềm tự động phân tích mã và kiểm tra phần mềm cho các thị trường quan trọng về an toàn, nhiệm vụ, bảo mật và kinh doanh. Làm việc với khách hàng để nhận dạng và loại bỏ lỗi sớm và tuân thủ đầy đủ các tiêu chuẩn ngành, LDRA theo dõi các yêu cầu thông qua phân tích tĩnh và động để xác minh và kiểm thử cho nhiều nền tảng phần cứng và phần mềm đa dạng. Tự hào với sự hiện diện trên toàn thế giới, LDRA có trụ sở chính tại Vương quốc Anh, Hoa Kỳ, Đức và Ấn Độ cùng với mạng lưới nhà phân phối rộng khắp. Để biết thêm thông tin về bộ công cụ LDRA, vui lòng truy cập www.ldra.com.

Liên hệ truyền thông: 

Mark James, Giám đốc Tiếp thị, LDRA
Tel: +44 (0) 151 649 9300, Email: mark.james@ldra.com

Neeraja Nair, Trợ lý Giám đốc – Truyền thông Tiếp thị, LDRA
Tel: +91-80-40808707 Email: neeraja.nair@ldra.com

Bạn đọc có thể gửi câu hỏi trực tiếp đến: 

Mark James
Email: mark.james@ldra.com


nguồn: LDRA Technology Private Limited

THỦ THUẬT HAY

Tự tạo ebook bằng Microsoft Word

Microsoft Word có rất nhiều tính năng tốt để tạo sách điện tử (ebook) dễ dàng. Bạn có thể sử dụng nhiều kiểu style để định dạng một ebook hay thay đổi định dạng để sử dụng cho những nền tảng khác nhau

Hướng dẫn cách khắc phục lỗi full disk win 10 hiệu quả

Lỗi full disk có nghĩa là disk spage usage (Dung lượng lưu trữ) trên hệ điều hành của bạn đã full 100%, lỗi này thường gặp ở hệ điều hành win 8, win 10. Nó sẽ khiến cho máy tính bạn chạy chậm, hay bị đơ, bị đứng máy.

Hướng dẫn tải và cài đặt Unikey để gõ tiếng Việt trên Windows 10, 8, 7, XP

Nghe tới đây chắc có vẻ nhiều người đã rất muốn thử cài đặt và dùng thử bộ gõ tiếng Việt Unikey này rồi, nhưng nếu còn chút lăn tăn vì khả năng sử dụng máy tính của các bạn không thực sự tốt, các bạn có thể tham khảo

9 câu chuyện an ninh kỹ thuật số đáng sợ nhất năm 2014

Chỉ trong nửa đầu năm nay,chúng ta đã chứng kiến nhiều nhà bán lẻ tên tuổi lớn, các khách sạn, diễn đàn trực tuyến và vô số website khác bị tấn công. Tính đến thời điểm hiện tại, số thẻ tín dụng bị xâm nhập là 5 triệu

Facebook sẽ sớm thay đổi diện mạo

Facebook đang lên kế hoạch mới cho các ứng dụng di động của hãng. Công ty này đang điều chỉnh thiết kế của một số thành phần cốt lõi trên Facebook giúp người dùng dễ dàng kết nối và điều hướng ứng dụng. Mặc dù trên

ĐÁNH GIÁ NHANH

Trên tay và đánh giá nhanh Acer Nitro 5 2018: laptop mà bất cứ game thủ nào cũng muốn sở hữu

Phiên bản Nitro 2017 được ra mắt vào hồi tháng 9 năm ngoái. Là mẫu laptop gaming sở hữu thiết kế đẹp, hiệu năng đủ đáp ứng nhiều thể loại game thông dụng hiện nay với một mức giá hợp lý.

Đánh giá Camera của HTC U Ultra: Màu chuẩn, file RAW rất tốt... Điểm đánh giá: 8

Giao diện chụp thủ công của dòng One từ M8 trước đây là chuyên nghiệp nhất kể từ sau một vài dòng của Lumia. Hồi đó M8 bắt đầu hơi phức tạp việc chia ra cấp Auto - cấp thủ công một nửa

Đánh giá Pantech V950: Thiết kế lạ, hoàn thiện khá, màn hình đẹp, pin tốt

Pantech V950 nổi bật nhờ thiết kế lạ mắt, độ hoàn thiện khá, khả năng kháng bụi, nước IP67, có hỗ trợ kết nối 4G cùng cấu hình phần cứng vừa đủ đối với một chiếc máy có giá bán dưới 6 triệu đồng. Sau đây, mời các bạn...