Guy on Simulink

Simulink & Model-Based Design

Results for: Polyspace

How Polyspace could have detected the vulnerability in Apple’s iOS 1

Posted by Guy Rouleau,

Many users of Simulink and Embedded Coder target their applications to embedded systems. Embedded systems require high levels of integrity in their operation, and increasingly, these systems are being connected to networks to enable new functionality and provide monitoring capabilities. These extensions to embedded systems raise concerns about security vulnerabilities.

...