上海市宇航学会>
航天复杂系统软件安全性设计与验证技术研讨会暨八院月度科技大讲坛成功举办
作者：上海市宇航学会
2022-12-14 10:45
2022年12月8日，由八院（上海航天技术研究院）科技委主办，上海市宇航学会计算机专委会、八院科技委软件技术与工程专业组、微电子及元器件应用专业组、智能计算技术重点实验室联合承办，八院团委协办的“航天复杂系统软件安全性设计与验证技术研讨会暨2022年第9次八院月度科技大讲坛”在上海顺利召开。上海航天技术研究院党委副书记马佳、科技委副主任刘彤杰，与来自华东师范大学、西北工业大学、南京航空航天大学、华东计算技术研究所等单位的专家学者，以及上海航天技术研究院、上海机电工程研究所、上海卫星工程研究所、上海无线电设备研究所、上海航天控制技术研究所、上海航天电子技术研究所、上海宇航系统工程研究所、上海航天动力技术研究所、上海航天技术基础研究所等单位的领导、专委会委员和专业组成员，约100余人通过线上和线下方式参加了会议。研讨会由上海航天技术研究院科技委秘书长潘军主持。
 本次研讨会邀请到西北工业大学软件学院博导张凯龙教授，南京航空航天大学计算机学院杨志斌教授，华东师范大学软件学院博导张敏教授，八院软件技术与工程专业组组长、上海航天电子技术研究所科技委主任金玉红研究员，分别做了《软件定义卫星的星载APP可信管理机制》、《复杂航空航天安全关键软件的增强智能模型驱动开发与验证方法》、《贯穿软件研制周期的形式化建模与验证技术》、《面向航天装备软件系统设计和验证的虚拟化技术》报告。     四篇报告聚焦领域热点、针对技术难点，在航天器智能化软件化背景下，围绕型号软件的需求分析、设计验证、测试验证等研制各阶段，展开了设计理念、设计技术、配套工具的研讨与交流，为后续不断提升航天器智能化、软件化水平提供了新思路、新方向。  计算机技术专委会供稿
|
已有375人阅读