实时系统软件设计方法

讨论了实时系统软件工程方法、软件实现、调度与执行时间分析、系统软件验证四个方面的问题，介绍了在实时系统研究领域的学者们所做的工作，该领域理论的发展以及有待解决的问题。