摘要

介绍了基于模型的软件开发和SCADE高安全嵌入式系统开发工具的特点,研究了其主要工作流程和工程化方法。针对快速发展的汽车电子领域,使用基于模型开发的思想和SCADE工具设计并实现了一种汽车自动驾驶辅助系统,进行了该系统的架构设计、功能模型设计、用户界面设计,然后对系统进行联合功能仿真和验证测试,结果表明功能需求全部实现,测试覆盖率达到100%,并生成了相应的软件文档和代码及可执行文件,探索了完整的基于模型的开发方法和过程。