AuroraUX

단순히 매우 심각한 결과없이 실패 할 수없는 품질의 소프트웨어를 필요로 전투기에

AuroraUX 함께 오늘의 미션 크리티컬 한 데이터 센터 설비를 & nbsp 힘을 실어 최고의 기술을 끌어 오픈 솔라리스 파생 분포이다.
* AuroraUX 자체가 그 자체로 사용 가능한 배포판한다.
* 통합하고 조정 버그, 보안 문제 및 안정성의 FreeBSD의 핵심 달리하지 해결이 공통 핵심 기반으로 다른 모든 오픈 솔라리스 배포판의 좌표.
우리가 할 수있는 * AuroraUX 상류 많은 변화를 다시 추진해야한다.
* AuroraUX는 커널과 작은 유저 랜드는 ~ 텍스트 모드 설치 및 간단한 패키지 매니저와 200메가바이트이​​ * 만 * 코어를 업데이트하는 것입니다.
* AuroraUX는 ISV의 AuroraUX을 지원하기 때문에 파생 된 배포판을 지원하기 위해 가능한 한 많은 표준을 준수하여야한다.
(커널, 드라이버, 주소, 보안 문제 등 중 & hellip;) * AuroraUX는 핵심을 업데이트 할 수있는 자동화 된 격주로 업데이트 서비스를 제공해야한다.
* AuroraUX 자체가 그 자체로 사용 가능한 배포판한다.
AuroraUX에서는 Solaris 유래는 커널과 사용자 - 땅이다. 이 프로젝트의 핵심은 에이다로 작성의 유틸리티입니다. 필요한 경우, 제대로 구현 기능뿐만 아니라, 고정 또는 다시 얻을.
에이다?
예, 에이다. 그 핵심 개발자가 시스템에 존재한다고 생각 모든 사상을 포함 에이다 때문에 선택되었다.
에이다는 당신이 막대기를 흔들 수있는 것보다 더 많은 시간을 컴파일 검사를 가지고 있으며, 그녀는 너무 런타임에 많은 것들에 눈을 유지합니다.
코드는 일반적으로 그 문서를 의미하는 영어 실력은 실제로 "정상"사람이 쓸 수와 거의 누구나 읽을 수 있습니다.
언어는 심지어 구문이 소프트웨어의 무결성을 촉진이다 있도록 설계되었다.
그러나 많은 덕분에 강력한 타입 시스템으로 이동합니다. 이 단지 빙산의 팁과 반드시​​ 가장 중요한 이유가 있습니다.
물론, 일부는 기피 한 에이다는 군사 언어의 말이나는 항공 언어입니다.
예, C는 텍스트 처리 언어와 C ++은 휴대 전화입니다.
그리고 우리는 분명한 이유 C의 그립을 탈출 할 수는 없지만, 우리는 확실히 세상을 만들 수 있습니다 (지금은 신중하게) 우리가 할 수있는만큼을 던지고 조작 된 개선 된 유저 랜드로 교체하여 하나의 행복 임베디드 리얼 타임 용으로 설계된 언어와 안전에 중요한, 신뢰성과 우리가 제일 좋아하는 여자, 에이다를 사용하여 유지 보수 시스템.
AuroraUX은 귀족, 사소하지 않은 목표이지만, 결정 및 기존 개발자의 정신으로,이 번성한다 - 그들이 제공하는 모든 도움을 주셔서 감사 것이지만.
AuroraUX는 프로그래밍 언어 다음의 안전 집중 '의 상자 지원을 제공합니다 :
* 사이클론 - C의 안전 방언 - "순수 사이클론 프로그램은 C 프로그램 괴롭히는 버그의 다양한 클래스에 취약하지 않습니다 : 등, 댕글 링 포인터가 액세스, 버퍼 오버 플로우, 포맷 스트링 공격, 두 번 무료로 버그를"
* 에이다 83, 95 & A; 2005 년 - 에이다 정적 필수, 입력, 구조, 객체 지향한다. "에이다 널리 어떤 이상이 에이다 사용 항공 전자 공학 (열핵 무기 포함) 무기 시스템, 우주선이 (가) 매우 심각한 즉 결과, 사고로 사망 또는 부상. 시스템의 예로 이어질 수있는 중요한 시스템에 사용됩니다."
* 팔콘 - 팔콘 선택의 우리의 스크립트 언어입니다. "간단하고 빠르고 강력한 프로그래밍 언어 배우기와 편안한 느낌을 쉽게, 미션 크리티컬 다중 스레드 응용 프로그램 권한을 부여 할 준비가 스크립팅 엔진."
우리는 또한 모든 사람 했음를 충족하기 위해 다음과 같은 지원을 제공;의에게 맛과 / 또는 요구 사항 :
* 포트란 & A; C / C ++.
*에 대한 어셈블러 지원 : 파워, 울트라 스팍, ARM, AVR 및 x86 / 64.
오픈 솔라리스 기반의 배포판 지역 사회의 각 주요 구성원이 우리와 각 이사 했음에 대한 강력한 잘 연마 재단에 설정된 경로 사이의 표준 단체 통일에 도움이 이사이어야한다. 배포판을 유도 s의