同步语言相关论文
同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋......
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入，对输入进行计算，并将计算结果反馈到外部环境来控制系......
为了辅助航空电子系统进行综合设计，提出了用Signal语言对新一代综合航电系统进行建模仿真和性能评估的方法。Signal语言是一种同步......
随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键......
用于嵌入式设备的计算机几乎和计算机本身的历史一样长久，并且随着计算机技术的发展，嵌入式系统已成为计算机领域的一个重要组成部分......
