先进装备软件高安全、高可靠、智能化验证与评估

技术研讨会

尊敬的领导/专家，您好！

诚邀您参加我们的先进装备软件高安全，高可靠，智能化验证与评估技术研讨会

以航空航天船舶电子为代表的先进装备软件发展迅速，装备软件的安全性，可靠性和智能化要求达到了新的高度，相关技术也面临着新的挑战。

随着软件系统不断复杂，产生的数据不断增多，智能化程度不断加深，如何确保软件的安全性与可靠性成为热点话题。同时，AI技术的进步，在装备中应用的逐渐增多，也给智能化系统的验证，以及利用智能技术进行验证，提出了新的课题。

基于此现状，我们将于2018年5月30日，在武汉举办“先进装备软件高安全，高可靠，智能化验证与评估技术研讨会”，立足装备软件发展现状，对如何实施装备软件的安全性，可靠性，智能化验证与评估工作进行研讨。我们将邀请业内知名专家，进行分享交流，无论是面向满足愈发严苛的装备软件验证要求，还是面向未来以AI技术为代表的软件验证新技术，都将是一次有益的探讨与碰撞。

南京创联智软信息科技有限公司（简称创联智软）拥有多年丰富的软件工程及测试专业技术积累和行业应用经验，致力于帮助客户迅速提高软件质量的同时大幅缩短周期和降低成本。针对当前软件测试与验证行业现状，提供完整的解决方案，提升软件测试效率及质量。创联智软的软件测试与验证整体解决方案包括软件需求分析、安全性可靠性分析、模型驱动的测试验证、分布式测试以及自动化测试；覆盖从代码、单元、集成到系统级测试的全过程；覆盖白盒及黑盒测试，功能及性能等各种测试领域；全部测试流程管理以及工具集成于有效的测试管理平台。

创联智软的软件工程解决方案集成了Micro Focus公司的软件应用质量管理、北航可靠性管理与测评中心的嵌入式系统级测试、北大软件的国产化高安全测试工具，并提供软件定制化及测试咨询技术服务。此次会议得到各方的大力支持，邀请了各方专家进行技术交流。

Micro Focus作为软件测试行业巨头，其完整的应用质量管理解决方案包括质量中心，性能中心和应用安全中心。质量中心主要提供的是测试过程中的测试管理，功能测试和业务流程测试功能。性能中心提供的是测试过程中对性能的测试和诊断功能，通过系统性能测试评估未上线系统的性能并发现可能的瓶颈。应用安全中心在软件开发生命周期的每个阶段检查Web 应用程序安全漏洞,帮助研发人员、质量保证 (QA) 团队和安全专家迅速高效的监测和纠正安全漏洞，全面修复整个应用程序的生命周期。

特邀专家刘畅博士讲解软件安全性分析、软件失效模式分析、通用失效基础数据等技术，为开展符合GJB 900A、GJB 102A、“航定4号文”等标准要求的军用软件安全性需求获取，安全性分析与设计等工作提供支撑，解决软件安全性需求的正确性和完整性。能够支撑用户建立基于GJB 438B标准需求模型，开展模型驱动的安全性可靠性分析与设计，并实现通用软件失效数据的复用与累积，形成功能需求与安全性可靠性需求的高效一体化分析制定过程。

特邀专家余正伟博士讲解软硬件一体的仿真测试环境，为被测嵌入式软件提供真实环境交联设备的仿真，实现对实时嵌入式软件进行实时、闭环、非侵入式的系统测试。

特邀专家薛云志研究员讲解人工智能与软件开发及软件测试领域的探索。AI正在改变我们的工作和生活方式，它将对软件开发的方式产生重大影响。算法被导入应用程序后，用于检测性能、寻找问题源并确定数据的相关性，帮助程序员快速解决问题。

创联智软公司与Micro Focus公司长期紧密合作，是Micro Focus公司军工行业最佳代理商。共同联手，针对军工行业，举办一系列高水平的深入的技术交流研讨会，为大家带来先进的技术、更全面的应用解决方案，同时也会特邀业内知名专家到场，与我们共同探讨行业内共存的问题和现状，共同分享在实施过程中的宝贵心得和体验。

会议安排

日期：2018年  5 月30日9：00-16：00      

地址：武汉保利大酒店  武昌区民族路788号,近中南路东湖风景区(近地铁4号线洪山广场站) 

会议日程：