-
题名Mediator模型的SystemC代码自动生成
被引量：4
- 1
-
-
作者
张琦
李屹
孙猛
-
机构
北京大学数学科学学院
西安电子科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2019年第5期835-842,共8页
-
基金
国家自然科学基金(61772038
61532019)
-
文摘
Mediator是一种基于组件的建模语言,该语言主要通过自动机和系统对模型进行描述。将Mediator语言描述的模型自动生成为可执行代码,可以避免编码过程中由于人为疏忽而造成的错误,从而提高编码的可靠性,同时缩短模型开发周期。介绍一种从Mediator模型到SystemC代码的自动生成工具,该工具旨在将基于特定平台的模型转换为能直接仿真运行的代码。首先对Mediator语言的语法语义进行分析,选择合适的SystemC代码组织形式,然后针对Mediator模型的每一个组成部分设计生成规则,其中重点对类型生成、状态转移语句生成、同步语句的生成进行分析。最后,通过一个机器掉电检测系统说明该工具运行结果的正确性。
-
关键词
MEDIATOR
SYSTEMC
代码自动生成
基于组件建模
-
Keywords
Mediator
SystemC
code automatic generation
component-based modeling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名指标约简中Gear算法的实现
- 2
-
-
作者
饶锴
曹建文
-
机构
中国科学院软件研究所并行计算实验室
中国科学院计算机科学重点实验室
中国科学院研究生院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第20期4339-4342,4381,共5页
-
基金
国家自然科学基金委员会-中国工程物理研究院"NSAF"联合基金项目(10776035)
-
文摘
基于组件的建模有时会产生高指标的微分代数方程(DAE),不能直接求解,需要进行指标约简。Gear方法是一个经典的指标约简方法,对Gear方法从理论上进行了说明和分析。对于一类具有特殊结构的DAE,提出了Gear方法实现中的优化策略,以降低指标约简后得到的方程规模。把优化后的实现与未优化的实现进行了比对,实验结果表明,优化过的实现方法针对这类特殊的问题确实达到了更好的约简效果。
-
关键词
基于组件建模
高指标微分代数方程组
微分指标
指标约简
基尔方法
-
Keywords
component base modeling
high index DAE
differential index
index reduction
Gear method
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名Mediator的概率扩展
- 3
-
-
作者
薛骁勇
孙猛
-
机构
北京大学数学科学学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2020年第8期1367-1373,共7页
-
基金
国家自然科学基金(61772038,61532019)
广东省重点领域研发计划(2018B010107004)。
-
文摘
Mediator是一种基于组件的形式化建模语言,它提供了分层的模块化结构,从而可以方便地对复杂系统进行建模。它以自动机为其底层单位,自动机连接成的系统作为高级结构,能在对模型进行形式化描述的同时让其本身简单易用。为了使Mediator具有更强的表达能力,可对具有概率行为的系统进行形式化建模,对Mediator做了概率方面的扩展,并对扩展后的语言给出了基于马尔可夫决策过程的语义。同时还介绍了由Mediator模型自动生成PRISM代码的方法,能够使用PRISM工具对Mediator模型的相关性质进行验证。
-
关键词
MEDIATOR
概率扩展
基于组件建模
代码生成
-
Keywords
Mediator
probabilistic extension
component-based modeling
code generation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
