副驾驶员 swMATH编号: 32258 软件作者: Pike L、Goodloe A、Morisset R、Niller S 描述: Copilot:硬实时运行时监视器。我们解决了硬实时程序的运行时监控问题,在这个领域中,正确性是至关重要的,但在运行时监控社区中,它在很大程度上被忽视了。我们描述了该领域的运行时监控面临的挑战,以及解决这些挑战的方法。我们方法的核心是一种名为emph{Copilot}的语言和编译器。Copilot是一种基于流的数据流语言,它生成小的恒定时间和恒定空间C程序,实现嵌入式监视器。Copilot还生成自己的调度器,无需底层实时操作系统。 主页: https://leepike.github.io/pub_pages/rv2010.html 相关软件: 卢斯特;洛拉;日本运通银行;蒙保利;酯类;FoC公司;Java MaC语言;Java操作系统;TeSSLa公司;嘟嘟嘟嘟;猫头鹰;LTL2BA公司;学习库;弗兰;seL4级;Yampa公司;哈斯克尔;PVS公司;AMT公司;DReX公司 引用于: 8文件 全部的 前5名22位作者引用 2 塞萨尔·桑切斯 1 David A.Basin。 1 博尔祖·博纳克达尔普尔 1 劳拉·博泽利 1 Jörg Brauer 1 塞巴斯蒂安·费施迈斯特 1 马蒂亚斯·福格尔 1 Alwyn E.古德洛。 1 费利佩·戈罗斯蒂亚加 1 费利克斯·克莱特克 1 科托·N·马斯克。 1 萨马内纳瓦布波尔 1 丹尼尔·奈德 1 佩雷斯,伊万·L。 1 托马斯·莱因巴赫 1 格里高·罗什乌 1 马克西米利安·施温格 1 奥列格·索科尔斯基 1 保罗·塔布阿达 1 亚历山大·韦内特 1 尤根·兹利内斯库 1 马丁·齐默尔曼 引用于4个系列 5 系统设计中的形式化方法 1 信息学报 1 理论计算机科学 1 函数编程杂志 在3个字段中引用 8 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的引文