Polyspace
Варианты поставки и цены вы можете узнать у наших менеджеров.
Описание продукта
Polyspace представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде.
Polyspace Client for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде. Для верификации используется статический анализатор кода, который не требует исполнения кода и разработки тестов. Polyspace client for C/C++ использует метод абстрактной интерпретации для верификации кода. Вы можете проверять автоматически сгенерированный код, написанный разработчиками или комбинации обоих вариантов перед компиляцией, запуском кода и тестирование функционала.
Ключевые особенности:
- Верификация на уровне классов или файлов
- Используется метод абстрактной интерпретации
- Ошибки исполнения показываются непосредственно в коде
- Проверка на соответствие кода MISRA-C:2004, MISRA-C++:2008, JSF++. Несоответствия также указываются непосредственно в коде
- Вывод различных статистик о качестве и сложности кода
- Интеграция с Eclipse и Microsoft Visual Studio
Polyspace Server™ for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде. Для более производительных (с точки зрения скорости) верификаций, Polyspace Server™ for C/C++ позволяет запускать задачи верификации на вычислительном кластере. Задачи передаются на сервер с клиентской части Polyspace — Polyspace Client for C/C++. Вы можете отправлять задачи на сервер для автономного запуска и получать e-mail уведомления по окончании задач. Ознакомиться с различными метриками кода, списком ошибок и прочей статистикой вы может с помощью Web браузера. После окончании верификации Вы сможете загрузить результаты обратно в клиентскую часть Polyspace.
Ключевые особенности:
- Доступ к статусу верификации и метрикам через Web браузер
- Автоматическое планирование задач на кластере и уведомления по e-mail
- Собственный планировщик задач
- Поддержка многоядерных кластеров
- Автоматическое создание отчетов
- Одновременная работа в различных ОС
Polyspace® Model Link™ SL расширяет возможности Polyspace Client for C/C++ и Polyspace Server™ for C/C++ инструментами, позволяющими передавать сгенерированный С код напрямую из Simulink моделей. В результате, Вы сможете понять, какие части Ваших моделей являются надежными, а также исправить те части моделей, которые приводят к ошибкам исполнения в коде. С помощью Polyspace® Model Link™ SL, вы работаете в Simulink чтобы проверять С код, сгенерированный с помощью Embedded Coder. Таким образом вы проверяете и исправляете сгенерированный и ручной код до его компиляции.
Ключевые особенности:
- Используются передовые методы верификации кода
- Обрабатывается весь спектр значений переменных Вашего кода
- Передает результаты верификации обратно в Simulink модель
- Проверки запускаются из Simulink или командной строки MATLAB
Цена на Polyspace предоставляются по запросу.
Системные требования: Polyspace
Для успешной установки новых версий MATLAB необходимы следующие минимальные средства:
компьютер с микропроцессором не ниже Pentium и математическим сопроцессором, рекомендуются процессоры Pentium III, Pentium IV, Pentium M или AMD Athlon, Athlon XP, Athlon MP (последние версии MATLAB поддерживают двухъядерные (например серий Intel Core 2 Duo) и четырехъядерные процессоры (Intel Core 2 Quad);
устройство считывания компакт-дисков (привод DVD), мышь, 8-разрядный графический адаптер и монитор, поддерживающие не менее 256 цветов;
операционная система Windows XP/2000/NT/Vista (допускается Windows NT4 с сервис-пакетами 5 или 6a);
ОЗУ емкостью 256Мб для минимального варианта системы (рекомендуется иметь память 512 Мб и выше);
до 5000 Мб дискового пространства при полной установке всех расширений и всех справочных систем (345 Мб при установке только MATLAB со справкой);
cвободный USB-порт для подключения ключа, открывающего доступ к системе.
Для использования расширенных возможностей системы нужны графический ускоритель, Windows-совместимые звуковая карта и принтер, текстовый процессор Microsoft Word 97/2000/XP для реализации Notebook, компиляторы языков Cи/Cи++ и/или ФОРТРАН для подготовки собственных файлов расширения и браузер Netscape Navigator 4.0 и выше или Microsoft Internet Explorer 5.0 и выше. Для просмотра файлов справочной системы в формате PDF нужна программа Adobe Reader или Adobe Acrobat 5.0 и выше.
О производителе
Компания The MathWorks специализируется на разработке программного обеспечения в области численных вычислений и компьютерного моделирования.
Программное обеспечение Minitab Statistical Software представляет собой набор инструментов для Six Sigma и других проектов повышения качества. Minitab предоставляет средства для выполнения каждой фазы проекта повышения качества, включая такие функции как StatGuide и ReportPad, позволяющие обрабатывать результаты анализа.
MathWorks Simulink Coder
Программное обеспечение Simulink Coder предоставляет функции создания, исполнения кода C и C ++ из моделей Simulink, диаграмм и функций MATLAB. Разработанный при помощи Simulink Coder исходный код может быть использован в приложениях реального времени или в приложениях, которые не требуют выполнения в реальном времени. Данный код также может использоваться для ускорения моделирования, быстрого прототипирования и аппаратно-программного тестирования. Разработчики могут настраивать параметры Simulink Coder и наблюдать за сигналами в созданном коде, используя Simulink, или взаимодействовать с кодом вне среды MATLAB и Simulink.
Microsoft DreamSpark Premium
Программное обеспечение Microsoft DreamSpark Premium – это программа сотрудничества со сферой образования, благодаря которой высшие и средние учебные заведения могут использовать в образовательном процессе более 500 современных продуктов и технологий Microsoft при минимальных финансовых затратах. Программа Microsoft DreamSpark Premium адресована учебным заведениям, обладающим лицензией на обучение техническим или естественнонаучным специальностям, и предназначена исключительно для учебных и исследовательских целей.
MathWorks Polyspace Server for CC
Программное обеспечение Polyspace Server for C/C++ является серверным верификатором кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения в исходном коде. Для более производительных (с точки зрения скорости) верификаций, Polyspace Server for C/C++ позволяет запускать задачи проверки на вычислительном кластере. Задачи передаются на сервер с клиентской части – Polyspace Client for C/C++. Пользователи могут отправлять задачи на сервер для автономного запуска и получать по электронной почте уведомления по окончании задач. Различные метрики кода, списки ошибок и прочая статистика предоставляются с помощью web-браузера. После окончания верификации результаты удобно загружать обратно в клиентскую часть Polyspace. В Polyspace Server for C/C++ реализована поддержка промышленных стандартов с помощью IEC Certification Kit (для IEC 61508 и ISO 26262) и Do Qualification Kit (для DO 178).
Mnova Verify
Программное обеспечение Mnova Verify позволяет оценивать аналитические данные и решать, являются ли они совместимыми со структурой, предложенной пользователем. Итогами работы Mnova Verify выступают краткое резюме по каждой предложенной структуре, которое содержит баллы за качество (от – 1.0 до +1.0), а также подробные результаты тестов, проведенных приложением. Таким образом, Mnova Verify может применяться для ранжирования предложенных структур, чтобы показать, какая из них сильнее соответствует экспериментальным данным.
MathWorks Polyspace Model Link SL
Программное обеспечение Polyspace Model Link SL предлагает дополнительные инструменты для Polyspace Client for C/C++ и Polyspace Server for C/C++, позволяющие передавать сгенерированный С-код напрямую из Simulink-моделей. В результате разработчики получают представление, какие части моделей являются надежными, а также могут исправлять те части моделей, которые приводят к ошибкам исполнения в коде. С помощью Polyspace Model Link SL пользователи работают в Simulink, чтобы проверять С-код, сгенерированный с помощью Embedded Coder. Таким образом, осуществляется проверка и исправление сгенерированного и ручного кода до его компиляции.
Mnova Suite
Программное обеспечение Mnova Suite является комплектом инструментов для аналитической химии, предлагающим поддержку множества поставщиков, техник и платформ. Пакет Mnova Suite создан в качестве контейнера для приложений Mnova, которые обрабатывают данные масс-спектрометрии и ядерного магнитного резонанса. Mnova Suite – это графический интерфейс пользователя, где запускаются все продукты Mnova. Благодаря единству среды и возможности автоматизации пользователи Mnova Suite позволяет сокращать время на обучение и оптимизировать рабочие процессы. Комплекс совместим с платформами Windows, Mac и Linux.
MathWorks Polyspace Client for CC
Программное обеспечение Polyspace Client for C/C++ является верификатором кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения в исходном коде. Для верификации Polyspace Client for C/C++ использует статический анализатор кода, который не требует исполнения кода и разработки тестов. Polyspace Client for C/C++ задействует метод абстрактной интерпретации для верификации кода. Пользователи могут проверять автоматически сгенерированный код, написанный разработчиками, или комбинации обоих вариантов перед компиляцией, запуском кода и тестированием функционала. В Polyspace Client for C/C++ реализована поддержка промышленных стандартов с помощью IEC Certification Kit (для IEC 61508 и ISO 26262) и Do Qualification Kit (для DO 178).
Mnova qNMR
Программное обеспечение Mnova qNMR – это мощное решение для специалистов, непрофессиональных пользователей и систем автоматизации, позволяющее рассчитывать концентрацию, чистоту и относительные факторы отклика. Приложение Mnova qNMR обладает всеми функциями пакета Mnova Suite для определения оптимальных значений концентрации или чистоты химических соединений. Mnova qNMR обрабатывает и оценивает данные, выбирает наиболее подходящие для количественного анализа мультиплеты и интегрирует их, чтобы превратить интегралы в концентрации. Вся процедура может быть практически полностью автоматизирована (для библиотек или на этапе сбора данных спектра ядерного магнитного резонанса) или использована в качестве удобного инструмента гибкой отчетности.
MathWorks Phased Array System Toolbox
Программное обеспечение Phased Array System Toolbox – это комплект алгоритмов и инструментов для проектирования, моделирования и анализа систем обработки сигналов для фазированных антенных решеток. Алгоритмы представлены в виде MATLAB-функций, системных объектов и Simulink-блоков. Phase Array System Toolbox предлагает алгоритмы генерации сигналов, формирования луча, обнаружения целей, оценки направления прихода сигнала и пространственно-временной адаптивной обработки.
Mnova NMRPredict Desktop
Программное обеспечение Mnova NMRPredict Desktop – это инструмент прогнозирования структуры молекул и спектра ядерного магнитного резонанса (NMR). Mnova NMRPredict Desktop выполняет прогнозирование в одномерном измерении (1H, 13C, 15N, 19F, 31P, 17O, 29Si) и HSQC-верификацию из структуры молекулы. Mnova NMRPredict Desktop легко позволяет сопоставлять и объединять экспериментальные и прогнозируемые данные, интегрируя эти операции в общий рабочий процесс.
MathWorks MATLAB Distributed Computing Server
Программное обеспечение MATLAB Distributed Computing Server является серверной частью системы организации распределенных вычислений в среде MATLAB. Совместно с клиентской частью Parallel Computing Toolbox сервер MATLAB Distributed Computing Server позволяет разрабатывать распределенные приложения, передавать их на сервер и управлять их исполнением в сетях с распределенными вычислительными ресурсами.
Mnova NMR
Программное обеспечение Mnova NMR – это многоплатформенный инструмент, предназначенный для обработки и анализа данных ядерного магнитного резонанса (NMR). Решение Mnova NMR оптимально подходит продвинутым специалистам, требующим обширных возможностей, а также начинающим пользователям, которым необходимо простое в освоении ПО, быстро предоставляющее высококачественные результаты. Для обработки и анализа NMR пользователям Mnova NMR нужно только «перетаскивать» в программу данные из любого NMR-поставщика и запускать автоматическую обработку спектра – после этого данные готовы для NMR-анализа. Важнейшими особенностями Mnova NMR являются простые обработка и анализ одно- и двухмерных измерений NMR, а также интеллектуальное проставление значений химических сдвигов.
MathWorks MATLAB Coder
Программное обеспечение MATLAB Coder предлагает функции генерации автономного кода C и C + + из кода MATLAB. Созданный с помощью MATLAB Coder код легко читается и не зависит от платформы. MATLAB Coder поддерживает основные возможности языка MATLAB, в том числе операторы языка MATLAB, функции и матричные операции. Продукт способен формировать MEX-функции, которые позволяют ускорить части кода MATLAB, содержащие большой объем вычислений, а также проводить верификацию сгенерированного кода. MATLAB Coder взаимодействует с Simulink Coder и Embedded Coder для генерации C-кода из моделей Simulink, которые содержат код MATLAB.
Mnova MS
Программное обеспечение Mnova MS является инструментом обработки данных газовой, жидкостной хроматографии и масс-спектрометрии (LC GC MS). Предоставляя удобный интерфейс для данных от различных поставщиков и автоматизируя различные функции (чтения и отображения данных, комплексного вычислительного анализа и др.), Mnova MS остается мощным и простым решением как для продвинутых, так и для начинающих пользователей. Ключевыми возможностями Mnova MS являются профессиональная визуализация, анализ и обработка данных LC GC MS, простая генерация масс-хроматограмм и автоматическое сопоставление молекулярных структур.
MathWorks xPC Target
Программное обеспечение xPC Target является высокопроизводительной средой с клиент-серверной архитектурой. xPC Target позволяет соединять модели Simulink и Stateflow с физическими исполнительными механизмами и выполнять их в реальном времени, используя универсальную и экономичную PC-платформу. Обширный функционал предназначен для быстрого прототипирования систем управления, программно-аппаратного тестирования и разработки приложений в открытой аппаратной платформе. С помощью xPC Target разработчики могут создавать свои модели на рабочей станции, автоматически генерировать код с помощью MATLAB Coder и Simulink Coder и загружать его на целевой компьютер на операционной системе реального времени xPC Target, поставляемой с пакетом. Специальное дополнение к пакету – xPC Target Embedded Option – позволяет собирать готовые встроенные устройства на базе PC-платформы для систем управления, обработки сигналов, снятия данных, калибровки, испытаний и т. д.
Mnova DB
Программное обеспечение Mnova DB – это база данных, в которой можно хранить аналитическую информацию в целях дальнейшего поиска и работы с ней. Новые записи в базе данных Mnova DB создаются в два клика мышью, дублирование записей исключается. После этого они становятся доступны для нескольких способов поиска: по структуре или подструктуре, по определенному расположению пиков, мультиплетам и т. п.
MathWorks xPC Target Embedded Option
Программное обеспечение MathWorks xPC Target Embedded Option – это специальное расширение пакета xPC Target, позволяющее реализовывать и распространять готовые аппаратные устройства на базе PC-платформы. MathWorks xPC Target Embedded Option предоставляет обширные функции для быстрого прототипирования, программно-аппаратного тестирования и разработки приложений в открытой аппаратной платформе. xPC Target позволяет объединять модели Simulink и Stateflow с реальными физическими исполнительными механизмами и управлять ими в режиме реального времени, используя PC-платформу.
MathWorks Thermolib
Программное обеспечение Thermolib – это расширение для моделирования и симуляции термодинамических систем из различных областей. Пакет Thermolib содержит набор блоков Simulink для моделирования систем и функции MATLAB для термодинамических расчетов. Thermolib предлагает термодинамические и термо-химические блоки, интегрированные в окружение MATLAB и Simulink. Фундаментальные термодинамические блоки помогают пользователям создавать свои собственные компоненты. Термо-физическая база данных взята из таблиц JANAF и включает множество общепринятых веществ (H2O, CO, CO2, H2, N2, CH4, C2H6, C3H8, i-C8H18, NH3, R12, R134a, R125, R32, R1234yf, R407c, и т.д.) – база данных может легко расширяться пользователем.
MathWorks Wavelet Toolbox
Программное обеспечение MathWorks Wavelet Toolbox – это пакет расширения MATLAB для работы с вейвлетами. содержит функции вейвлет преобразования, средства разработки вейвлет-алгоритмов, функции анализа, синтеза, фильтрации, сжатия и обработки, а также инструменты для кратномасштабного анализа одномерных и двухмерных данных. С помощью MathWorks Wavelet Toolbox можно обнаруживать те свойства, которые сложно найти классическими частотными методами.
| Санкт-Петербург Москва |
(812) 363-28-63 (499) 403-12-24 |
Polyspace Code Prover
Доказательство отсутствия ошибок времени исполнения в программном обеспечении.
Polyspace Code Prover помечает результаты анализа цветом
Polyspace Code Prover — это инструмент для надежного статического анализа, который доказывает отсутствие переполнения, деления на ноль, доступа за пределы границ массива и других ошибок времени выполнения в исходном коде C и C++. Данный анализ выполняется без выполнения программы, инструментации кода или тестовых векторов. Polyspace Code Prover использует семантический анализ и абстрактную интерпретацию, основанную на формальных методах, для проверки межпроцедурного взаимодействия, потоков данных и управления программного обеспечения. Инструмент используется для верификации рукописного кода, сгенерированного кода или их комбинации. Каждый оператор кода помечается цветом который указывает, доказано ли отсутствие или наличие ошибок времени исполнения, или же данный оператор недостижим или отсутствие ошибок времени исполнения не доказано.
Polyspace Code Prover отображает информацию о диапазоне для переменных и возвращаемых значений функций и может доказать, какие переменные превышают заданные пределы диапазона. Результаты верификации кода используются для отслеживания показателей качества ПО и проверки соответствия данным целям качества. Polyspace Code Prover можно использовать с Eclipse IDE для проверки кода на рабочем столе.
Для доказательства соответствия отраслевым стандартам применяются IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Certification Kit (for DO-178).
Polyspace Code Prover помечает результаты анализа цветом
Верификация кода с использованием формальной математики
Polyspace Code Prover определяет операции кода C/C++, которые никогда не будут вызывать ошибки времени исполнения, независимо от условий выполнения. Все пути исполнения кода по всем возможным входам анализируются без запуска кода. Таким образом удовлетворяются требования по сертификации для проектов, основанных на отраслевых стандартах.
Улучшение кода и анализа
Всплывающая подсказка показывает диапазоны значений переменных и операторов
Polyspace Code Prover сокращает время, затрачиваемое на проверку кода, отладку и тестирование на робастность. Проверяются потоки управления и потоки данных программного обеспечения и вычисляются диапазоны переменных и операторов. Идентифицируются все разделы кода, которые не могут быть достигнуты в каком-либо пути исполнения и ошибки в логике и структуре программы. Polyspace Code Prover верифицирует сгенерированный код и создает трассируемость до блока исходной модели Simulink.
Всплывающая подсказка показывает диапазоны значений переменных и операторов
Автоматизация верификацию кода с помощью сервера Polyspace Code Prover
Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа
Polyspace Code Prover Server служит для автоматизации верификации кода, обеспечивая запуск движка Polyspace Code Prover в серверной среде с такими средами непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, отправляются уведомления по электронной почте. Результаты верификации могут быть загружены в Polyspace Code Prover Access, для последующей сортировки и исправления дефектов.
Совместная работа с Polyspace Code Prover Access
Суммарная информация о проекте в Polyspace Code Prover Access
Polyspace Code Prover Access обеспечивает просмотр результатов статического анализа кода Polyspace и показателей качества в веб-интерфейсе, а также их центральное хранилище. Инструменты навигации для исследования результатов статического анализа отображаются рядом с кодом. Информационные панели отображают информацию, которую можно использовать для отслеживания качества программного обеспечения, состояния проекта, количества дефектов и метрик кода. Веб-интерфейс также обеспечивает создание и назначение заявок в таких инструментах отслеживания ошибок, как Jira.
Polyspace Bug Finder
Выявление ошибки программного обеспечения с помощью статического анализа.
Создайте собственный путь навигации.
Polyspace Bug Finder выявляет ошибки время исполнения, проблемы параллелизма, уязвимости безопасности и другие дефекты во встраиваемом программном обеспечении, созданном на языках C и C ++. Polyspace Bug Finder анализирует программный контроль, поток данных и межпроцедурное поведение с использованием статического анализа и семантического анализа. Дефекты и ошибки помечаются сразу после их обнаружения, что обеспечивает ранжирование и исправление ошибок на ранних этапах процесса разработки.
Polyspace Bug Finder проверяет соответствие кода стандартам кодирования, таким как MISRA C , MISRA C++, JSF ++, CERT C, CERT C ++ и пользовательским соглашениям об именах. Генерируется отчеты, состоящие из найденных ошибок, нарушений правил кода и показателей качества кода, включая цикломатическую сложность. Polyspace Bug Finder можно использовать с IDE Eclipse для бесшовной интеграции анализа кода.
Для автоматически сгенерированного кода результаты анализа Polyspace можно трассировать до моделей Simulink и блоков dSPACE TargetLink .
Для доказательства соответствия отраслевым стандартам применяются IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Certification Kit (for DO-178).
Создайте собственный путь навигации.
Обнаружение ошибок на ранних стадиях разработки
Трассируемость между результатами анализа и моделью Simulink
Трассируемость между результатами анализа и моделью Simulink
Обеспечивается просмотр кода наподобие отладчика с трассировкой событий, значениями переменных и деревьями вызовов. Результаты анализа сгенерированного кода трассируются к блокам исходной модели. Polyspace Bug Finder интегрируется с любым компилятором, целевым процессором и ОСРВ.
Сделайте код безопасным и надежным
Настройка проверки на соответствие стандартам кодирования
Выполняется проверки на соответствие кода на стандарты кодирования MISRA C, MISRA C++, AUTOSAR C++ 14, JSF++ а также стандарты, определенные пользователем. При помощи анализа кода демонстрируется соответствие отраслевым стандартам, таких как ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304.
Результаты анализа сравниваются с пороговыми значениями качества, что обеспечивает упрощение коммуникацию команд разработчиков программного обеспечения и отслеживание этапов проекта.
Настройка проверки на соответствие стандартам кодирования
Автоматизация анализа кода с Polyspace Bug Finder Server
Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа
Движок статического анализа Polyspace Bug Finder Server ™ запускается на компьютере серверного класса с такими инструментами автоматизации и непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, уведомления о дефектах отправляются по электронной почте, а сами результаты загружаются в Polyspace Bug Finder Access, для последующей сортировки и исправления дефектов.