Rudrapatna Shyamasundar；弗雷德里克·多塞特；拉杰什·古普塔；英格尔夫·克鲁格 SystemC的合成反应语义和RuleBase验证。 （英语） Zbl 1209.68537号 Ramesh，S.（编辑）等人，分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格（ISBN 978-1-4020-6253-7/hbk）。227-243 (2007). 摘要：我们提出了SystemC的行为语义，该语义简洁地捕获了其反应特性、时钟和时间引用、宏时间和微时间模型，并允许规范通过高级事务或低级信号和事件通信进行通信的同步和异步组件网络。提出的语义框架演示了模拟内核引入的异常，尽管存在宏观和微观尺度。该框架进一步将仿真和逻辑正确性联系起来，并提供了一种在保持正确性不变的情况下扩大验证规模的技术。此外，我们使用允许测试和验证异构设计的语义特征将SystemC组件转换为RuleBase。我们演示了在SystemC中设计的中控锁系统的验证。关于整个系列，请参见[Zbl 1120.93002号]. MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：SystemC的行为语义；中控锁系统 软件：LusSy公司；系统C PDF格式BibTeX公司 XML格式引用 \textit{R.Shyamasundar}等人，in：分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格。227-243（2007年；兹bl 1209.68537） 全文： 内政部