初探一种构件化嵌入式软件设计模型验证工具

初探一种构件化嵌入式软件设计模型验证工具 1.引言 嵌入式计算系统已经广泛的应用于生活中的各个领域，如：交通、能源、医疗、控制、通信、军事等。近年来随着计算机硬件性能的不断提高，嵌入