embedded systems; formal specification; peripheral interfaces; specification languages; system monitoring; LOLA; PCI bus protocol; algorithm memory requirement; correctness assertion; embedded system; failure assertion; memory controller; offline monitoring algorith;
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:使用ISO 26262功能安全标准作为汽车嵌入式系统的运行时验证监视,以定义受监视属性
机译:开发和发展基于DSL的方法来监视系统的系统
机译:LOLA:同步系统的运行时监视
机译:用于嵌入式系统的非侵入式运行时监视的系统级观察框架。
机译:监控系统中端到端同步通信的延迟分析
机译:LOLA:同步系统的运行时监视