北京理工大学软件工程实践PPT课件.ppt

北京理工大学软件工程实践;第十六讲;目的;阿丽亚娜 5 ;说明;汇报分六个部分：;501飞行;阿丽亚娜5的501飞行：阿丽亚娜5的首 次鉴定（qualification)飞行 这样的飞行计划安排三次 飞行在Guiana空间中心进行 阿丽亚娜5计划由ESA授权CNES（法国 航天局）进行管理;主要元部件于2月14日到达Kourou 2月19日和20日在CNES进行了501飞行 的飞行就绪评审（Flight Readiness Review） 在对组成火箭的硬件的质量与配置进行了仔细试验后，准许启动501飞行战役;501飞行战役于1996年3月4日开始 如一切顺利，计划在1996年5月15日 起飞 其间，由于卫星安装后延，起飞时间调整为5月30日 5月25日，在燃料过氧化氮（N204）的 加注阶段出现故障，起飞再次延迟;;飞行失败;ESA/CNES 6月4日公告;;6月6日发布了关于501飞行失败的第一次信息;;6月10日 ESA、CNES的局长决定;调查委员会被授权;;事故描述;;;;涉及故障的几个部件：;;;涉及故障的部件关系;SRI的理想工作时序（软件实现）;但阿丽亚娜4因其它原因给SRI加了新功能（阿丽亚娜5的SRI软件是阿丽亚娜2的重用）;阿丽亚娜4对SRI软件的设计;阿丽亚娜4对SRI软件的设计;问题（对阿丽亚娜4）;;问题（对阿丽亚娜5）;怎么发的炎？;怎么发的炎：;ADA语言对异常的处理：;ADA;怎么发的炎：;怎么发的炎：;怎么发的炎：;问题：;事故分析;委员会进行调查的基础和原始信息：;天气情况：;起飞情况：;初步分析：;残骸回收：;无关的异常：;其它：; 据这些信息故障分析委员建立了故障事件链及其内在联系和因果关系，从火箭自毁开始按时间追溯到最初起因。;故障事故链;;;;;疑问;;;;;;;;产生故障的原因;错误的产生包括两个部分：;软件开发方面：;对开发的全面分析可考虑这几个方面：;阿丽亚娜4的问题主要为：;为什么有功能多余物？;为什么缺少异常保护？;为什么缺少异常保护？;异议;为什么缺少异常保护？;为什么关机？;为什么关机？;观念错误：;观念错误：;观念错误：;阿丽亚娜5的问题：;怀疑：;阿丽亚娜5：;软件重用分析：;其它：;评审与测试：;;测试问题：;鉴定（Qualification）测试：;SRI的鉴定测试：;控制系统鉴定测试（没太多地说）;委员会认为：;不理解：;仿真测试：;将SRI置于回路??两种方法：;第一种方法可进行高精度仿真(在三轴转 台带宽限制内)，费用昂贵。第二种方法便宜，其性能主要依赖于仿真精度。两种情况的大部分电子设备和全部软件都在真实的操作环境中进行测试。;但是;不用真实SRI的理由：;委员会认为：;评审的问题：;评审：;评审：;评审：;其它推论：;分析总结;;;;;;;;;结论;501故障分析委员会的建议;;;;;;;;;;;;;;;;谢谢！;