摘要
介绍了基于模型的软件开发和SCADE高安全嵌入式系统开发工具的特点,研究了其主要工作流程和工程化方法。针对快速发展的汽车电子领域,使用基于模型开发的思想和SCADE工具设计并实现了一种汽车自动驾驶辅助系统,进行了该系统的架构设计、功能模型设计、用户界面设计,然后对系统进行联合功能仿真和验证测试,结果表明功能需求全部实现,测试覆盖率达到100%,并生成了相应的软件文档和代码及可执行文件,探索了完整的基于模型的开发方法和过程。
This paper introduces the characteristics of Model-Based Software Development and SCADE high-security embedded system development tools, and studies its main workflow and software engineering methods. For the rapid development of automotive electronics, a model-based theory and SCADE tools were used to design and implement a vehicle auto-driving assistance system, including system architecture design, system function model design, system user interface design, etc. Finally, the system was simulated with joint functions and a verification test. The result shows that the functional requirements are all achieved, the test coverage reaches 100%, and the corresponding software documentation and code and executable files are generated. The complete SCADE model development method and process were explored.
作者
郝玉锴
文圣丰
吴云
吴姣
HAO Yu-kai;WEN Sheng-feng;WU Yun;WU Jiao(AVIC Xi’an Aeronautic Computing Technique Research Institue,Xi’an Shanxi 710115,China;School of Computer,Xidian University,Xi'an Shanxi 710071,China)
出处
《计算机仿真》
北大核心
2021年第11期108-111,449,共5页
Computer Simulation
基金
国家科技重大专项(2012ZX01041006)。
关键词
嵌入式系统
基于模型的软件开发
汽车电子
自动驾驶辅助系统
Embedded system
Model-based software development
Vehicle electronics
Auto driving assistance system