An toàn, bảo mật, đáng tin cậy
Hệ điều hành hàng đầu của Green Hills Software—RTOS INTEGRITY—được xây dựng dựa trên kiến trúc phân vùng cho phép các nhà phát triển nhúng đảm bảo ứng dụng của họ đáp ứng các yêu cầu cao nhất có thể về bảo mật, độ tin cậy và hiệu suất. Với phả hệ lãnh đạo được nhấn mạnh bởi một loạt chứng chỉ, INTEGRITY đặt ra tiêu chuẩn về độ an toàn, bảo mật và độ tin cậy của RTOS.
INTEGRITY sử dụng tính năng bảo vệ bộ nhớ phần cứng để cách ly và bảo vệ các ứng dụng nhúng. Các phân vùng an toàn đảm bảo cho mỗi tác vụ các tài nguyên cần thiết để chạy chính xác và bảo vệ đầy đủ hệ điều hành cũng như các tác vụ của người dùng khỏi mã độc hại và lỗi—bao gồm các cuộc tấn công từ chối dịch vụ, sâu và ngựa Trojan.
Không giống như các hệ điều hành được bảo vệ bằng bộ nhớ khác, INTEGRITY không bao giờ hy sinh hiệu suất thời gian thực để bảo mật và bảo vệ.
Kiến trúc INTEGRITY hỗ trợ nhiều vùng địa chỉ ảo được bảo vệ, mỗi vùng có thể chứa nhiều tác vụ ứng dụng
Nền tảng & Phần mềm trung gian
Để giúp các nhà phát triển bắt đầu phát triển sản phẩm, Green Hills Software cung cấp một loạt phần mềm trung gian được tích hợp và xác nhận về INTEGRITY, bao gồm:
- Hệ thống tệp FFS, FAT, NFS và ghi nhật ký
- Ngăn xếp mạng định tuyến và máy chủ IPv4/IPv6
- Thư viện mã hóa nhúng hỗ trợ Suite B được chứng nhận FIPS 140-2
- Giao thức định tuyến lớp 3 nâng cao
- Dịch vụ web: HTTPS, SOAP, AJAX, JSON, XML
- Hỗ trợ Wi-Fi: WPA2, Bluetooth, 3G
- Ngăn xếp máy chủ USB, ngăn xếp thiết bị và trình điều khiển lớp
- Đồ họa 2d, 3D và OpenGL
Mỗi gói phần mềm trung gian này đều đã được tích hợp sẵn và thử nghiệm để chạy liền mạch và tận dụng tối đa các khả năng RTOS nâng cao của INTEGRITY. Đối với các ngành được chọn, Green Hills Software cung cấp các nền tảng cung cấp một hệ sinh thái tích hợp hoàn chỉnh. Mỗi nền tảng bao gồm RTOS INTEGRITY cũng như các công cụ phát triển, phần mềm trung gian dành riêng cho ngành, phần cứng tham chiếu và tài liệu.
Kiến trúc tin cậy
Hạt nhân phân tách INTEGRITY RTOS bảo vệ chống lại thiệt hại do lỗi hoặc mã độc hại bằng cách ngăn chặn các quá trình ghi ra ngoài vùng bộ nhớ được chỉ định. Ngoài ra, các phân vùng của INTEGRITY ngăn chặn việc truy cập ngoài ý muốn vào dữ liệu từ bên ngoài phân vùng chứa dữ liệu.
Các hệ điều hành truyền thống có thể gặp sự cố, bị khóa hoặc thực thi không kiểm soát được, dẫn đến hậu quả tốn kém—mất vệ tinh, ô tô chết máy, màn hình y tế bị hỏng. Tính toàn vẹn bảo vệ cả các ứng dụng quan trọng và chính nó khỏi các trục trặc có thể dẫn đến lỗi bằng cách cung cấp tài nguyên hệ thống được đảm bảo để đảm bảo thời gian CPU và tài nguyên bộ nhớ sẽ luôn có sẵn cho các quy trình riêng lẻ, bất kể bất kỳ quy trình nào khác cố gắng thực hiện.
Các sự kiện độc hại hoặc ngoài ý muốn có thể từ chối quyền truy cập vào tài nguyên hệ thống và khiến các quy trình hệ thống không chạy như dự định. Để ngăn chặn các cuộc tấn công từ chối dịch vụ này, INTEGRITY có thể chỉ định lượng thời gian và bộ nhớ CPU cố định cho mỗi quy trình. Bằng cách đảm bảo khoảng thời gian cho một quy trình cụ thể, các ngân sách cố định này cũng duy trì tính toàn vẹn của các quy trình khác bằng cách ngăn các tác vụ đang chạy thực thi ngoài khoảng thời gian của chúng.
Chứng nhận An toàn & An ninh
Kể từ khi ra mắt cách đây hơn 18 năm, công nghệ INTEGRITY RTOS đã nhận được một số chứng nhận và chứng nhận chứng tỏ đẳng cấp dẫn đầu của nó, đồng thời cho phép các nhà phát triển đạt được mức độ an toàn, bảo mật và độ tin cậy cao nhất trong thiết kế của họ:
- FAA: DO-178B/C, Cấp A (INTEGRITY-178 tuMP RTOS)
- NSA: EAL 6+ Tiêu chí chung về độ bền cao
- SKPP—mức bảo mật cao nhất từng đạt được cho một hệ điều hành (INTEGRITY-178 RTOS)
- FDA: Phê duyệt thiết bị y tế loại II và loại III
- EN: 50128 Kiểm soát đường sắt SIL 4
- IEC: 61508 SIL 3 hệ thống điều khiển công nghiệp
- ISO: 26262: ô tô
Hiệu suất & Bộ nhớ
Hiệu suất cứng, thời gian thực
INTEGRITY là một hệ điều hành cứng thời gian thực không bao giờ hy sinh hiệu suất thời gian thực để đảm bảo an ninh và bảo vệ. INTEGRITY có thể đáp ứng các sự kiện trong vài nano giây, được đảm bảo.
Tất cả các dịch vụ hạt nhân INTEGRITY đã được tối ưu hóa cẩn thận để giảm thiểu chi phí hoạt động của các lệnh gọi hệ thống để chúng có thể tạm dừng để cho phép các lệnh gọi khác thực hiện. INTEGRITY sử dụng bộ lập lịch thời gian thực hỗ trợ nhiều mức độ ưu tiên và cho phép kiểm soát hoàn toàn việc phân bổ phần trăm CPU. Ngoài ra, INTEGRITY luôn phục vụ ngắt có mức ưu tiên cao nhất với độ trễ tối thiểu tuyệt đối.
Tài nguyên bộ nhớ được đảm bảo
INTEGRITY RTOS bảo vệ bộ nhớ:
- from exhaustion
- from damage
- from unauthorized access
Hệ thống hạn ngạch bộ nhớ độc đáo của INTEGRITY giữ cho một không gian địa chỉ không làm cạn kiệt bộ nhớ của bất kỳ không gian địa chỉ nào khác.
Để ngăn chặn nguy cơ tràn ngăn xếp của người dùng, hạt nhân của INTEGRITY có ngăn xếp bộ nhớ riêng. Nếu không có điều này, kernel sẽ cần truy cập vào ngăn xếp của tiến trình người dùng. Nhưng điều này có thể dẫn đến các vấn đề vì quá trình người dùng không thể dự đoán được kích thước ngăn xếp tối đa nếu nó được sử dụng bởi mã không xác định (tức là kernel).
Hỗ trợ kiến trúc, bộ xử lý và bo mạch
Gói hỗ trợ kiến trúc INTEGRITY (ASP) cung cấp khả năng khởi tạo CPU, xử lý ngoại lệ và chuyển đổi ngữ cảnh nhanh chóng cho tất cả các kiến trúc CPU nhúng hàng đầu bao gồm Arm, Intel, Power và MIPS. Gói hỗ trợ bo mạch INTEGRITY (BSP) được xây dựng dựa trên ASP và cung cấp hỗ trợ ở cấp độ bo mạch về bộ nhớ, ngắt, bộ tăng tốc, thiết bị ngoại vi và phần mềm trung gian. Chúng tôi thường xuyên bổ sung vào danh sách BSP INTEGRITY của mình, vì vậy vui lòng liên hệ với văn phòng Green Hills Software tại địa phương để thảo luận về các yêu cầu về gói hỗ trợ hội đồng quản trị của bạn.
Green Hills Software hợp tác rộng rãi với các nhà sản xuất bảng mạch thương mại sẵn có (COTS) hàng đầu trong ngành để mang lại tính INTEGRITY trên bảng mạch của họ. Bấm vào đây để biết thêm chi tiết.
Hỗ trợ bộ xử lý đa lõi linh hoạt của INTEGRITY cung cấp cho người dùng nhiều khả năng kiến trúc hệ thống đồng thời mang lại hiệu suất xác định theo thời gian thực với các chính sách phân tách an toàn, đáng tin cậy.
Kiến trúc ảo hóa an toàn Multivisor INTEGRITY
INTEGRITY Multivisor là cơ sở hạ tầng ảo hóa mạnh mẽ và di động với kiến trúc đủ linh hoạt để xử lý nhiều khả năng phần cứng có sẵn trên các bộ vi xử lý ngày nay. ISV tối đa hóa việc sử dụng các phương tiện ảo hóa phần cứng sẵn có đồng thời giảm thiểu hoặc loại bỏ các sửa đổi đối với hệ điều hành khách.
Nhiều nhà sản xuất silicon hiện nay sử dụng công nghệ ảo hóa được hỗ trợ bằng phần cứng—chẳng hạn như Tiện ích mở rộng ảo hóa ARM (VE), Intel VT-x và VT-d cũng như Kiến trúc nguồn hỗ trợ ảo hóa. Đối với những kiến trúc này, INTEGRITY Multivisor hỗ trợ “ảo hóa hoàn toàn” hiệu suất cao mà không cần thay đổi hệ điều hành khách. Khi quyền truy cập thiết bị phải được chia sẻ giữa khách và/hoặc ứng dụng, thật dễ dàng để thêm các ứng dụng phối hợp quyền truy cập vào phần cứng.
Tính toàn vẹn Multivisor kết hợp các hệ điều hành khách đa năng với hệ sinh thái toàn diện gồm các ứng dụng thời gian thực, phần mềm trung gian và trình điều khiển. Bấm vào để xem lớn hơn.
Tính toàn vẹn Multivisor kết hợp các hệ điều hành khách đa năng với hệ sinh thái toàn diện gồm các ứng dụng thời gian thực, phần mềm trung gian và trình điều khiển.
Hỗ trợ kiến trúc, bộ xử lý và bo mạch
Gói hỗ trợ kiến trúc INTEGRITY (ASP) cung cấp khả năng khởi tạo CPU, xử lý ngoại lệ và chuyển đổi ngữ cảnh nhanh chóng cho tất cả các kiến trúc CPU nhúng hàng đầu bao gồm Arm, Intel, Power và MIPS. Gói hỗ trợ bo mạch INTEGRITY (BSP) được xây dựng dựa trên ASP và cung cấp hỗ trợ ở cấp độ bo mạch về bộ nhớ, ngắt, bộ tăng tốc, thiết bị ngoại vi và phần mềm trung gian. Chúng tôi thường xuyên bổ sung vào danh sách BSP TÍNH CHÍNH TRỰC của mình, vì vậy vui lòng liên hệ với văn phòng Green Hills Software tại địa phương để thảo luận về các yêu cầu về gói hỗ trợ hội đồng quản trị của bạn.
Green Hills Software hợp tác rộng rãi với các nhà sản xuất bảng mạch thương mại sẵn có (COTS) hàng đầu trong ngành để mang lại tính CHÍNH TRỰC trên bảng mạch của họ. Bấm vào đây để biết thêm chi tiết.
Hỗ trợ bộ xử lý
BSP INTEGRITY hỗ trợ nhiều dòng bộ xử lý từ các nhà sản xuất hàng đầu, bao gồm:
|
|