基于 BIP 的片上时间触发系统仿真
软件工程
2011-09-27 v1
摘要
本报告提出了片上时间触发系统（TTSoC）软件与硬件组件的功能模型。这些模型采用基于异步组件的语言 BIP 进行建模。我们展示了所构建组件在 TTSoC 软件开发仿真中的可用性。我们的软件包含服务部分与应用部分。该方法使我们能够在开发过程的早期阶段对软件系统的各个方面进行仿真与验证，而无需实际拥有 TTSoC 硬件。
引用
@article{arxiv.1109.5505,
title = {On the Simulation of Time-Triggered Systems on a Chip with BIP},
author = {Jan Olaf Blech and Benoit Boyer and Thanh Hung Nguyen},
journal= {arXiv preprint arXiv:1109.5505},
year = {2011}
}