Safety Cerftified Kernel

Safety 인증 기술

SCIOPTA 61508은 많은 기본 안전 기능을 포함하는 선점 형 멀티 태스킹 고성능 실시간 커널입니다.

직접 메시지 전달 커널 인 SCIOPTA는 안전이 중요한 응용 프로그램에 사용하기에 매우 적합합니다.

안전 인증 데이터 전송

SCIOPTA 커널은 메시지 데이터 영역에 대한 체크섬을 테스트함으로써 프로세스 간의 데이터 전송을 관찰 할 수 있습니다. 이러한 인증 기능을 통해 안전 소프트웨어 설계자의 업무 부담이 상당히 완화됩니다. 이러한 의무를 커널에 맡기면 개발 시간이 단축되고 비용이 절감됩니다.

SCIOPTA 메시지는 발신자의 프로세스 ID, 소유자 및 수신인, 모든 크기의 데이터 영역 및 커널에 의해 검사되는 엔드 마크를 포함하는 헤더로 구성됩니다.

공유 메모리 미사용

공유 메모리는 전통적인 실시간 운영 체제에서 프로세스 간 통신을위한 표준 방법입니다. 사용자는 공유 메모리를 세마포어로 보호하고 세마포를 데이터 영역 및 유형과 연결해야 할 전적인 책임이 있습니다.

SCIOPTA 시스템에서 공유 메모리가 필요 없습니다. 직접 메시지 전달이 더 안전합니다. 모든 데이터는 메시지 안에 캡슐화되며 커널은 소유권을 제어하여 메시지 데이터를 보호합니다.

안전한 메모리 관리

프로세스를 SCIOPTA 모듈로 그룹화 할 수 있습니다. 각 모듈은 SCIOPTA 메시지를 저장할 최대 128 개의 풀을 가질 수 있습니다.

모듈과 풀은 동일하거나 다른 메모리 세그먼트에 위치 할 수 있습니다. SCIOPTA 메모리 관리 시스템 (SMMS) 및 메모리 관리 장치 (MMU)를 사용하면 전체 메모리를 보호 할 수 있습니다.