实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使......

数据流语言是面向虚拟仪器的可视化编程环境的核心.为了使这些基于数据流的编程环境能够应用到实时系统设计中,必须引入一种严格定......

数据流语言是面向虚拟仪器的可视化编程环境的核心。为了使这些基于数据流的编程环境能够应用到实时系统设计中，必须引入了一种严格......

2006年9月20日，泰克公司（NYSE：TEK）与First Silicon Solutions（FS2）公司宣布为泰克TLA系列逻辑分析仪推出FPGAView^TM软件包，对Xilinx FPG......

施耐德电气日前发布了其TE电器品牌的Modicon M340可编程自动化控制器（PAC）产品，除了具有Modicon产品线适用于工业环境的实时逻辑解决......

混成系统是一种既包含离散成分又包含连续成分的计算系统，数控系统等一些与其外部连续变化的物理环境不断交互的嵌入式系统就是其典......

Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的......