Embedded Systems<p>This week in Embedsys Weekly #135<br />- Siemens new not patchable vulnerability in S7-1500 family <br />- Ada/SPARK versus Misra C with Frama-C <br />- A Rust course by the Android team <br />and much more... <a href="https://embedsysweekly.com/135-ada-spark-vs-misra-c-frama-c/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">embedsysweekly.com/135-ada-spa</span><span class="invisible">rk-vs-misra-c-frama-c/</span></a></p>