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

摘要

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