오픈콤알토스
OpenComRTOS | 이 글에는 여러 가지 문제가 있다.이 문제를 개선하거나 대화 페이지에서 토의하십시오.(이러한 템플릿 메시지를 제거하는 방법 및 시기 알아보기)
|
 OpenComRTOS 응용 프로그램 보기 | |
| 개발자 | 알트레오닉 NV |
|---|---|
| OS 제품군 | 분산 마이크로커널 |
| 작업 상태 | 현재 |
| 소스 모델 | 소스 코드 라이선스 |
| 초기 릴리즈 | 2008 |
| 최신 릴리즈 | 1.6 / 2014년 8월 |
| 마케팅 대상 | 임베디드 시스템 |
| 패키지 관리자 | OpenComRTOS 제품군 msi 파일 |
| 플랫폼 | Freescale PowerPC, Texas Instruments C66xx DSP, ARM, XMOS, MicroBlaze, LEON, NXP CoolFlux DSP, Mellexis MLX16, Win32, Linux |
| 커널형 | 네트워크 중심 실시간 MP 마이크로커널 |
| 체납 사용자 인터페이스 | 호스트 시스템의 개발 환경 |
| 면허증 | 이진 - 원본 - 개방형 기술 |
| 공식 웹사이트 | www.altreonic.com |
OpenComRTOS는 주로 임베디드 시스템 시장을 목표로 상용 네트워크 중심의 정식 개발된 실시간 운영 체제다.
개요
OpenComRTOS는 Formal Methods를 사용하여 개발된 네트워크 중심 RTOS(Real-time Operating System)이다.프로세서 유형(16비트, 24비트, 32비트, 64비트)과 통신 매체(공유 메모리, 버스, 포인트 투 포인트 링크 또는 기존 통신 메커니즘 위에 가상 링크)와는 독립적으로, 이질적인 다중 프로세서 시스템을 투명하게 지원하는 기능 등의 특징을 가지고 있다.32비트 대상 프로세서의 일반적인 코드 크기는 약 5 KiBytes이다.오픈컴RTOS는 상호작용하는 실체의 메타 모델링 패러다임에 기초한다.In OpenComRTOS 실행 단위는 "태스크"(로컬 워크스페이스나 스택이 있는 기능)이다.작업 엔티티는 상호 작용하는 작업에서 분리된 중간 "허브" 엔티티를 사용하여 동기화 및 통신한다.허브는 공식적으로 "보호 조치"로 모델링된다.현재 구현에서는 이벤트, 세마포어, 포트, FIFO, 리소스, 패킷 풀 및 메모리 풀과 같은 기존 RTOS 서비스의 기능을 제공한다.사용자는 또한 자신만의 허브 타입을 만들 수 있다.오픈컴RTOS는 커널 태스크, 드라이버 태스크 및 애플리케이션 태스크가 포함된 균일한 아키텍처를 사용하며, 각각 태스크 입력 포트가 있다.인터럽트 서비스 루틴에는 동일한 인터페이스가 사용된다.기본 아키텍처는 통신과 라우팅이 기본 시스템 서비스의 일부가 되는 우선순위 패킷 교환의 사용에 의존한다.그 결과 중 하나는 태스크의 소스 코드가 대상 시스템의 처리 노드에 태스크 및 허브 매핑과 독립적이라는 것이다.
역사
OpenCom의 초기 개발 목적RTOS는 상호작용하는 실체에 기초한 일관되고 통일된 시스템 엔지니어링 방법론을 지원하는 소프트웨어 런타임 환경을 제공하는 것이었다.이것은 원래 2005년부터 오픈 라이선스 협회에 의해 개발되었고, 2008년부터 알트레오닉에 의해 더욱 발전하고 상업화되었다.기존에 개발된 Virtuoso라는[1][2][3][4][5] RTOS가 가이드라인 역할을 했다.Virtuoso는 2001년 윈드 리버 시스템에 기술이 판매되기 전까지 Eonic Systems가 개발한 분산형 RTOS이다.투명한 병렬 프로세싱(Virtual Single Processor Runtime Model이라 불림)의 전반적인 기능은 보다 나은 방식으로 그것을 재개발하는 주요 원동력이었다.[6][7]오픈컴RTOS는 청정실 개발이었지만 개념적으로 4세대 Virtuoso이다.Virtuoso RTOS는 C.A.R. Hoare의 CSP(Communication Sequential Process) 프로세스 대수학의 부분적인 하드웨어 구현인 선구적인 INMOS Transputer에 그 기원을 두고 있었다.가장 까다로운 애플리케이션:[citation needed]
- 마이크로컨트롤러, 고정점 및 부동점 DSP가 탑재된 12000개의 프로세서와 단일 네트워크에 Linux 호스트가 탑재된 석유 탐사 시스템.
- 1600개의 부동 소수점 DSP를 갖춘 수중 음파 탐지 시스템.
- 로제타와 지오토 ESA 우주 임무.
- POSIX 스타일 RTOS에서 실행 중인 400,000 회선 애플리케이션을 OpenComRTOS로 변환.
형식 개발 접근법
OpenCom 개발용RTOS는 체계적이지만 반복적인 엔지니어링 프로세스를 따랐다.요건과 규격을 정의하고, 모델은 레슬리 램포트의 TLA+(Temporary Logic of Action, TLA+)에서 개발되었다가 해당 TLC 모델 체커로 모델을 점검했다.이러한 모델을 바탕으로 코드를 작성한 후, 제3자가 TLA+에 새로운 모델을 만들어 구현이 여전히 이형인지 검증했다.서비스에 대한 타이머 및 관련 타임아웃 기능은 Uppaal Model Checker를 사용하여 모델을 점검했다.2011년에 Springer는 OpenCom에 관한 책을 출판했다.RTOS 프로젝트.[8]
OpenComRTOS Designer: 개발 환경 및 도구
OpenComRTOS에는 여러 가지 도구가 함께 제공된다.Visual Designer는 사용자가 그래픽 방식으로 노드 토폴로지 및 애플리케이션 토폴로지를 지정하는 시각적 모델링 환경이다.이러한 다이어그램에서 애플리케이션별 런타임 모델이 생성된다.각 과제에 대해 ANSI-C에서 애플리케이션별 코드가 제공된다.런타임 실행 및 프로세서 간 상호 작용은 이벤트 추적기를 사용하여 시각화한다.시스템 검사기는 데이터 구조를 판독하고 수정할 수 있다.추가 모듈로는 호스트 서버 모듈(이 모듈에서는 호스트 노드 서비스에 대한 모든 작업 액세스를 허용함)과 C용 안전 가상 시스템이 있다.후자는 약 3 KiBytes(프로그램 및 데이터의 경우 10 KiBytes)를 필요로 하며, 런타임에 이진 컴파일된 C 코드를 동적으로 다운로드할 수 있다.
휴대성
OpenComRTOS는 임베디드 시스템용으로 개발되었으며 컨텍스트 스위치와 ISR 인터페이스를 제외한 휴대용 ANSI-C로 작성되었다.오픈컴RTOS는 다음과 같은 대상으로 포팅되었다.프리스케일 파워PC, 텍사스 인스트루먼트 C66xx DSP, 멜렉시스 MLX16, ARM Cortex M3/4, Xilinx MicroBlaze, LEON3, NXP CoolFlux DSP 및 MS-Windows 및 Linux.후기 버전은 호스트 노드의 투명한 통합을 가능하게 하며 교차 개발 및 시뮬레이션 시스템도 제공한다.RTOS 커널은 단일 또는 멀티프로세서 노드에 대해 동일하므로, 멀티프로세서 시스템을 지원하려면 패킷을 주고받을 수 있는 작은 작업 수준 드라이버만 작성하면 된다.
OpenComRTOS는 바이너리, 소스 코드 및 Open Technology 라이센스로 제공된다.후자는 형식 모델, 설계 문서, 소스 코드 및 테스트 제품군을 제공한다.
참조
- ^ E, Verhulst."Von Neumann 기계를 넘어: 소프트웨어에서 하드웨어로 MP-SOC를 구동하는 디자인 패러다임으로서의 커뮤니케이션"Kluwer Academic Publishers Hingham, MA, USA, Networks on Chip, 1993, 페이지: 217–238
- ^ E. 베르훌스트."Virtuoso : 전용 나노커넬로 dsps에 대한 초미소 컨텍스트 스위칭 제공"1993년 9월 산타 클라라, 신호 처리 애플리케이션 및 기술에 관한 국제 회의.
- ^ E. 베르훌스트."전송을 넘어: Virtuoso의 가상 단일 프로세서 프로그래밍 모델 및 쉘프 병렬 DSP에 구현된 완전한 의미론".WoTUG-20: Parallel Programming and Java, 1997, Processions of Parallel Programming and Java, 77-86페이지.
- ^ E. 베르훌스트."비순차적 처리: 폰 노이만 아키텍처가 남긴 의미적 격차를 해소"신호 처리 시스템 SIPS'97, 35-49페이지.
- ^ E. 베르훌스트."위상 독립 임베디드 시스템 설계 방법론으로서의 의미론 분포의 근거와 Virtuoso RTOS에서의 구현". Embedded Systems 설계 자동화, 2002, 6:277–294. doi:10.1023/A:1014018820691.
- ^ E. Verhulst, G. de Jong."오픈콤RTOS: 공식 모델을 사용하여 설계된 초소형 네트워크 중심 임베디드 RTOS".신뢰할 수 있는 시스템을 위한 설계에 관한 제13회 국제 SDL 포럼 회의의 절차서, SDL07, 258–271, 베를린, 하이델베르크.스프링거-베를라크.
- ^ 에릭 버헐스트, 그잘트 드 종, 비탈리 메주예프."산업 사례: 네트워크 중심 RTOS 개발에 공식적인 방법을 적용함으로써 발생하는 함정과 이점"쿠엘라, J, 마이바움, T, 세레, 편집자, FM 2008: 형식 방법, 컴퓨터 과학 강의 노트 5014권, 411-418페이지.스프링거 베를린 / 하이델베르크
- ^ RTOS의 공식 개발: Raymond T, Eric Verhulst에 의한 신뢰할 수 있는 임베디드 시스템을 위한 소프트웨어 엔지니어링부테, 호세 미겔 삼파이로 파리아, 베른하르트 H.C.스푸트(Sputh) ISBN978-1-4419-9735-7) 제1판, 2011년, XII, 219 페이지 54 일루
