模型驱动方法为航空、航天等领域安全攸关软件的构建和质量保障提供了可行的技术途径,但在领域应用中仍存在软件模型构建效率低、安全代码开发成本高、软件形式验证难度大、系统仿真测试不充分等挑战。智能化技术是提升软件开发效率与质量的有效途径,但智能化方法如何支持大规模软件系统建模,解决协同建模的冲突并提升建模效率?如何用好领域知识最大程度复用模型资产?如何融合智能算法支持安全代码生成,并提升验证过程效率?本报告汇报模型驱动的安全攸关软件开发与智能化软件方法的结合点,并探讨这类软件开发方法中可能出现的智能协作需求。
人机协同
胡春明
问答