基于Simulink和Stateflow建模的嵌入式软件开发平台研究

现如今在控制领域软件开发中,通过使用Simulink/Stateflow建模方法,以模型设计为基础并结合Real Time-Workshop(RTW)自动生成代码的技术已日趋成熟,并日趋成为大型控制类嵌入式软件开发的主流选择。这种开发模式优于传统软件开发模式的地方在于它在大大节省了人力、物力和财力的同时,更加提高了软件产品的质量。它使得传统的软件开发人员将重心从软件编码转移到软件模型设计上来。 目前,西方发达国家在飞行控制、航空航天类软件开发中大都是以模型自动生成代码,辅以少量人工代码的方式进行的。某些发达国家早已有了一套先进的控制设计一体化平台。而在国内这方面目前仍然处于起步阶段。所以本课题的主要目的是希望通对基于模型的嵌入式软件开发平台相关技术点进行较为深入的研究,在提供一整套平台解决方案的同时为每个技术难点提供实现方案。 本课题的研究属于软件工程中可行性技术预研部分,针对课题的相关技术点进行逐个深入研究和突破。在研究过程中会使用到测试、调试等相关理论,并在这些基础上研究解决所遇到的技术问题,辅以实验验证。最后将相关技术点进行整合,并提出实现这种基于建模的嵌入式软件开发平台可采用的整套方案。所以整个课题的研究方法是以理论为基础,和实际相结合的针对特定领域的探索性技术预研。 研究的主要成果是为基于Simulink/Stateflow建模的一体化开发平台所需要的各种相关技术点进行了深入分析,进而提供整套解决方案,并为关键技术点提供了详细的技术实现方案,以及相关代码。借助本文所提供的相关资源料,如有需要者可以此基础上结合实际情况,将其应用于不同的目标平台,并且产品化。 通过此课题研究所取得的成果和相关分析资料,可以较容易地实现这样一种开发平台,并支持整个模型和代码测试的自动化。本文所提供的技术方案包含了对模型级代码调试,模型和代码的测试用例自动生成,功能测试和覆盖测试的一致性验证等。这样的开发平台可大大节约开发人员和测试人员的工作。如果这样一套技术方案能够被完美的产品化,它对于国内大型控制类软件的开发方式将起到革命性的变化.