使用基于模型的设计测试程序开发智能设备

越来越多的智能设备正在进入我们生活的角角落落，包括您的电脑、智能电话、最新的苹果iPad等。而设备中的嵌入式软件还在不停地促使您的汽车、洗衣机和电网向着智能化的方向发展。事实上，在我们的生活中，已经越来越难找到不包含嵌入式软件的大型电子设备了。