OpenComRTOS - Википедия - OpenComRTOS

OpenComRTOS
OpenComRTOS 1.jpg
OpenComRTOS қосымшасын қарау
ӘзірлеушіAltreonic NV
ОЖ отбасыТаратылған микро ядро
Жұмыс жағдайыАғымдағы
Дереккөз моделіБастапқы код лицензиясы
Бастапқы шығарылым2008
Соңғы шығарылым1.6 / тамыз, 2014 ж
Маркетингтің мақсатыКіріктірілген жүйелер
Пакет менеджеріOpenComRTOS жиынтық msi файлы
ПлатформаларFreescale PowerPC, Texas Instruments C66xxx DSP, ҚОЛ, XMOS, MicroBlaze, ЛЕОН, NXP CoolFlux DSP, Melexis MLX16, Win32, Linux
Ядро түрінақты уақыттағы желіге бағытталған MP Microkernel
Әдепкі пайдаланушы интерфейсіХост машинасында даму ортасы
ЛицензияЕкілік - қайнар көзі - ашық технология
Ресми сайтwww.altreonic.com

OpenComRTOS коммерциялық желіге бағытталған, формальды түрде дамыған нақты уақыттағы операциялық жүйе, бірінші кезекте бағытталған ендірілген жүйелер нарық.

Шолу

OpenComRTOS Бұл орталықтандырылған RTOS (Нақты уақыттағы операциялық жүйе ) қолдану арқылы жасалған Ресми әдістер. Оның процессор типіне (16бит, 24бит, 32бит, 64бит) және байланыс ортасына (ортақ жад, автобустар, нүкте-нүкте сілтемелері немесе виртуалды) тәуелсіз, гетерогенді көп процессорлы жүйелерді мөлдір түрде қолдау мүмкіндігі сияқты мүмкіндіктер бар. қолданыстағы байланыс механизмдерінің үстіндегі сілтемелер). 32 биттік мақсатты процессордағы кодтың типтік мөлшері шамамен 5 KiBytes құрайды. OpenComRTOS метамодельдеу парадигмасына негізделген Өзара әрекеттесуші субъектілер. OpenComRTOS-та орындау бірлігі болып табылады «Тапсырма» (жергілікті жұмыс кеңістігі немесе стегі бар функция). Тапсырма нысандары аралықты пайдаланып үндестіреді және байланысады «Хабтар» өзара әрекеттесетін Тапсырмалардан ажыратылған нысандар. Хабтар формальды түрде модельденеді «Сақтандырылған әрекеттер». Ағымдағы енгізу дәстүрлі RTOS қызметтерінің функционалдығын қамтамасыз етеді Оқиғалар, семафорлар, порттар, ФИФО, ресурстар, пакеттік бассейндер және жады пулдары. Сонымен қатар, пайдаланушы өзінің Hub типтерін құра алады, және OpenComRTOS бірыңғай архитектураны ядролық тапсырмасы, драйвері және қолданбалы тапсырмалары бар, әрқайсысында тапсырманы енгізу портына ие. Дәл осы интерфейс қызметтерді үзу процедуралары үшін қолданылады, ал негізгі архитектура приоритетті пайдалануға негізделген Дестені ауыстыру байланыс пен маршруттау жүйенің негізгі қызметтерінің бөлігі бола отырып. Нәтижелердің бірі - Тапсырмалардың бастапқы коды Тапсырмалар мен Хабтардың мақсатты жүйеде өңдеу түйіндеріне кескінделуіне тәуелсіз.

Тарих

OpenComRTOS-ті құрудың бастапқы мақсаты жүйенің біртұтас және біртұтас инженерлік әдістемесін қолдайтын бағдарламалық қамтамасыз етуді қамтамасыз ету болды. Өзара әрекеттесуші субъектілер. Бұл бастапқыда дамыған Ашық лицензия қоғамы 2005 жылдан бастап, 2008 жылдан бастап әрі қарай дамытып, коммерцияландырылды Альтреон. Virtuoso деп аталатын бұрын жасалған RTOS[1][2][3][4][5] нұсқаулық ретінде қызмет етті. Virtuoso - бұл 2001 жылы технология Wind River Systems-ке сатылғанға дейін Eonic Systems әзірлеген таратылған RTOS. Оның мөлдір параллельді өңдеудің жалпы функционалдығы ( Виртуалды жалғыз процессор жұмыс уақыты моделі) оны жақсы жолмен қайта құрудың негізгі қозғаушы күші болды.[6][7] OpenComRTOS - бұл Virtuoso-ның төртінші буыны, бірақ бұл бөлменің таза дамуы болды. Virtuoso RTOS өзінің бастауы INMOS болды Транспутерлік, ішінара аппараттық енгізу C.A.R. Хоар Келіңіздер Кезектес процестерді байланыстыру (CSP) алгебрасы. Ең күрделі қосымшалар:[дәйексөз қажет ]

  1. Микроконтроллерлер, тіркелген нүкте және өзгермелі нүкте DSP және Linux түйінінде бір желіде орналасқан 12000 процессоры бар мұнай барлау жүйесі.
  2. 1600 өзгермелі нүктелік DSP бар Sonar жүйесі.
  3. Розетта және Джотто ESA ғарыштық миссиялары.
  4. POSIX стиліндегі RTOS-та жұмыс істейтін 400000 жолдық қосымшаны OpenComRTOS-қа түрлендіру.

Ресми даму тәсілі

OpenComRTOS-ты дамыту үшін жүйелі, бірақ қайталанатын инженерлік үрдіс жүргізілді. Талаптар мен сипаттамалар анықталып, модельдер әзірленді Лесли Лампорт Келіңіздер Іс-әрекеттің уақытша логикасы (TLA +), содан кейін тиісті TLC модель тексергішімен тексерілген модель. Осы модельдердің негізінде код жазылды, содан кейін үшінші тұлға TLA + -де жаңа модельдер құрды, ол әлі де изоморфты екенін тексерді. Таймер және қызметтерге байланысты уақытты сөндіру функциясы модель көмегімен тексерілді Uppaal Model Checker. 2011 жылы Springer кітабын OpenComRTOS жобасы бойынша шығарды.[8]

OpenComRTOS Designer: даму ортасы және құралдары

OpenComRTOS бірқатар құралдармен жеткізіледі. Көрнекі дизайнер - бұл пайдаланушы графикалық түрде түйін топологиясын және қолданбалы топологияны анықтайтын визуалды модельдеу ортасы. Осы сызбалардан қолданбаның нақты жұмыс уақыты моделі жасалады. Әр тапсырма үшін арнайы код ANSI-C-де берілген. Орындау уақыты, сонымен қатар процессорлар арасындағы өзара әрекеттесу визуалды түрде Іс-шараны бақылау. A Жүйелік инспектор мәліметтер құрылымын оқуға және өзгертуге мүмкіндік береді.Қосымша модульдер - хостсерверінің модульдері (олар хост түйінінің қызметтеріне кез-келген тапсырмаға қол жеткізуге мүмкіндік береді) және а C үшін қауіпсіз виртуалды машина. Соңғысы шамамен 3 KiBytes (бағдарлама мен деректер үшін 10 KiBytes) қажет етеді және екілік компиляцияланған C кодын жұмыс кезінде динамикалық түрде жүктеуге мүмкіндік береді.

Тасымалдау

OpenComRTOS ендірілген жүйелерге арналған және портативті түрде жазылған ANSI-C, контексттік қосқыш пен ISR интерфейстерінен басқа.OpenComRTOS келесі мақсаттарға көшірілді:Freescale PowerPC, Texas Instruments C66xx DSP, Melexis MLX16, ARM Cortex M3 / 4, Xilinx MicroBlaze, LEON3, NXP CoolFlux DSP және MS-Windows пен Linux-қа. Соңғы нұсқалар хост түйіндерінің мөлдір интеграциясын қамтамасыз етеді және кросс-дамыту және имитациялық жүйелер үшін қызмет етеді. RTOS ядросы бір немесе көп процессорлы түйіндер үшін бірдей болғандықтан, көп процессорлы жүйені қолдау үшін пакеттер жіберетін және қабылдай алатын шағын деңгейлік драйвер жазуды ғана қажет етеді.

OpenComRTOS екілік, бастапқы кодта және Open Technology лицензияларында қол жетімді. Соңғысы ресми модельдерді, жобалық құжаттарды, бастапқы кодты және тест-люкс пакеттерін ұсынады.

Әдебиеттер тізімі

  1. ^ Е, Верхулст. «Фон Нейман машинасынан тыс: байланыс MP-SOC үшін бағдарламалық жасақтамадан аппараттық құралға арналған жетекші дизайн парадигмасы ретінде». Kluwer Academic Publishers Hingham, MA, АҚШ, Чиптегі желілер, 1993, Беттер: 217–238
  2. ^ Э.Верхулст. «Virtuoso: арнайы нанокернелмен dsps қосылымын суб-микросекундтық контекстпен қамтамасыз ету». Сигналдарды өңдеу қосымшалары мен технологиясы бойынша халықаралық конференция, Санта-Клара, қыркүйек, 1993 ж.
  3. ^ Э.Верхулст. «Трансляциядан тыс: Virtuoso's Virtual Single Processor бағдарламалау моделіндегі толық таратылған семантика және оны параллель DSP-де енгізу». Жылы WoTUG-20 материалдары: параллельді бағдарламалау және Java, 1997, 77–86 беттер.
  4. ^ Э.Верхулст. «Бірізді емес өңдеу: фон Нейман архитектурасынан қалған семантикалық алшақтықты жою». Жылы SIPS’97 сигналдық өңдеу жүйелері, 35–49 беттер.
  5. ^ Э.Верхулст. «Топологияға тәуелсіз енгізілген жүйелерді жобалау әдістемесі ретінде таратылған семантиканың негіздемесі және оны Virtuoso RTOS-та енгізу». Кіріктірілген жүйелерді жобалауды автоматтандыру, 2002, 6:277–294. дои:10.1023 / A: 1014018820691.
  6. ^ Э. Верхулст, Г. де Джонг. «OpenComRTOS: формальды модельдеуді қолдана отырып құрылған ультра шағын желілік орталықтандырылған RTOS». Жылы SDL’07, сенімді жүйелерді жобалау бойынша 13-ші халықаралық SDL форум конференциясының материалдары, 258–271 беттер, Берлин, Гейдельберг. Шпрингер-Верлаг.
  7. ^ Эрик Верхульст, Гьальт де Йонг, Виталий Межуев. «Өнеркәсіптік жағдай: Желіге бағдарланған RTOS-ті дамытуға арналған формальды әдістерді қолданудың пайдасы және пайдасы». Куэльярда Дж., Майбаум, Т. және Сере, редакторлар, FM 2008: Ресми әдістер, Информатикадағы дәріс жазбаларының 5014 томы, 411–418 беттер. Springer Berlin / Heidelberg.
  8. ^ Желілік-орталық RTOS-тың ресми дамуы: сенімді енгізілген жүйелер үшін бағдарламалық жасақтама Эрик Верхулст, Раймонд Буте, Хосе Мигель Сампайо Фариа және Бернхард Х.К. Шпут (ISBN  978-1-4419-9735-7) 1-басылым., 2011, XVII, 219 б. 54 иллюзия

Сыртқы сілтемелер