本周我开始在嵌入式系统公司的目录上工作。它是100％免费和公共的。它也保留给少于50人，有20％以上的人专用于嵌入式系统的公司。我计划在接下来的4周内在目录上工作，并于11月开始发布。

如果您要我添加您的公司，请，将Hello电子邮件发送给embedsys@embedsysweekly.com，我会以少于10个问题回复您。

快乐阅读！

文章

Linux kernel 6.0: Merge of the runtime verification subsystem
通过运行时验证子系统，可以创建内核可以或可以采用的状态和过渡的高级模型。基于此模型，验证代码在运行时检查内核的行为如模型中所述。对于来自内核实时项目的嵌入式系统来说，这是一个了不起的补充。为了帮助我们，他们也交付了the wip (wakeup in preemptive) monitor示例。

A tiny VU lander
Mohit Bhoite是由电子组件制成的小型雕塑的著名创造者。在issue 89，他让我们使用他的一张照片。在这篇新文章中，他根据Attiny85分享了他的VU仪雕塑的原理图和代码。这可能是您周末的有趣项目。

A lesson from the past: building real-time systems is hard
引起系统重置的探路者错误的回顾。这是VXWORKS RTOS上的经典优先反转问题。

Posits, a New Kind of Number, Improves the Math of AI
对于使用归一化数字（-1和1之间的应用程序）的应用，浮动数的新表示形式确实更好。正是深度学习领域中使用的浮点。

Announcing Rust 1.64.0: C-compatible FFI types in core and alloc
Rust的发布公告值得在Embedsys Weekly中占有一席之地，因为它是采用Rust用于裸机开发的主要里程碑。现在，互操作性要好得多，因为Rust Code可以直接使用类型的别名来匹配任何目标上C的相应类型，并且没有标准库。

教育 /社区

All About Electronic Circuits for Kids
它已由美国的STEM俱乐部成员寄给我，用于美国的女孩。我坚信应该尽快将孩子介绍给电子产品。此页面可以帮助教师找到正确的角度。

职位

Norik Systems, Embedded Software Engineer, Full-time, Maribor, Slovenia, EU
Norik系统为各种行业提供软件工程服务，包括汽车，空中交通管制，物流和体育。

杂项

How, Exactly, Did NASA Smash Its DART Spacecraft Into an Asteroid?
使任务成为可能的三个主要组成部分是什么？ Draco，Smart Nav和Rosa。这样说，这没有很多意义，但是我保证这篇文章做得很好地解释了它们的角色。