roboforum.ru

Технический форум по робототехнике.

Микрооперационная система реального времени

Микрооперационная система реального времени

galex1981 » 27 мар 2009, 13:17

Ребята, просьба: Хотелось бы узнать о практическом применении микрооперационных систем реального времени. Я просто много слышал о них, но хотел бы практически узнать у людей, используемых их

Re: Микрооперационная система реального времени

-= Александр =- » 27 мар 2009, 13:39


Re: Микрооперационная система реального времени

=DeaD= » 27 мар 2009, 13:47

2Александр: А это правда вот такую очередь задач уже называют RTOS'ом? :shock:

Я себе это как-то посложнее представлял :oops:

Re: Микрооперационная система реального времени

blindman » 27 мар 2009, 14:15

Я бы не стал принимать всерьез что-то написанное для ксакепа :)

На самом деле RTOS может быть довольно простой, и необязательно писать ее на ассемблере.

galex1981, что конкретно интересует?

Re: Микрооперационная система реального времени

Виталий » 27 мар 2009, 14:37

Меня интересует только одно.
Есть ОС, есть программы для нее.
Вы можете формально доказать, что программы работаю полностью в соответствии со спецификацией?
Возможно, что да, но скорее всего нет. Необходимо разработать такой способ написания программ которой бы позволял это делать.
Под словом ЭТО - понимается верификация.
А теперь как построить отдельные но не изолированные программы при выполнении которых доказанные свойства не будут нарушаться?
:wink:

Re: Микрооперационная система реального времени

Duhas » 27 мар 2009, 14:52

имхо это все из области придумаем геморой, решим его, получим многа внимания и денег вазможна, и пускай патом патомки кодят под это не думаю как оно там работает...

имхо имеют смысл специфические модули... я про робототехнику ессно, где никакие ОС никуда не уперлись...

Re: Микрооперационная система реального времени

Виталий » 27 мар 2009, 15:07

придумаем геморой

Немного не так. Он уже придуман. Он называется просто... программирование и программисты.
Как пишутся программы? Без проекта, основываясь на личном опыте программиста, который использует спонтанные решения.

я про робототехнику ессно

Про какую? Про поездить по линии? Или про автоматизацию поездов, самолетов, спутников, ракет и прочих "роботов".

Re: Микрооперационная система реального времени

avr123.nm.ru » 27 мар 2009, 15:11

Код: Выделить всёРазвернуть
Таблица задач

Задача_1: Зажечь диод 1. Поставить вызов задачи 2 в очередь с задержкой 1мс
Задача_2: Погасить диод 1. Поставить вызов задачи 1 в очередь с задержкой 1мс
Задача_3: Зажечь диод 2. Поставить вызов задачи 4 в очередь с задержкой 2мс
Задача_4: Погасить диод 2. Поставить вызов задачи 3 в очередь с задержкой 2мс
Задача_5: Зажечь диод 3. Поставить вызов задачи 6 в очередь с задержкой 5мс
Задача_6: Погасить диод 3. Поставить вызов задачи 5 в очередь с задержкой 5мс

Все. Основной алгоритм получается практически линейным.

И чего ж его на Си то не написать ??? пусть и на 30 задач и даже с преславутым НО РАБОТЮЩЕМ goto ???

Код: Выделить всёРазвернуть
Остальное делает ядро.

А что такое "остальное" ? Тоже что делает компилятор компилируя исходник ?

Re: Микрооперационная система реального времени

bolt » 27 мар 2009, 15:26

Без проекта, основываясь на личном опыте программиста, который использует спонтанные решения.

Наличие опыта дает не спонтанное, а вполне разумное решение :oops:

Re: Микрооперационная система реального времени

Duhas » 27 мар 2009, 15:52

Виталий писал(а):
я про робототехнику ессно

Про какую? Про поездить по линии? Или про автоматизацию поездов, самолетов, спутников, ракет и прочих "роботов".

вот как рас всякую автоматизацию специфическую, как то самолеты да поезда да то самое прочее я считаю делать нада модульно, чтобы модуль выполнял определенные функции, работа которых может быть выполнена на базе контроллера с прерываниями... все не критичное по времени делаем в "main" остальное - по прерываниям... у нас на кафедре тоже есть знатоки извращений. пытающиеся на пром компе (что по сути та же писишка) realtime обработку делать.. например контур положения робота промышленного...

Re: Микрооперационная система реального времени

=DeaD= » 27 мар 2009, 15:53

Виталий писал(а):Как пишутся программы? Без проекта, основываясь на личном опыте программиста, который использует спонтанные решения.

Ну кто как, кто как... :roll:

Re: Микрооперационная система реального времени

Виталий » 27 мар 2009, 16:04

Я не про пром. компы, не про контроллеры, я про другое.
Вы можете доказать, что тот модуль который вы сделали действительно делает то, что заявлено в спецификации?
Не протестировать его, а доказать, что он будет работать так как должен и что в программе нет ветки которая активируется через десяток лет, и в самый неподходящий момент?
Примеров - масса.

Наличие опыта дает не спонтанное, а вполне разумное решение

Разумное, но спонтанное, основанное на опыте.

Ну кто как, кто как...

Вот в том-то и дело, что кто как... кто так, кто по-другому.

Re: Микрооперационная система реального времени

=DeaD= » 27 мар 2009, 16:18

Виталий писал(а):Вы можете доказать, что тот модуль который вы сделали действительно делает то, что заявлено в спецификации?
Не протестировать его, а доказать, что он будет работать так как должен и что в программе нет ветки которая активируется через десяток лет, и в самый неподходящий момент?

Можно вывернуть вопрос - кто-то готов за это платить? :wink:

Добавлено спустя 1 секунду:
И самое страшное - как избежать того, что проверяющий пропустит дырку в доказательстве? :oops:

Re: Микрооперационная система реального времени

blindman » 27 мар 2009, 16:19

Duhas писал(а):имхо это все из области придумаем геморой, решим его, получим многа внимания и денег вазможна, и пускай патом патомки кодят под это не думаю как оно там работает...

имхо имеют смысл специфические модули... я про робототехнику ессно, где никакие ОС никуда не уперлись...


Такое мнение, как и любое "однобокое", чаще всего возникает от нежелания более детально разобраться в предмете.

Виталий писал(а):Вы можете доказать, что тот модуль который вы сделали действительно делает то, что заявлено в спецификации?
Не протестировать его, а доказать, что он будет работать так как должен и что в программе нет ветки которая активируется через десяток лет, и в самый неподходящий момент?
Примеров - масса.

Дык при чем тут ОСРВ и вообще ОС? Это такие же программы, как и любые другие. Можно ли для них провести такое доказательство ? Со 100% уверенностью - вряд ли. Но существуют процедуры, например IEC 61508 (Functional safety of electrical/electronic/programmable electronic safety-related systems), которые достаточно подробно описывают способы проверки функциональной надежности электронных и программных систем.

Re: Микрооперационная система реального времени

Виталий » 27 мар 2009, 16:23

Можно вывернуть вопрос - кто-то готов за это платить?

NASA готовы платить. Но ни у кого нет нормальной технологии.

Дык при чем тут ОСРВ и вообще ОС?

При том, что я предположительно знаю как строить такую программу (или их комплекс) для которой доказательство возможно.


Rambler\'s Top100 Mail.ru counter