| Программное обеспечение программатора EZP2010_V3.0 от 13.11.12 Введена поддержка драйвера для 64х битных систем.
Программа оболочка Драйвер USB ( для 32х разрядных систем, 64х разрядных систем! ) Прошивка программатора для новой версии софта. Описание на англ. (содержание диска) Список поддерживаемых микросхем памяти:
Polyspace R2021a is a major release of MathWorks' static code analysis suite, designed to verify the safety, security, and reliability of C and C++ embedded software. This release is notable for introducing "Polyspace as You Code" and expanding its performance capabilities for complex safety-critical systems. Key Features and Improvements in R2021a What's New in Polyspace R2021a? - MATLAB & Simulink
1. Core Products in R2021a
Polyspace R2021a includes two primary static analysis tools, plus supporting utilities:
Reduced Development Costs: By catching bugs early, developers can avoid the significant costs associated with fixing errors later in the development process or in the field.
- Green Hills MULTI v2020 (C++17)
- IAR EWARM v8.50
- GCC 10.2 (arm-none-eabi)
- Wind River Diab Compiler 5.9.4.1
Complexity with dynamic memory and pointer-heavy code:
Enhanced Monitoring: Improved Polyspace Access logging within the admin UI . What's New in Polyspace R2021a? - MATLAB & Simulink
Further Resources
- MathWorks Documentation: Polyspace R2021a Release Notes
- Webinar: "What’s New in Polyspace R2021a" (MathWorks Tech Talks)
- White paper: "Formal Methods for ISO 26262 with Polyspace" (SAE International, 2021)
- User forum:
comp.software-testing.polyspace (archived)
|
