目前, 嵌入式自动生成技术面临着诸多挑战。 在嵌入式软件设计技术方面,主要表现在以下几个方面: (1)嵌入式系统越来越多采用SoC,带来深度嵌入设计,平台化需要软/硬件同步设计。 (2)构件化需要研究适应嵌入式计算特征的构件表达和组合,解决异构嵌入式构件的可组合性分析以及构件组合与验证等系统构造问题。 (3)网络化使嵌入式系统呈现开发特性,多模式通信,多任务协同等使得传统的并发计算模型难以刻画网络化嵌入式系统的行为。需要研究一种集成化计算模型。解决多计算模型的统一化语义以及多模型的互操作。 (4)嵌入式系统规模越来越大,系统状态与任务行为呈现较强的动态性和演化性 ,静态任务调度策略已不适应,系统行为难以预测,带来新的可调度性分析问题。 在嵌入式系统设计技术方面,主要表现在以下几方面: (1)智能化进一步加剧系统状态的动态自主演化 ,增加了系统的正确性和完备性等验证难度。 (2)关键应用的实时性、可靠性、保险性等可信特性成为系统非功能特性设计的重点 ,嵌入式系统同样存在行为可信问题,功能的正确性与完备性+时间约束、能源消耗、容错能力等非功能需求,提出了适应非功能性的新型设计模型与验证方法。例如 控制工程网版权所有 ,如何有效地验证嵌入式实时软件设计是否满足给定的时间规约。 (3)嵌入式应用的普适化环境,对嵌入系统开发支援提出新的需求,如需要丰富的嵌入式接口仿真能力。 作为解决当前软件危机的一个途径,基于构件的开发在传统的软件行业开始了大量的研究和应用,采用构件开发的主要好处如下: (1)只有少量的软件部件需要从头开发,可缩短整个软件产品的开发时间 ,同时降低开发成本。 (2)通过重用已有的经过检验的软件部件,提高了整个软件产品的质量。 (3)可以减少需要维护的软件部件(主要是新开发的软件部件),降低软件维护成本。 PLC嵌入式