Clik here to view.
Обновление платформы Prognoz Platform
Международная компания «Прогноз» продолжает совершенствовать системы визуализации данных и углубленной аналитики для клиентов, ориентированных на повышение эффективности управления и внедрение...
View ArticleClik here to view.
Компания 4moms использует ANSYS
4moms (США) является инновационной компанией по производству товаров для детей, которая, используя возможности современной робототехники, вывела отрасль на новый уровень. Постоянно растущий спрос...
View ArticleClik here to view.
Анализ надежности грузоподъемных кранов
Специалисты Konecranes, группы компаний с торговой маркой Lifting BusinessesTM, разработали программу проверки технического состояния грузоподъемных кранов. Crane Reliability Study (CRS) — это...
View ArticleClik here to view.
Программное обеспечение ракеты-носителя Vega-C разрабатывается на языке Ada
Ракета-носитель Vega легкого класса (1500 кг полезной нагрузки) Европейского космического агентства предназначена для выведения на орбиту малых спутников и за время коммерческой эксплуатации с 2012...
View ArticleClik here to view.
Компиляторы Ada и C компании AdaCore квалифицированы по МЭК 61508 и ИСО 26262
Компания AdaCore, производитель средств разработки и верификации ПО критически важных для безопасности встраиваемых систем, провела квалификацию своих компиляторов и других инструментальных средств по...
View ArticleClik here to view.
JTEKT выбрала язык SPARK для верификации ПО электроусилителей рулевого...
Японская корпорация JTEKT, производитель систем усиления рулевого управления, выбрала язык программирования SPARK и инструментальные средства компании AdaCore для разработки и верификации критического...
View ArticleClik here to view.
MViewer — программная среда для управления микропроцессорными устройствами
Программа MViewer устанавливается на ПК под операционной системой Windows (начиная с Windows 7). Устройство соединяется с ПК по интерфейсам USB, RS-485, CAN, Bluetooth и Ethernet. Одной из особенностей...
View ArticleClik here to view.
Интеллектуальные видеокамеры решают задачи контроля
Анализ изображений для систем машинного зрения сводится, в основном, к задаче сжатия данных. Поток необработанных данных является исключительно объемным. Одно черно-белое изображение от датчика...
View ArticleПрограммное обеспечение без ошибок:язык Ada 2012
Язык программирования Ada был разработан в начале 1980-х гг. с целью создать язык для встраиваемых систем реального времени с повышенными требованиями к надежности программного обеспечения (ПО). В 1983...
View ArticleClik here to view.
Основы стандарта программирования ПЛК
В третьей редакции стандарт языков программирования ПЛК IEC 61131-3 предоставляет пользователям надежную структуру для разработки эффективных решений на всех этапах автоматизации процессов. Здесь...
View Article