首页
学习
活动
专区
工具
TVP
发布

嵌入式大师Michael J.Pont的论文,教学视频和书籍,堪称大师中的战斗机

说明:

1、大师在嵌入式领域有很深的造诣,他写的那本时间触发嵌入式系统设计模(Patterns for time-triggered embedded systems)深受读者们的喜爱。2014年我们写的uCOS-III教程里面基于时间触发的合作式调度和混合式调度就是来自他的分享。

2、大师真正的将时间触发架构进行了发扬光大,推出一款芯片,自带硬件逻辑的时间触发调度器,应用领域包括航空航天,医疗,工业,汽车,船舶,国防,卫星系统以及高端消费品。这个时间触发调度要远比书籍中讲解的要复杂的多。

3、早期就有自己的研发团队,后来成立了公司。他们早期的网站是:

http://www.tte-systems.com/,

从2007年到2013年,之后的2014到2018升级到新的网站:

https://www.safetty.net/ 。

4、他们新成立的公司,在嵌入式系统的安全可靠性方便有非常强大的功底,各种航空航天,工业,医疗,汽车,家电等方面的安全认证都搞的很溜。

下面推荐干货(书籍在论坛可下载)。

1、时间触发嵌入式系统设计模中英文版数据,超经典:

时间触发嵌入式系统设计模式(英文版).pdf

时间触发嵌入式系统设计模式(中文版).pdf

2、另一本书籍是《The Engineering of Reliable Embedded Systems (Ed. 2)》

内容是基于第二代时间触发(TT)架构的使用,记录了一种经过行业验证的可靠嵌入式系统软件开发方法。时间触发架构可以精确地模拟预期的系统行为。 这意味着:

(1)在开发过程中,我们可以证明所需要求都已得到满足;

(2)在运行时,我们可以很快发现问题。

最终的结果是,我们可以高度确信TT系统:

(1)按要求精确操作;

(2)如果出现问题则进入适当的状态。

上述特征意味着TT系统提供了可以满足各种国际安全标准的极有效方法,包括IEC 61508(工业认证),ISO 26262(汽车认证),IEC 62304(医疗认证),IEC 60730(家电认证)和DO-178C(航空航天)。

下面是各种认证标准的等级:

3、官网提供了各种安全认证的经典案例,大家有兴趣可以学习下,不可多得的好资源:

4、需要大师的论文,可以Gooogle学术搜索 Michael J. Pont ,注意是学术搜索:

https://scholar.google.com/

部分效果截图:

5、大师的Youtube频道:

https://www.youtube.com/user/SafeTTynet/videos

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20180719A1SMGC00?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券