嵌入式实时系统及其相关问题

嵌入式实时计算机应用系统有别于常规的通用计算机系统，存在着特殊的性能和设计技术要求，有许多问题需要进一步深入研究和探讨。本文阐述了嵌入式实时系统的概念内涵和基本特征，综述并讨论嵌入式实时系统的现有设计模式和一些关键技术。     

基于时间动态下推网络可达性分析

动态下推网络（DPN,Dynamic Pushdown Networks）由一组能刻画动态创建线程的动态下推系统（DPDS,Dynamic PushDown Systems）组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络（TDPN,Timed Dynamic Pushdown Networks）,能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析.     

电子机构的信息流安全分析

电子机构为自治主体问可信业务协同分析提供了一种框架,但现有的电子机构模型对其中存在的各种信息流还缺乏有效地分析和规范,文中以分析角色之间信息流的传递为前提,提出了用来发现电子机构中潜在非法信息流的算法,并给出了解决非法信息流的控制策略.     

电子机构的进程代数模型研究

在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题。电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持。以进程代数理论为基础,提出一种适合电子机构的进程演算语言,给出了其形式语法和操作语义,并以具体实例说明了该方法的使用过程。电子机构的进程代数方法更加适合于电子机构的设计、分析确认与实现。