oliviapalermo的博客

介绍了QNX实时操作系统和多线程编程技术，包括线 程间同步的方法，多线程程序的分析步骤，线程基本程序结 构以及实用编译方法。

The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these applications a failure in the temporal domain can be as critical as a failure in the value domain. This paper discusses some of the technology trends that explain why distributed embedded real-time systems for highdependability applications will move into the mainstream. It then investigates the new requirements that must be addressed by the software engineering process. Two of the most important requirements are the design for composability and the systematic validation of highdependability distributed real-time systems. In the last two sections, these issues of composability and validation are treated in some detail.