- [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! Evgeny_CD(1580 знак., 18.05.2018 02:26 - 26.05.2018 02:17, dao, ссылка, полностью)
- Cobra интересна, но денег стоит. Можно сразу забыть. - fk0(26.05.2018 03:05)
- Просветите немного, раз немного въехали в тему. VVB_(255 знак., 18.05.2018 07:40,
)
- Никак и незачем. Как из модели корабля, прошедшей испытание в бассейне, сделать большой корабль? Всё переделать настоящими инструментами из настоящих материалов и с настоящими размерами. Верифицируется только модель, разумеется. Но если большая fk0(203 знак., 19.05.2018 00:10)
- Я пока даже на полшишечки не въехад. Я просто почувствовал некий новый полход по отношению к тому, что используется традиционно. - Evgeny_CD(18.05.2018 13:49)
- Вот, например, инструмент Yakindu для реализации конечных автоматов на Си, с возможностью верификации выполнения программы уже в железе (или на ПК). Иногда пользуюсь. VVB_(904 знак., 18.05.2018 08:06,
)
- fk0, вот чего ты молчал про такую штуку? - Evgeny_CD(18.05.2018 02:46)
- temporal logic упоминалось в книге, которую я нашел в 2007 году -> Только я нихера не понял, что это за зверь такой - Evgeny_CD(18.05.2018 02:44, ссылка)
- Тулзы для верификации моделей -> - Evgeny_CD(18.05.2018 02:40, ссылка)
- Просто охренеть можно! Мощнейший аппарат описания поведения любого ПО и верификации реального ПО на соответствие модели. Море книг. Стройный математический аппарат. Интересно, Шалыто со своим автоматным программированием, создатель Дракона - они Evgeny_CD(21 знак., 18.05.2018 02:37)
- Краткие материалы по LTL, CTL. Evgeny_CD(18.05.2018 02:33)
- Есть переменная (регистр модбас) который пишется и читается из внешнего источника. Его надо засинхронизировать с переменной, которая аналогично читается и меняется из другого источника (элемент меню). Как правильно делать такие вещи? - michas(02.02.2019 17:50, dao, полностью)
- я в union храню BioWolf2000(950 знак., 05.02.2019 16:28)
- Что значит "засинхронизировать"? Я - не жадничаю, запись и чтение регистра - два больших свича, в которых в явной форме проверки значений и запись в extern переменные. Скрипач(206 знак., 02.02.2019 18:08 - 18:13)
- Modbus - УГ по принципу "Стой и жди". С компьютером он в принципе не может быстро и устойчиво работать, так как у ОС задержки 15мс - норма. Что-то быстрое можно родить, если вынести петлю за компьютер, а в компьютер передавать данные другим Мышь(12 знак., 02.02.2019 17:56,
)
- не знаю как правильно, я обычно регистры модбас делаю как указатели на соответствующие переменные, можете сделать так же, а можете переменную в меню сделать как указатель на регистр модбаса - AVF(02.02.2019 17:54)
- Чтобы добавить в линукс ещё один UART и назначить для него выводы надо перекомпоновать всё или как это делается. Ничего не знаю про линукс! iMX6UL - Молодой коллега(03.02.2019 00:02, dao, полностью)
- [Tibbo] -> --> Они выкурили все мои посты и сделали то, о чем я писал уже 10 лет... Evgeny_CD(326 знак., 30.01.2019 00:23, dao, ссылка, ссылка, полностью)
- [10GBase-* и embedded] Оно таки пришло в наш мир! То, о чем я писал, свершилось. Evgeny_CD(1060 знак., 31.01.2019 23:49 - 01.02.2019 00:00, dao, ссылка, полностью)
- Кто-нибудь пробовал писать код, чтобы подружить таблицу SNMP и SQLITE в агенте? lloyd(73 знак., 01.02.2019 13:57, dao)
- Интересный ресурс - Maker.io от Digikey. СтОит по меньшей мере просмотреть список платформ --> - MBedder(31.01.2019 23:46, dao, ссылка, полностью)
- Вопрос посвящён теме как правильно сделать радар (см. ниже). fk0(54 знак., 31.01.2019 12:09, dao, ссылка, картинка, полностью)
- [SSD] NVMe Samsung 970 Pro и 970 Evo -> --> Даже достаточно простые SSD, доступные всем, имеют невероятные параметры. - Evgeny_CD(26.04.2018 22:25, dao, ссылка, ссылка, полностью)
- На ISSCC 2018 Intel показала прототип фирменного дискретного GPU -> --> - Evgeny_CD(22.02.2018 00:39 - 00:49, dao, ссылка, ссылка, полностью)
- Ренессанс COM портов? Чтобы это значило. Пример анонса современного десктопа -> Evgeny_CD(738 знак., 28.01.2019 21:24, dao, ссылка, полностью)
- Было-ж сказано за СОМ-порт. "Удалить COM-порт - всё равно, что жопу зашить. И потом, что-б посрать, - делать каждый раз полостную операцию." ©пёрто тутачки. - Точка опоры(31.01.2019 10:42)
- Системное решение вопроса -> - Evgeny_CD(30.01.2019 00:24, ссылка)
- У меня стоит плата с Мосчипом на ЛПТ и 2 КОМ. Единственное неудобство, венда присваивает им какие-то у@бищные номера. А так, нормально. - mse homjak(29.01.2019 18:50)
- Нужен современный, 32 битный или даже не побоюсь, 64 битный COM! - michas(29.01.2019 14:37)
- у нас на АЗС все контроллеры колонок у всех производителей к компу - через СОМ-порт. Тут же у оператора касса, сканер штрих кода и прочее. - Лагунов(29.01.2019 09:11)
- Может таки конкуренция заставила?Постоянно сталкиваюсь с тем что мои клиенты с жопой в мыле ищут комп с компортом чтоб спать спокойно.Переходники с усб всех уже достали.Да на одни сканеры штрихкодов этого добра миллионы нужно. - PlainUser(29.01.2019 07:31)
- COM-порт подыхает из-за своей минус-вольтовости на линиях, но UART будет жив вечно! :). Т.е. я бы предложила логику RS-232 оставить прежней (чтобы компы не переделывать), но на физическом плане заменить ему провода на витую пару с ЭСЛ-логикой. Ксения(185 знак., 29.01.2019 03:13)
- Вот наисвежайшие компы от HP. Кроме самой миллипизерной модели COM на месте. Evgeny_CD(28.01.2019 23:31)
- Скажем так, что с десктопных материнок они никуда и не могли бы исчезнуть, потому как UART - это часть SuperIO чипа. Shust555(475 знак., 28.01.2019 23:11)
- Были бы "злобные дядьки" умнее - делали бы COMы с RS485/422. - argus98(28.01.2019 22:02)
- На моих компах COM и не переводились никогда - целенаправленно покупались не шибко навороченные материнки с двумя портами... Куда? Да все туда же - все тычут в планшеты, а десктопы остаются, имхо, для серьезных дел, где COM совсем не лишний. - Гудвин(28.01.2019 21:29)
- [iMX Adlink SoM] -40C to +85C -> пример цены Evgeny_CD(40 знак., 31.01.2019 00:39 - 00:42, dao, ссылка, полностью)
- [Asix AX99100] -> Как окончательное решение проблем COM и LPT портов -> --> на современном ПК. И для Linux платочек тоже :) Evgeny_CD(355 знак., 30.01.2019 00:18, dao, ссылка, ссылка, полностью)
- DARPA. The IMU shall support the SDLC protocol. The serial data output НашиРукиНеДляСкуки(57 знак., 30.01.2019 14:41,
, dao)MBedder
- Мир читает мои посты! Жила была "Linux микросхема за $16" -> и в дополнение вырос модулек "MCU+FPGA за $7" --> за $23 получается совершенно термоядерная штучка! STM32H7 полный, 2 Мбайтный, напрягся... - Evgeny_CD(29.01.2019 23:22, dao, ссылка, ссылка, полностью)
- Выбирай: sav6622(109 знак., 29.01.2019 23:27)