一种基于以MGCF系统的软件生成方法与流程

文档序号:12270948阅读:来源:国知局

技术特征:

1.一种基于以MGCF系统的软件生成方法,其特征在于,包括如下步骤:

步骤一,将SDL描述的通信系统自动生成C/C++的可执行代码;

步骤二,当外部的人机接口与SDL的C编译器结合使用时,如果主机和目标系统之间采用TCP/IP通信;

步骤三,通过工具对SDL进行编辑、模拟和编译。

2.根据权利要求1所述的一种基于以MGCF系统的软件生成方法,其特征在于,所述步骤一,将SDL描述的通信系统自动生成C/C++的可执行代码,具体步骤为:

开始域:在进程开始执行的地方,当进程实例被创建,就开始执行;

状态域:系统的描述一扩展有限状态自动机为模型,表示为状态域;

输入符:输入表示状态机接受并消耗信号;

输出域:通过信道将信号发送到一进程实例;

任务域:用于执行与变量有关的动作;

过程调用:执行一遍先前已经定义好的过程描述功能;

分支域:分支操作结束迁移过程,然后根据一表达式的产值来产生多个迁移过程。

3.根据权利要求1所述的一种基于以MGCF系统的软件生成方法,其特征在于,所述步骤二中的通信协议通过Telelogic Tau工具进行实时软件通信的开发。

4.根据权利要求1所述的一种基于以MGCF系统的软件生成方法,其特征在于,所述步骤三采用的工具为Telelogic Tau TTCN Suite。

5.根据权利要求1所述的一种基于以MGCF系统的软件生成方法,其特征在于,所述SDL系统结构包括系统:系统是最外层的、直接与外部环境交互的代理;模块:模块是包含进程或有限状态机的代理;进程:进程包含扩展的有限状态机,也包含进程;过程。

当前第2页1 2 3 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1