社会计算与软件可信-Trustie.ppt

1、社会计算与可信 2010年9月27日,社会计算,4,Trustie项目的背景和目标,3,社会计算中的可信,社会计算与可信-Trustie,1996年6月4日因软件失效在发射40秒后爆炸，原因是惯性参考系统软件的数据转换异常造成的失效。,2004年12月20日，美空军第422测试评估大队的一架F-22猛禽战斗机因软件问题在起飞过程中失控坠毁。2007年2月9日同样因软件问题延迟在日本部署。,170万行代码,可信问题-可靠性、正确性,可信问题-可维性、生存性,2003年8月14日美国电力监测与控制管理系统在多计算机系统试图同时访问同一资源时引起软件失效。,2005年11月1日，东京证券交易所因为软

2、件升级出现系统故障，导致早间股市“停摆” 。,ZDnet, The top 10 IT disasters of all time (whitepaper), Nov 2007. Faulty Soviet early warning system nearly causes WWIII (1983) The AT&T network collapse (1990) The explosion of the Ariane 5 (1996) Airbus A380 suffers from incompatible software issues (2006) Mars Climate Obse

3、rver metric problem (1998) EDS and the Child Support Agency (2004) The two-digit year-2000 problem (1999/2000) When the laptops exploded (2006) Siemens and the passport system (1999) LA Airport flights grounded (2007),Software Failures in IT Disasters,美国F-18战斗机飞行控制软件共发生500多次故障； 爱国者导弹因为软件问题误伤了28名美军士兵

4、； 在沙漠风暴作战行动中，E-3空中预警飞机由于战场上电磁信号太多造成拥塞，以致能力大打折扣，为此，专门派谴软件保障组直接进行软件维修，使其雷达软件在96h内得到修正。,海湾战争,美国“超大规模系统：未来的软件挑战”中认为：超大规模系统由于高强度运行，其软件会经常处于非预期环境，会在宏观层面上表现“失效常态化”的特征。,软件“失效常态化”认识,关注点的迁移,质量：主要针对需求到计算技术的映射关系。其质量控制覆盖需求获取、软件设计、软件实现等各个阶段，软件测试和验证也对应能够明确描述的需求。 可信：主要面对与计算技术对应不明确的抽象需求。 近期不少研究从抽象需求中剥离可能对应到计算技术的部分并积

5、极寻求技术上的解决方案。比如： 从“可维护性”中剥离“对流程变更的适应能力”形成工作流技术 从“服务质量”中剥离“用户随时随地访问”形成网格计算技术 为提高“环境适应能力”形成自组织、自演化技术等等。,软件认识从“产品”到“服务”,软件作为服务：可信,软件系统的运行行为及其结果总是符合人们的预期，在受到干扰时仍能提供连续的服务。,软件可信,社会计算,4,Trustie项目的背景和目标,3,社会计算中的可信,社会计算与可信-Trustie,软件的可信保证体系,安装/部署,关键技术分析可信构造,可信系统的构造与验证,开发方法,运行支撑,理论体系,开发方法,运行支撑,理论体系,来源：国家自然科学基金

6、委“可信软件基础研究”重大研究计划,关键技术分析可信服务,开发方法,运行支撑,理论体系,开发方法,运行支撑,理论体系,演化 主动,固化 被动,可信系统的演化与控制,来源：国家自然科学基金委“可信软件基础研究”重大研究计划,关键技术分析可信度量,开发方法,运行支撑,理论体系,开发方法,运行支撑,理论体系,综合 定量 动态,单一 定性 静态,可信性建模与度量,来源：国家自然科学基金委“可信软件基础研究”重大研究计划,可信软件技术与产业,软件服务保障,安装/部署,社会计算,4,Trustie项目的背景和目标,3,社会计算中的可信,社会计算与可信-Trustie,Trustie项目的立项背景,软件产业

7、基础设施 为企业、为开发人员提供共性基础设施和服务 软件产业的发展需要软件基础设施的强有力的支撑 2007年6月，国家“十一五”863计划确定了重点项目： 高可信软件生产工具及集成环境,CMM等质量保障体系,操作系统、数据库管理系统与中间件,生产工具与集成环境,Trustie项目的立项背景,软件产业基础设施 为企业、为开发人员提供共性基础设施和服务 软件产业的发展需要软件基础设施的强有力的支撑 2007年6月，国家“十一五”863计划确定了重点项目： 高可信软件生产工具及集成环境,Trustie国家课题目标,建立1个环境 可信的国家软件资源共享与协同生产环境 配套的、可持续发展的运行机制 指导

8、本项目其他课题发布软件资源、集成软件工具、开展协同开发的技术规范 从而为构建高可信软件生产工具及集成环境提供核心基础设施,突破4个方面的基础技术 高可信软件生产技术 可信软件资源共享支撑技术 软件开发协同技术 软件可信度分级机制 研发4个层次的支撑软件 覆盖软件开发主要活动和任务的软件工具 国家级软件资源库 面向不同技术特征的若干软件生产线 开发协同平台,国家级软件产业基础设施,开发人员,资源评定人员,终端用户,一组 软件生产线,一组工具,过程管理人员,企业开发环境,2020/8/7,面向的用户,软件企业 完整的企业协同开发环境及软件生产工具集和构件资源库 软件开源社区 协同开发环境 863软

9、件专业孵化器、软件园等服务机构 协同开发环境、软件生产工具和软件构件资源库 各类软件学院等人才培训机构 软件生产实训环境 软件开发人员 提供网络化的开发环境支持服务 发布项目、发布成果，提供成果共享和交易的基础,2020/8/7,生产线,企业用户 下载相关的资源、工具、生产线，形成企业内部环境 在企业内部环境进行软件开发，产生新的软件资产 有选择性的共享构件、服务、工具等资源,企业内部生产环境,软件 制品,软件 制品,使用模式企业按需定制,2020/8/7,生产线,中小企业用户 用户登陆软件协同开发环境 从资源库中选择所需的服务、构件 直接选择适合的生产线并进行定制 利用生产线开发软件,软件开

10、发协同平台,软件 制品,软件 制品,应用模式为中小企业提供在线服务,Trustie公共 社区服务,Internet / Intranet,25,基于社区的软件资源共享 基于社区的软件协同开发,应用模式软件开发社区,2020/8/7,典型应用场景（1/3）,生产线资源的共享,验证测试 生产线,提供生产线,定制使用生产线,企业,企业,企业,高可信软件生产工具 与集成环境,2020/8/7,典型应用场景（2/3）,资源共享与协作开发,高可信软件生产工具 与集成环境,开发人员,资源评估人员,开发人员,开发人员2,开发人员3,开发人员n,2020/8/7,典型应用场景（3/3）,面向项目的协作开发,开发

11、人员1,项目管理人员,项目管理 进度控制,测试人员,开发人员2,开发人员3,参与项目,软件测试,形成紧耦合的虚拟开发团队,高可信软件生产工具 与集成环境,典型应用场景（3/3）,社会计算,4,Trustie项目的背景和目标,3,社会计算中的可信,社会计算与可信-Trustie,Web 2.0,Alexa 网站排名,Social Networking,Social Bookmarking,Social Media,Social News,Social Knowledge Sharing,Social Marketing,Social Computing,Social Computing,社会计算

12、,4,Trustie项目的背景和目标,3,社会计算中的可信,社会计算与可信-Trustie,2020/8/7,Trustworthiness ?,humans are socially blind and unsure in the cyber space. Can computing facilities be trusted? Can information systems be dependable? Can unknown people in the other end be trustworthy? Can certain community be trusted?,2020/8/7

13、,What is Trustworthiness ?,In Wiktionary, trustworthiness is the personal state or quality of being trustworthy or reliable. We may refer trustworthiness as a value assigned to a human or a thing to show how (s)he or it is worthy of being trusted, honest, reliable, or dependable. In social computing

14、, trustworthy computing facilities or human beings are those having acceptable trustworthiness within users expectations, where users can be human beings or computing facilities.,2020/8/7,Trustworthiness ?,Human-Computer Interaction vs Social Computing Dependability Trustworthiness,2020/8/7,Trustwor

15、thiness in Social Computing,2020/8/7,Trustworthiness in Social Computing,Trusted sets up agreements of acceptable trust on common computing facilities ( security only ) Trusted computing hardware and software serves as elementary facilities for social computing. Trustworthy broadens its attributes,

16、with security, privacy, reliability, and business integrity involved, under common expectations. Dependability and High Confidence are about trustworthiness of human beings on computing facilities.,Trustworthiness in the figure is more like its original relationship among human beings in social society, but here refers to trustworthiness indirectly built from their communications in the virtual society, enabled by social computing serving as communicat