CMU嵌入式系统讲稿(和视频)

2020-08-07 02:29:11

这是一个统一的清单,列出了我在卡内基梅隆大学的课程、主旨演讲和我所做的其他演讲中的各种主题的演讲材料。在通过电子邮件发送有关使用的信息之前,请参阅本页末尾的版权声明。

代码质量、安全性、安全性。(最后一次更新是2018年秋季;更新2020年秋季正在进行的工作。)。

嵌入式代码的挑战;只需要一行糟糕的代码;大规模生产的问题;产品的生死存亡取决于软件;考虑最坏情况;设计安全性;安全问题;以工业控制为目标;安全性设计;测试ISN&39;T足够菲亚特克莱斯勒吉普黑客攻击;福特myTouch更新;丰田UA代码质量;心脏出血;Nest恒温器;本田UA召回;三星键盘漏洞;医院输液泵;LIFX智能灯泡;德国钢厂黑客攻击;FIDA UA代码质量;心脏出血;Nest恒温器;本田UA召回;三星键盘漏洞;医院输液泵;LIFX智能灯泡;德国钢厂黑客攻击;

瀑布;瑞士奶酪模型;软件经验教训;V模型;设计与代码;敏捷方法;嵌入式敏捷。

C;语言使用指南和分析工具的陷阱和问题;明智地使用语言(强类型);火星气候轨道器;偏差和遗留代码。

有效的代码质量实践,同行评审的效率和有效性;费根检查;同行评审规则;评审报告;基于观点的评审;评审核对表;案例研究;同行评审经济学。同行评审核对表。

阿丽亚娜5号航班501;良好需求规则;有问题的需求;额外功能需求;需求方法;模糊性。

Therac 25;争用条件示例;禁用中断;互斥;阻塞时间;优先级反转;优先级继承;火星探路器

烟雾测试,探索性测试;有条不紊的测试覆盖范围;测试类型;测试原理;覆盖范围;测试资源。

黑盒测试;白盒测试;单元测试策略;MCDC覆盖率;单元测试框架(Cunit)。

高级设计(HLD);方框和箭头;顺序图(SD);状态图与SD的关系;2011健康计划图表。

集成测试方法;跟踪集成测试到SDS;网络消息测试;使用SDS生成单元测试。

第一个错误故事;有效的测试计划;测试无法找到所有错误;F-22猛禽日期线错误;错误农场;错误软件的风险。

保持时间;时间术语;时钟同步;时区;DST;当地时间;日出/日落;机动性和时间;日期线;GMT/UTC;闰年;闰秒;时间滚动;Zune闰年错误;国际化。

可靠性;可用性;Windows 2000服务器崩溃;可靠性;串行和并行可靠性;可靠性计算示例;可靠性的其他方面。

关键安全与关键任务;最差情况和安全;暖通空调故障危险;安全完整性级别(SIL);博帕尔;国际电工委员会61508;车队暴露

安全计划要素;功能安全方法;危害和风险;安全目标和安全要求;FMEA;FTA;安全案例(GSN)。

故障遏制区域(FCR);丰田UA单点故障;多通道模式;监控模式;安全门模式;关联累积故障。

贝灵汉西澳汽油管道事故;可用性冗余;故障检测冗余;阿丽亚娜5航班501;故障操作;三重模块冗余(TMR)3中2模式;2中2模式;高SIL Doer/Checker模式;诊断有效性和验证测试。

补充讲座,详细介绍了以下模式:低SIL;自我诊断;分区;故障操作;表决;故障静默;双2取2;阿丽亚娜5航班501;故障静默模式(低、高、混合SIL);高可用性混合SIL模式。

混淆与扩散;凯撒密码;频率分析;Enigma;Lorenz&;Colossus;DES;AES;公钥加密;安全散列;数字签名;证书;PKI;固件更新的加密与签名。

Stuxnet;攻击动机;攻击者威胁级别;DirectTV盗版;操作环境;漏洞百出的防火墙;Davis Besse事件;BlueSniper步枪;完整性;身份验证;保密;隐私;LG智能电视隐私;DoS/DDoS;功能激活;圣裘德起搏器召回。

利用漏洞与攻击;水壶垃圾邮件;弱密码;主密码;加密密钥长度;Mirai僵尸网络攻击;加密错误;LIFX重新访问;CarShark重新访问;芯片剥离;隐藏功能;伪造系统;云连接设备;嵌入式特定攻击。

密码强度;存储密码;Adobe密码黑客;最低权限;Jeep防火墙黑客;安全更新;安全引导;加密与签名重新访问;渗透测试;代码分析;其他安全方法;橡皮管攻击

Konami代码;模糊安全;酒店锁USB黑客;Kerckhoff的原理;医院WPA设置黑客;DECSS;罗兹电车攻击;正确使用密码术;零日漏洞;安全蛇油;系统内防火墙的真实情况;飞机信息娱乐和防火墙;僵尸路标黑客攻击。

一般来说,视频与幻灯片不匹配。幻灯片版本通常比视频版本更新。

大多数视频都是YouTube上的播放列表,已经被细分为单幻灯片视频。您应该观看整个播放列表以查看讲座的所有内容。

如果您是一位流利的母语人士,您可能想要以1.2倍到1.5倍的速度播放其中一些视频。(通常,齿轮/设置图标将允许您在播放窗口中执行此操作。)。

现场课程网站http://www.ece.cmu.edu/~ece642/可能会有一些更新的讲座。请参阅版权声明。

单片机硬件、软件、I/O、编码技术,涵盖9S12单片机。(最后一次授课是在2016年春季。)。

版权声明:这些材料由菲利普·库普曼在材料上注明的年份拥有版权。下载和查看供个人使用的材料无需进一步许可即可接受。在学术环境、非正式的午餐和学习小组中使用是可以接受的,不需要进一步的许可,只要我是材料的作者就可以。营利性培训使用(即,有人付费提供培训)需要许可和费用,但属于合理使用版权原则的小片段(例如,讲座中不超过一张幻灯片)除外。严格禁止在公共网站上发表帖子,包括幻灯片共享服务、视频服务和课程笔记网站,除非我(作者)亲自上传。这些是历史讲座幻灯片,由于新的研究和经验,可能不能代表我目前对各种主题的看法。由于缺乏时间和资源,我不会试图使历史讲座的技术内容保持最新,但如有任何实质性错误可供今后在可用时间内更正,我将不胜感激。如果您计划在您的教学中大量使用这些材料,我很高兴听到这一消息,但是非营利性教学,包括在大学课程中使用,使用不需要额外的许可。一般来说,我没有时间回答这个版权声明已经处理的问题。此信息按原样提供,正确使用由您负责。其他查询请联系:[email protected]