caxapa.ru :: Рыночная востребованность аппаратного контроля типов есть ?

3m (21.02.2018 21:02, просмотров: 146) ответил Evgeny_CD на Аппаратный контроль типов - только ради этого стоит городить весь огород с Эльбрусами. Потому как есть сферы применения, где устойчивость системы к ошибкам в ПО превыше всего, и там ценник 200кр/процессор кажется просто смешным.

Рыночная востребованность аппаратного контроля типов есть ? Ядерный реактор работает под win CE и через FT245.

Ответить

- Слава всем богам что ядерные реакторы (пока) не нуждаются в каких бы то ни было цифровых системах для нормальной работы. - ASDFS(21.02.2018 22:22)
  - Лет 5 назад я бы с воплем возмутился и назвал тебя ретроградом. Сейчас - соглашусь. Видимо, это старость :( - Evgeny_CD(21.02.2018 22:25)
    - Сам ты старость. "Цифровое" - это автоматически привлечение быдлокодеров. Вот тебе нужна толпа быдлокодеров рядом с реактором? Лучше не надо. Железяка на виду, а быдлокод, сцуко, прячется в ебенях, но выстреливает в самый неподходящий момент. - SciFi(21.02.2018 22:29)
      - Нет, я еще не совсем старый, я верю, что есть настоящие кодеры, который приезжают на работу на единорогах и пишут НАСТОЯЩИЙ КОД! Который там всякими реакторами и Вояджерами рулит десятилетиями... - Evgeny_CD(21.02.2018 22:31)
        
        У NASA, насколько я помню, есть внутренние строгие стандарты для написания отказоустойчивого кода (на с/с++ в том числе). Такой код как раз может рулить вояджерами или забросить зонд на комету. Evgeniy1294(39 знак., 22.02.2018 10:31)
        
        Нужен иной принцип написания кода. Чтобы был наглядным как букварь. Все эти UML и прочие IEC 61131 жалкие попытки приблизиться к высшей цели - ASDFS(21.02.2018 22:45)
        
        Опять прогресс. Вот я читал раньше описания 61131, всякие там FBD и ST и не понимал - нахер весь этот отстой нужен, когда есть С/С++. А спустя год читая те же описания, я понимаю, что FBD и ST очень хорошая, правильная вещь, FBD в особенности, Evgeny_CD(51 знак., 21.02.2018 22:50)
        
        у FBD и других графических языков есть один принципиальный минус - программы в виде текста поддаются автоматизированной обработке - сравнению, форматированию, анализу. Графичесикие языки - крайне ограниченно, только если какие-то функции встроены AlexG(25 знак., 24.02.2018 09:48)
        
        Хорошая программа, форматируется легко, сравнивается. Только не работает 8) Скрипач(56 знак., 24.02.2018 10:11)
        
        Может, и на это вероятно даже какой-то стандарт есть. Но, по факту, FBD-программы хранятся в файлах закрытого формата с которыми ничего нельзя сделать, кроме как открыть в среде разработки которая их породила. - AlexG(24.02.2018 10:23)
        
        Просто я не стал бы относить этот факт к принципиальным. - Скрипач(24.02.2018 10:30)
        
        Учитывая, как часто мне при работе приходится сравнивать версии программ между собой, это довольно важно. AlexG(194 знак., 24.02.2018 11:21)
        
        В части документирования, достаточно крут. А вот сравнение не помешало бы. - Скрипач(24.02.2018 11:48)
        
        Хорошая, правильная вещь, позволяющая экономить время разработки раз в 10 и защищающая от стрельбы по ногам. Но вся эта красота достигается за счет ограничений, в которые можно в один не прекрасный момент упереться с размаху. Я тут сделал недавно AlexG(109 знак., 22.02.2018 05:23)
        
        Тебе можно. - plainuser(22.02.2018 08:00)
        
        Тю. Секрет прост. Замени гигабайты на килобайты - и золотой ключик у тебя в кармане. Быдлокодер в такой клетке не поместится, а вменяемый пацан всё правильно сделает. - SciFi(21.02.2018 22:37)
        
        одобряю такой подход. сам балдею от самых низкоуровневых операций, а всякие там инкапсуляции и наследования и прочие лямбды и прочие хипстерские технологии на дух не переношу. хотя иногда уважаю их результаты работы. - Mahagam(21.02.2018 22:53)
        
        Осталось найти придурка, который за "низкоуровневые операции" будет платить зарплатку :) Скрипач(151 знак., 21.02.2018 22:57)
        
        Если буквально понимать: так уже => Пока без сенсорного экрана, но сенсор уже в наличии. - Dingo(22.02.2018 06:24, ссылка)
        
        ну ок, план производства - 15 миллионов таких выключателей в подсобку. можно сделать за неделю на распберри-пи, а можно за три месяца на каком-нить хитром мелком копеечном контроллере, в который китайцы случайно впихнули ви-фи и прочие приблуды, Mahagam(288 знак., 21.02.2018 23:06)
        
        Рассказ "один байт" в помощь. Это к вопросу о рисках. Много знаете топов, что пойдут на увеличение бюджета R&D в ПЯТНАДЦАТЬ РАЗ?! Скрипач(111 знак., 21.02.2018 23:11 - 23:14)
        
        а много знаете действительно массовых девайсов, которые вы лично сможете удешевить на 5% ? - Mahagam(21.02.2018 23:14)
        
        Я вообще не занимаюсь сколько-нибудь массовыми девайсами. Кишка тонка. Но опыт истинного дзен указывает что удешевить на 5% можно абсолютно все. Скрипач(56 знак., 21.02.2018 23:16 - 23:20)
        
        может и можно, но при переходе с уровня "колдую над байтиками в микроконтроллере" на уровень "я тут на малинку с гитхаба говнокода натащил" ценник конечного изделия может подскочить куда как более чем на 5%. перемножнаем эти копейки разницы на Mahagam(39 знак., 21.02.2018 23:21)
        
        ...или не получаем. Ваша абсолютная вера в успех стоимость оборотных средств не уменьшает. Без штанов можно остаться гораздо раньше старта розничных продаж. - Скрипач(21.02.2018 23:31 - 23:38)
        
        Ценник - это маркетинг. К мегабайтам и мегагерцам отношения не имеет. Вот смотри - сейчас топовый MCU стоит под $20 в небольшом опте, и "линукс микросхема" порядка $12 на АЛИ с 256М ОЗУ, гиговым процом и Linux. - Evgeny_CD(21.02.2018 23:25)
        
        но когда начинаешь сравнивать возможности и срок выпуска, то становится понятно куда идёт разница. "линукс микросхема" может завтра просто исчезнуть с рынка. Mahagam(393 знак., 21.02.2018 23:34)
        
        Но вначале Вы отгрызли себе нишу на рынке, чтобы можно было продать столько своих устройств. И поэтому в в другой лиге. - Evgeny_CD(21.02.2018 23:38)
        
        вот не совсем. Mahagam(335 знак., 21.02.2018 23:43)
        
        Лига не бывает из одной команды :) Так что все ок. - Evgeny_CD(21.02.2018 23:48)
        
        Решение на линукс микросхеме будет кривое и косое, но быстро, значит, дешево.... - Evgeny_CD(21.02.2018 23:27)
        
        Значит, его будут брать больше, тиражи еще упадут, цены сбрасывать не будут - но говна набьют больше, говокод станет еще говнокодистее на 4 ядрах по 2 ГГц, и адепты "линукс микросхемы" купят их еще больше. Вот такая вот занимательная математика от Evgeny_CD(27 знак., 21.02.2018 23:30)
        
        а потом подлые конкуренты втиснут весь функционал в OTP чип от холтека, да разварят его на кусок кривого гетинакса. а у вас только антеннка на ви-фи чипе будет столько стоить, сколько у них всё изделие. - Mahagam(21.02.2018 23:37)
        
        А вы его водой залейте, чтобы гетинакс распух, и покажите всем по дуроскопу. - she(21.02.2018 23:54)
        
        ??? домохозяка, вкуривающая как плохо использовать гетинакс, потому что он не влагостойкий? Дайте две! - Evgeny_CD(22.02.2018 00:02)
        
        А отсутствие кальция (или фтора, я запутался) в зубной пасте, вас значит не смущает? :) - Скрипач(22.02.2018 00:05)
        
        Мы выращиваем бабушек, которые чистят зубы гетинаксом? Постой, у меня трава закончилась... - Evgeny_CD(22.02.2018 00:08)
        
        На, делюсь. Кому какая разница, что там есть или нет в зубной пасте? Главное привязать к конкуренту негативную картинку, а себе - позитивную. Скрипач(75 знак., 22.02.2018 00:11)
        
        Нет, бабушки, чистящей зубы разбухшим гетинаксом! - Evgeny_CD(22.02.2018 00:12)
        
        ...а другие конкуренты ~~выкатят гламурный айфон с конским ценником~~ поставят тачскрин в два раза больше за +7% к цене изделия. С дизайнерскими пиктограммками и сругленными углами. - Скрипач(21.02.2018 23:42 - 23:45)
        
        +1 - Evgeny_CD(21.02.2018 23:47)
        
        этож как для этого им придётся наклонить производителя тачскринов то! ))) - Mahagam(21.02.2018 23:46)
        
        От менеджера одного немецкого завода слышал как оптом покупают арабы. Они торгуются за объем месяца работы завода. Не в кило-штуках продукции, "за сколько продадите то, что что настрогаете за месяц?" - Скрипач(21.02.2018 23:52)
        
        и после подписания бумаг резко наступает неурожайный год ))) - Mahagam(21.02.2018 23:55)
        
        ...а на следующий год клиент уходит в Siemens. Кто-то тут спрашивал почему я не кидаю своих заказчиков. - Скрипач(21.02.2018 23:56)
        
        ну не так же явно, экономисты не всегда ж дармоеды. - Mahagam(21.02.2018 23:59)
        
        Думаю, Немец немного недоговаривал. Мои заказчики требуют раздельно показывать цену на материалы и цену на работы. Вряд ли арабы глупее. - Скрипач(22.02.2018 00:03)
        
        айфоны по такому принципу купить можно? сумочки от гуччи? покупка выхлопа всего завода - это не рядовой случай кагбэ - Mahagam(22.02.2018 00:11)
        
        ХЗ. У меня ни денег таких нет, ни ритейла, способного столько прожевать. Думаю что можно. - Скрипач(22.02.2018 00:14 - 00:24)
        
        Это в духе Билла Гейтса - платил кредиткой. Хотел положить денег на счет Skype, по ошибке купил весь Skype целиком :) - Evgeny_CD(22.02.2018 00:17)
        
        Хорошая задача для ERP, слегка пропатченной злобными русскими хакерами... - Evgeny_CD(22.02.2018 00:04)
        
        Обычное давление на ROI. Те арабы наверняка учились в обычном Кембридже, а не в каких-то солидных восточных университетах. - Скрипач(22.02.2018 00:08)
        
        +1 - Evgeny_CD(21.02.2018 23:57)
        
        Видимо, мне все же стоит написать книгу о методологии проектирования современной электроники. Без схемотехники и программизма. Нужны совсем другие специалисты! - Evgeny_CD(21.02.2018 23:40)
        
        Если есть вифи то мечты об низком уровне сходу идут лесом ибо FCC прямо запрещает доступ к управлению вайфайской периферией из пользовательского софта. Только через сертифицированную прокладку, отодвигающую шаловливые ручки говнокодера от ASDFS(13 знак., 21.02.2018 23:12)
        
        В смысле - чтобы "WiFi на ардуине" не завис и не стал гнать несущую в эфир? - Evgeny_CD(21.02.2018 23:16)
        
        Так так... а где это описано? - Evgeny_CD(21.02.2018 23:15)
        
        Откуда осело уже не найду. Но смысл в том что производителям стандартных радиоканалов, желающим получить сертификат фсс, запрещают открыто публиковать способ управления радиоканалом, который может привести к несоответствию сертификату. ASDFS(63 знак., 22.02.2018 02:50 - 02:56)
        
        Жжешь! Уважаю твое образное мышление! Насчет выключателя в подсобку - нифига не смешно. Это, увы, правда. Но есть решение! Надо основать школу дзен-программизма! Что только те, кто умеют "на асм в два экрана", спасут свою душу, а остальных Evgeny_CD(20 знак., 21.02.2018 23:04)
        
        ...и брать деньги с учеников? Обходясь вообще без работодателя? Скрипач(31 знак., 21.02.2018 23:06)
        
        И с учеников, и с покупателей, и со всех остальных. Жаль, идее уже 2к лет - запатентовать не получится :( - Evgeny_CD(21.02.2018 23:14)
        
        Там была другая идея. Читать "Демон Кратий" или как-то там, вы наверняка в курсе. - Скрипач(21.02.2018 23:33)
        
        О да, Демон Кратий к месту упомянут. Но я про другую идею :) - Evgeny_CD(21.02.2018 23:35)
        
        Угу... Лежит передо мной камень с 2М флэша, 0,5МОЗУ и 200Мипсаме на 16кб кэша датых и кода... Я в него гажу и гажу, гажу и гажу, а всё равно засрал только 13-14% кода и 0 целых % десятых процента ОЗУ. И ХЗ, чего тот компилер в тех ипенях кода mse homjak(90 знак., 21.02.2018 22:49)
        
        Спасибо! Возьму на вооружение! - Evgeny_CD(21.02.2018 22:41)
- Не переживай, у нас WinCE 6.0 управляет 300 МВт тепловой турбиной :) - Evgeny_CD(21.02.2018 21:31)
  - Тепловая турбина - двусмысленно звучит. Паровая? Газовая? - Крок(21.02.2018 23:23)
    - Не будем уточнять :) - Evgeny_CD(21.02.2018 23:55)
  - меня беспокоит ft245. у ftdi дрова отрубаются после единичного сбоя. - 3m(21.02.2018 21:41)
    - Хм... У нас все на Ethernet строго, физический уровень вполне качественно выполнен (но не программный...), немного RS-485 с опторазвязкой, модули DC-DC с нормальном изоляцией стоят по поводу и без повода. Работает на удивление надежно. - Evgeny_CD(21.02.2018 21:45)
  - Но есть горячее резервирование :) - Evgeny_CD(21.02.2018 21:36)

Средства и методы разработки