Ada 和 Spark 在 ARM Cortex-M 上 – 使用 Arduino 和 Nucleo 示例教程

Ada 和 Spark 在 ARM Cortex-M 上 – 使用 Arduino 和 Nucleo 示例教程
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples

原始链接: http://inspirel.com/articles/Ada_On_Cortex.html

本教程为对嵌入式系统编程感兴趣，并希望探索在基于ARM Cortex-M微控制器中使用Ada和SPARK想法的人们编写。配套代码在此处提供：ada-on-cortex.zip 附加内容：非常简单的调度器。

黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 Ada 和 Spark 在 ARM Cortex-M 上 – Arduino 和 Nucleo 示例教程 (inspirel.com) 10 分，swq115 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论帮助 addaon 发表于 24 分钟前 [–] 在形式化验证堆栈的更低一层，一方面，ARM 为较新的 A 架构发布了机器可读的架构规范，使用 ASL，这很棒……另一方面，他们没有为 M 架构做同样的事情，这非常令人沮丧。回复指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

This tutorial was written for all those who are interested in programming embedded systems and who would like to explore the idea of using Ada and SPARK in systems based on ARM Cortex-M microcontrollers.

The accompanying code is available here: ada-on-cortex.zip

Bonus content:

Very Simple Scheduler

Ada 和 Spark 在 ARM Cortex-M 上 – 使用 Arduino 和 Nucleo 示例教程 Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples

Ada 和 Spark 在 ARM Cortex-M 上 – 使用 Arduino 和 Nucleo 示例教程
Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples