유럽 기금 안전한 운영 체제 연구

네덜란드 대학이 유럽계 연구위원회는 리눅스 나 마이크로 소프트 윈도우보다 더 신뢰성 있고 안전성을 목표로하는 유닉스 운영체제에 대한 연구를 계속 진행할 예정이다.

250 만 유로 (330 만 달러)는 3 명의 연구원과 2 명의 프로그래머에게 자금을 지원한다고 앤드류 S. Tanenbaum, 네덜란드의 Vrije Universiteit의 컴퓨터 과학 교수

Tanenbaum은 코드베이스가 작고 강력한 보안 제어 기능을 구현하는 Unix 기반의 운영 체제 인 Minix를 개발했습니다.

[추가 정보: How to Windows PC에서 악성 코드 제거]

최신 허가로 인해 버그가 발견 될 때 운영 체제가 스스로를 수정할 수있게하여 컴퓨터의 안정성을 높일 수있는 추가 연구가 가능할 것이라고 Tanenbaum은 말했습니다.

"소프트웨어가 작동하지 않을 때 끝나지 않을 것"이라고 Tanenbaum은 말했다. "컴퓨터를 재부팅하는 것은 쉽지 않은 문제입니다. 문제는 '실제로 잘 작동하는 시스템을 만들 수 있습니까?'"Tanenbaum이 프로젝트 제안서에 소프트웨어 버그를 제거하지 않을 것입니다. 그러나 Windows 및 Linux와 같은 운영 체제는 신뢰성이 떨어지는 방식으로 설계되었습니다. 예를 들어 사운드 및 기타 주변 장치 구성 요소와 같은 기능의 드라이버는 운영 체제 커널에 설치해야하며, 또는 컴퓨터의 핵심 코드. 그러나 무언가가 잘못되면 보통 컴퓨터가 멈추게됩니다. 그러나 Minix는 드라이버가 커널 외부의 응용 프로그램처럼 작동하도록 설계되었으므로 충돌이 발생해도 컴퓨터는 계속 작동합니다. 개념은 반대편 인 단일체 커널이 아닌 "마이크로 커널"이라고 불립니다. Tanenbaum의 모델에서 운영 체제의 다른 구성 요소는 실패 할 경우 서로를 방해 할 수없는 긴밀하게 제한된 모듈에서 작동합니다. 또한 전체 보안을 향상시킵니다.

더욱 안전한 운영 체제는 소프트웨어 벤더에게 소프트웨어 취약점에 대한 책임을 부여합니다. 소프트웨어에 대한 기대치는 차량 타이어와 같은 구성 요소의 고장으로 인해 리콜 및 소송이 일어나는 다른 산업보다 훨씬 낮다고 Tanenbaum은 말했습니다.

그러나 소프트웨어가 덜 복잡하고 더 많은 경우 책임을보다 쉽게 ​​할당 할 수 있습니다 "우리는 매우 신뢰할만한 소프트웨어를 만들고 싶다"고 말했다.

자금은 미닉스 연구가 5 년 더 계속 될 수있게 해줄 것이다.