摘要
A.Bauer、M.Leucker和C.Schallhart。 LTL和TLTL的运行时验证。 ACM软件工程与方法汇刊(TOSEM),20(4):2014年。 谷歌学者 数字图书馆 B.Bonakdarpour、S.Navabpour和S.Fischmeister。 基于采样的运行时验证。 《形式方法》(FM),第88–102页,2011年。 谷歌学者 数字图书馆 B.Bonakdarpour、S.Navabpour和S.Fischmeister。 时间触发运行时验证。 系统设计中的形式方法(FMSD),2013年。 出现。 谷歌学者 交叉引用 B.Bonakdarpour、J.J.Thomas和S.Fischmeister。 时间触发程序自我监控。IEEE嵌入式和实时计算系统与应用国际会议(RTCSA),第260-269页,2012年。 谷歌学者 数字图书馆 C.Lattner和V.Adve。 LLVM:用于终身程序分析和转换的编译框架。 2004年,在代码生成和优化:反馈导向和运行时优化国际研讨会上,第75页。 谷歌学者 数字图书馆 R.Medhat、D.Kumar、B.Bonakdarpour和S.Fischmeister。 具有可控时间可预测性和内存利用率的运行时验证。 技术报告CS-2013-02,滑铁卢大学,2013年。 谷歌学者 S.Navabpour、B.Bonakdarpour和S.Fischmeister。 路径软件时间触发运行时验证。 运行时验证(RV),第199-213页,2012年。 谷歌学者 数字图书馆 S.Navabpour、C.W.Wu、B.Bonakdarpour和S.Fischmeister。 在时间触发的运行时验证中实现接近最佳检测的有效技术。 运行时验证(RV),第208–222页,2011年。 谷歌学者 数字图书馆
建议
实时嵌入式系统的运行时验证 EMSOFT’12:第十届ACM嵌入式软件国际会议记录 触发时间 运行时验证旨在解决与运行时开销相关的两个缺陷: 无拘无束 和 不可预测性 在这种方法中,监视器与被检查程序并行运行,并定期对程序进行采样。。。 时间触发运行时验证中近最优检测的有效技术 RV'11:第二届运行时验证国际会议记录 <em>时间触发的运行时验证旨在解决与事件触发方法中通常产生的运行时开销相关的两个缺陷:无约束性和不可预测性。 在时间触发方法中,监视器。。。 DYNASCORE:DYNAmic软件控制器,用于提高混合临界系统中的资源利用率 在实时混合临界系统中,需要进行最坏情况执行时间(WCET)分析,以确保满足时间约束,至少对于高临界任务是如此。 然而,与实际执行时间相比,WCET是悲观的。。。