높은 신뢰성의 우주 비행선 소프트웨어를 실행하기위한 특정 Linux 배포판은 무엇입니까? ++ 소프트웨어를 고 신뢰성 C를 실행하는 것이 좋습니다 신뢰성 및 결함 허용 오차가 매우 중요한 존재로 , 어떤 특정 리눅스 배포판 (혹은 리눅스 배포판의 종류)이 있습니다 :

는 명확성을 위해 편집?높은 신뢰성의 우주 비행선 소프트웨어를 실행하기위한 특정 Linux 배포판은 무엇입니까? ++ 소프트웨어를 고 신뢰성 C를 실행하는 것이 좋습니다 신뢰성 및 결함 허용 오차가 매우 중요한 존재로 , 어떤 특정 리눅스 배포판 (혹은 리눅스 배포판의 종류)이 있습니다 :

Blue Origin 로켓에서 몇 가지 간단한 작업 (직렬 입력 데이터 읽기, 출력 핀에 논리 하이 및 로우 설정, 비디오 (및 저장) 및 부동 소수점 수학)을 수행하는 C++ 소프트웨어를 개발 중입니다. 이 소프트웨어는 Linux에서 실행됩니다.

지식과 경험에 감사드립니다.

출처

2017-11-16 nolan

정말 당신이하는 일에 달려 있습니다. "단순"은 많은 다른 영역을 포함합니다 ... – samuelnj

직렬 데이터 읽기, 출력 핀에 논리 하이와 로우를 설정하고, 비디오 (저장) 및 일부 부동 소수점 수학을 읽습니다. – nolan

당신은 C++로 작성된 우주 비행 소프트웨어를 거의 보지 못합니다. 1989 년 NASA (당시 계약자 McDonnell Douglass를 통해)는 C로 SVDS (우주 비행선 차량 다이나믹 시뮬레이터 - 셔틀에서 오르막로드를 모델링하는 데 사용됨) 포트를 수행했지만, 어떤 임무에서든 주요 관심사였습니다 중요한 소프트웨어는 모든 명령어를 검증 (및 재 검증)하는 기능입니다. 당시 C++는 그것이 무엇이 되었는가에 대한 간단한 반짝임 이었지만 의식적으로 회피되었습니다. –

Astronoutics라는 회사가 항공기 용 디스플레이를 생산하고 있습니다. Boing-787 드림 라이너에는 "전자 비행 서적"제품이 있습니다. 그들의 주요 장점은 두 세트의 응용 프로그램을 실행할 수 있다는 것입니다. 파일럿이 신뢰할 수있는 신뢰할 수있는 응용 프로그램 (인증 된 응용 프로그램)과 인증되지 않은 응용 프로그램을 동일한 디스플레이에서 실행합니다.

이 위업을 달성하기 위해 디스플레이에는 2 대의 컴퓨터가 있습니다. 하나는 인증 된 운영 체제를 실행하고 다른 하나는 전혀 (일반적으로 Windows) 실행할 수 있습니다.

그들이 운영하는 인증 된 OS는 Linux입니다. 그러나 바닐라 리눅스는 아닙니다. 그것은 크게 필요한 버전과 더 이상의 기능을 충분히 발휘할 수 있습니다. 이는 인증 프로세스 자체가 매우 비싸기 때문에 라인 수에 큰 영향을주기 때문입니다.

높은 안정성 환경에서 Linux를 실행할 수 있지만 일반적인 Linux는 아닙니다.

출처

2017-11-16 07:36:51

통찰력을 가져 주셔서 감사합니다. 특정 예가 있습니까 (항공 우주 수준의 신뢰성을 위해 수정 된 Linux 커널 등)? – nolan

인증을받은 Linux 버전을 판매하는 회사가 있다고 생각합니다. 나는 네게 이름을 줄 수는 없어. –

답변

관련 문제