随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......

随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......

随着现代化的推进以及通信等技术的发展,计算机软件已广泛应用于各类安全攸关的系统中。在安全攸关实时系统的设计中,系统的复杂性......

在CTCS(Chinese Train Control System,中国列车运行控制系统)的结构组成中,CBI(Computer Based Interlocking,计算机联锁)与TCC(T......