进行验证十分重要。 对嵌入式软件的验证一般依赖于形式化的方法。 形式化的方法
2017-11-02 10:50
本文采用有限状态机对嵌入式软件进行建模，使用SMV语言描述状态机模型，并通过符号模型检查工具SMV对SMV语言描述的状态
2021-04-28 06:16
随着现代社会对汽车在舒适、安全等方面的要求越来越高，导致汽车嵌入式软件复杂度指数级上升，嵌入式软件开发面临很大的困境，越来越多的企业已经放弃手写代码，转向基于
2021-12-20 06:17
分析嵌入式软件的特点，综述传统的软件测试方法；针对嵌入式软件的特点，提出
2009-05-18 13:26
摘要：分析嵌入式软件的特点，综述传统的软件测试方法；针对嵌入式软件的
2006-04-07 00:32
摘要：系统功耗是嵌入式系统的一个重要方向，功耗很大程度上取决于执行的软件。传统的底层指令级模型功耗分析方法虽然能比较准确地估算出
2006-03-11 12:38
嵌入式系统是以应用为中心、以计算机技术为基础、软件硬件可裁剪、适应应用系统对功能、可靠性、成本、体积、功耗严格要求的专用计算机系统。嵌入式软件的基本体系结构包括
2019-11-13 16:49
本文首先阐述了嵌入式软件的概念，其次介绍了嵌入式软件的特征，最后介绍了嵌入式软件
2020-08-31 15:54
时序特性是嵌入式软件的重要特性，实时嵌入式软件运行的正确性不仅依赖于任务执行结果，更依赖于任务执行时间，执行任务往往具有多个时间约束，且相互之间可能存在制约关系，对时间
2018-01-31 10:24
