初探一种构件化嵌入式软件设计模型验证工具[修改版]

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