摘要
2018.检索自 https://github.com/abditag2/reset-based-recovery。 谷歌学者 
2018年，FreeRTOS。 2018年10月检索自 http://www.freertos.org。 谷歌学者 2018.PCA9685:16通道，12位PWM Fm+I2C-总线LED控制器。 2018年10月检索自 https://goo.gl/FMnOQT。 谷歌学者 F.Abdi、C.Chen、M.Hasan、S.Liu、S.Mohan和M.Caccamo。 2019.在网络攻击下保护人身安全。 IEEE物联网杂志6，4（2019年8月），6285-6300。 内政部： https://doi.org/10.109/JIOT.2018.2889866 谷歌学者 交叉引用 
F.Abdi、C.Y.Chen、M.Hasan、S.Liu、S.Mohan和M.Caccamo。 2018.通过基于重启的网络物理系统设计保证物理安全。 第九届ACM/IEEE网络物理系统国际会议论文集（ICCPS’18）。 IEEE出版社，新泽西州皮斯卡塔韦，10-21。 内政部： https://doi.org/10.1109/ICCPS.2018.00010 谷歌学者 F.Abdi、R.Mancuso、S.Bak、O.Dantsker和M.Caccamo。 2016.具有时间安全约束的实时网络物理系统的基于重置的恢复。 2016年IEEE第21届新兴技术和工厂自动化国际会议（ETFA）会议记录。 IEEE，1--8。 内政部： https://doi.org/10.109/ETFA.2016.7733561 谷歌学者 数字图书馆 
F.Abdi、R.Tabish、M.Rungger、M.Zamani和M.Caccamo。 2017.通过全系统重启实现应用程序和系统级软件容错。 2017年ACM/IEEE第八届网络物理系统国际会议（ICCPS）会议记录。 IEEE，197--206。 内政部： https://doi.org/10.1145/3055004.3055012 谷歌学者 M.Althoff和B.H.Krogh。 2014.非线性微分代数系统的可达性分析。 IEEE传输。 自动化。 对照59，2（2014年2月），371-383。 内政部： https://doi.org/10.1109/TAC.2013.2285751 谷歌学者 交叉引用 E.Asarin、T.Dang和A.Girard。 2003.使用保守近似的非线性系统可达性分析。 《混合动力系统国际研讨会论文集：计算与控制》。 施普林格，20-35岁。 内政部： https://doi.org/10.1007/3-540-36580-X_5 谷歌学者 C.Baier和J.P.Katoen。 2008.模型检查原则。 麻省理工学院出版社。 谷歌学者 S.Bak、D.K.Chivukula、O.Adekunle、M.Sun、M.Caccamo和L.Sha。 2009年。用于提高实时嵌入式系统安全性的系统级单工架构。 2009年第15届IEEE实时和嵌入式技术及应用研讨会论文集。 IEEE，99-107。 内政部： https://doi.org/10.109/RTAS.2009.20 谷歌学者 数字图书馆 S.Bak、T.T.Johnson、M.Caccomo和L.Sha。 2014.经验证的单纯形设计的实时可达性。 实时系统研讨会。 IEEE标准，138-148。 内政部： https://doi.org/10.109/RTSS.2014.21 谷歌学者 F.Blanchini和S.Miani。 2008.控制中的集合理论方法。 斯普林格，156-163。 内政部： https://doi.org/10.1007/978-0-8176-4606-6 谷歌学者 G.Candea、J.Cutler和A.Fox。 2004.通过递归微重启提高可用性：软状态系统案例研究。 执行。 评估。 56, 1--4 (2004), 213--248. 内政部： https://doi.org/10.1016/j.peva.2003.07.007 谷歌学者 数字图书馆 G.坎迪亚和A.福克斯。 2001.递归重启：将重启大锤变成手术刀。 第八届操作系统热门话题研讨会论文集。 IEEE，125-130。 内政部： https://doi.org/10.109/HOTOS.2001.990072 谷歌学者 交叉引用 G.Candea、S.Kawamoto、Y.Fujiki、G.Friedman和A.Fox。 2004.Microreboot—一种廉价恢复技术。 第6届操作系统设计研讨会论文集，第6卷（OSDI’04）。 ACM，3--3。 内政部： https://doi.org/10.1145/3055004.3055012 谷歌学者 G.Candea、E.Kiciman、S.Zhang、P.Keyani和A.Fox。 2003.JAGR：一个自主的自恢复应用程序服务器。 2003年自主计算研讨会论文集。 IEEE，168--177。 内政部： https://doi.org/10.109/ACW.2003.1210217 谷歌学者 交叉引用 T·L·克伦肖、E·冈特、C·L·罗宾逊、L·沙和P·R·库马尔。 2007.单纯形参考模型：限制由于网络物理系统架构中不可靠组件导致的错误传播。 第28届IEEE国际实时系统研讨会（RTSS’07）会议记录。 400--412. 内政部： https://doi.org/10.109/RTSS.2007.34 谷歌学者 数字图书馆 S.Garg、A.Puliafito、M.Telek和K.S.Trivedi。 1995年。使用马尔可夫再生随机Petri网分析软件复兴。 第六届软件可靠性工程国际研讨会论文集。IEEE，180-187。 内政部： https://doi.org/10.109/ISSRE.1995.497656 谷歌学者 交叉引用 C.乔治和F.阿曼多。 2003.仅限崩溃软件。 第九届操作系统热门话题研讨会论文集。 67--72. 谷歌学者 Y.Huang、C.Kintala、N.Kolettis和N.D.Fulton。 1995.软件复兴：分析、模块和应用。 第25届容错计算国际研讨会论文集。 IEEE，381--390。 内政部： https://doi.org/10.109/FTCS.1995.466961 谷歌学者 F.Immler、M.Althoff、X.Chen、C.Fan、G.Frehse、N.Kochdumper、Y.Li、S.Mitra、M.S.Tomar和M.Zamani。 2018年，ARCH-COMP18类别报告：具有非线性动力学的连续和混合系统。 第五届连续和混合系统应用验证国际研讨会论文集。 谷歌学者 2018年ARM公司。 ARM TrustZone。 2018年10月检索自 https://www.arm.com/products/security-on-arm/trustzone。 谷歌学者 2018年Quanser公司。 3自由度直升机。 2018年10月检索自 http://www.quanser.com/products/3dof_直升机。 谷歌学者 2018年Quanser公司。 Q8数据采集板。 2018年10月检索自 http://www.quanser.com/products/q8。 谷歌学者 E.A.Lee。 2008年，网络物理系统：设计挑战。 在第11届IEEE面向对象和组件的实时分布式计算（ISORC）国际研讨会上。 IEEE，363--369。 内政部： https://doi.org/10.109/ISORC.2008.25 谷歌学者 数字图书馆 Linux制造商。 2017.嵌入式Linux的超快速启动。 检索自 https://www.makelinux.com/emb/fastboot/。 谷歌学者 S.Mohan、S.Bak、E.Betti、H Yun、L.Sha和M.Caccomo。 2013.S3A：安全的系统单一架构，用于增强网络物理系统的安全性和健壮性。 第二届ACM高可信网络系统国际会议论文集。 美国医学会，65-74。 内政部： https://doi.org/10.1145/2461446.2461456 谷歌学者 G.雷西格。 2011年，计算非线性系统的抽象。 IEEE传输。 自动化。 控制56，11（2011年11月），2583--2598。 内政部： https://doi.org/10.1109/TAC.2011.2118950 谷歌学者 交叉引用 G.Reissig、A.Weber和M.Rungger。 2017.符号控制器合成的反馈细化关系。 IEEE传输。 自动化。 控制62,4（2017年4月），1781-1796。 内政部： https://doi.org/10.1109/TAC.2016.2593947 谷歌学者 交叉引用 M.Rungger和P.Tabuada。 2017.计算线性系统的鲁棒受控不变集。 IEEE传输。 自动化。 控制62,7（2017年7月），3665-3670。 内政部： https://doi.org/10.1109/TAC.2017.2672859 谷歌学者 交叉引用 M.Rungger和M.Zamani。 2016年，SCOTS：符号控制器合成工具。 第19届混合系统国际会议论文集：计算与控制。 美国医学会，99-104。 内政部： https://doi.org/10.1145/2883817.2883834 谷歌学者 D.Seto和L.Sha。 1999.安全区域开发的工程方法。 技术报告。 CMU/SEI-99-TR-018。 卡内基梅隆大学软件工程学院。 http://resources.sei.cmu.edu/library/asset-view.cfm？AssetID=13483。 谷歌学者 L.Sha公司。 1998年。可靠的系统升级。 第19届IEEE实时系统研讨会论文集（分类号98CB36279）。 IEEE标准，440-448。 内政部： https://doi.org/10.109/REAL.1998.739777 谷歌学者 数字图书馆 L.Sha公司。 2001.使用简单性控制复杂性。 IEEE软件18，4（2001年7月），20-28。 内政部： https://doi.org/10.109/MS.2001.936213 谷歌学者 L.Sha、R.Rajkumar和M.Gagliardi。 1996.发展可靠的实时系统。 航空航天应用会议论文集，第1卷。 IEEE，335--346。 内政部： https://doi.org/10.109/AERO.1996.495894 谷歌学者 E.D.桑塔格。 2013.数学控制理论：确定性有限维系统。 第6卷。 Springer Science 8商业媒体。 内政部： https://doi.org/10.1007/978-1-4612-0577-7 谷歌学者 数字图书馆 S.M.Sulaman、A.Orucevic-Alagic、M.Borg、K.Wnuk、M.Höst和J.L.d.L.Vara。 2014年。使用开源软件开发安全关键型软件系统——系统图。 2014年第40届EUROMMICRO软件工程与高级应用会议论文集。 17--24. 内政部： https://doi.org/10.109/SEAA.2014.25 谷歌学者 数字图书馆 P.塔布阿达。 2009.混合系统的验证和控制：符号方法。 Springer Science 8商业媒体。 内政部： https://doi.org/10.1007/978-1-4419-0224-5 谷歌学者 数字图书馆 K.Vaidyanathan和K.S Trivedi。 2005年。软件复兴的综合模型。 IEEE可靠和安全计算汇刊2，2（2005），124--137。 内政部： https://doi.org/10.109/TDSC.2005.15 谷歌学者 数字图书馆 P.Vivekanandan、G.Garcia、H.Yun和S.Keshmiri，2016年。 智能安全无人机的单一架构。 2016年IEEE第22届嵌入式和实时计算系统与应用国际会议（RTCSA）会议记录。 IEEE，69-75。 内政部： https://doi.org/10.109/RTCSA.2016.17 谷歌学者 M.Zamani和M.Arcak。 2017.控制系统网络的组成抽象：耗散性方法。 IEEE网络系统控制汇刊PP，99（2017），1--1。 内政部： https://doi.org/10.109/TCNS.2017.2670330 谷歌学者 M.Zamani、I.Tkachev和A.Abate。 2017.随机控制系统的可扩展综合。 离散事件动态系统27，2（2017），341--369。 内政部： https://doi.org/10.1007/s10626-016-0233-6 谷歌学者 数字图书馆
建议
通过完整系统重启实现应用程序和系统级软件容错 ICCPS’17：第八届网络物理系统国际会议记录 由于不断增长的性能要求，嵌入式系统变得越来越复杂。 同时，他们也被期望是可靠的。 保证复杂系统的可靠性是非常具有挑战性的。 因此，非常需要。。。 随机网络物理系统的沙盒控制器 时间系统的形式化建模与分析 摘要 当前的网络物理系统（CPS）有望完成复杂的任务。 为了实现这一目标，应用了高性能但未经验证的控制器（例如深度神经网络、第三方的黑盒控制器），这使得它非常。。。 策略切换：弱硬资源约束的实时应用程序的智能容错 软件工程与形式化方法 摘要 由于以下原因导致数据损坏的可能性 单一事件扰乱 （SEU）随着晶体管尺寸的减小而增加。 基于软件的容错有助于在上提供针对SEU的保护 商用现货 （COTS）硬件。 然而，这样。。。
