图灵奖得主Joseph Sifakis：将模型检测从学术应用至产业界的功臣

图灵奖得主Joseph Sifakis：将模型检测从学术应用至产业界的功臣 | CCF-GAIR 2018

2018-05-20 616

软件工程专业的同学想必都很熟悉下面这起惨剧：1996 年 6 月 4 日，由欧洲 12 国联合研制的阿丽亚娜 (Ariane) 5 型运载火箭，在首次发射后因为一行代码的溢出错误导致火箭升空约 37 秒时爆炸，造价几亿欧元的火箭就这样悲剧收场。

如此重大的发射任务事前势必经过了周密的检查，但为什么还是没能避免惨剧的发生？举个例子大家就懂了，这就好比箭已离弦，导弹飞机离地升空，根本不可能在空中进行重启操作。再加上如火箭、飞机这样的军工，航天领域应用的软件代码越来越复杂，一旦发生代码溢出和死循环，后果也将越发不可承受。同样的悲剧也绝非孤例，微软的 Windows Azure 因受到一个闰日缺陷而宕机长达 30 多小时；亚马逊平台故障导致 0.07% 的用户数据最终无法复原。

在这样的背景下，学术界和工业界开始要求在常规测试之外采用更加严格

微信关注我们

原文链接：https://yq.aliyun.com/articles/594694

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

物联网厂商 CalAmp 服务器配置错误，黑客可盗窃数据，开车走人

雷锋网消息，据外媒美国时间 5 月 20 日报道，安全研究人员发现，CalAmp（一家为多个知名系统提供后端服务的公司）运营的一台服务器因为错误配置，黑客可借助该漏洞接入账号数据，甚至直接接管相关车辆。发现该问题时，安全专家 Vangelis Stykas 和 George Lavdanis 正在搜寻 Viper SmartStart 系统中的安全漏洞，这是一款让用户能远程启动、锁闭、解锁或定位车辆的设备，有了它，用户只需操作手机中的应用就能直接完成上述操作。与其他移动应用类似，这套系统用了 SSL 和证书锁定（Certificate Pinning，已知其服务器用上了硬编码）安全连接来自动拒绝那些提供虚假 SSL 认证连接的网站。不过两位安全专家指出，该应用不但会连接到 mysmartstart.com 的域名，还会连接第三方域

2018-05-21

550

中国市场社交媒体的兴起、视频流爆炸性的增长、电商的蓬勃发展、物联网、云服务和移动宽带网络的飞速发展，所有这些趋势导致了数据的海量增长，几乎各行各业都无法忍受宕机，需要保持全年全天候不间断业务永续。一年损失1,600万美元，品牌和企业声誉受损，丧失客户信任的风险…意外IT宕机造成的后果是任何一家企业也无法承受的。用户需求与可用性之间的巨大差距 Veeam的使命是让世界上的每一家公司都能够实现业务永续。正是考虑到保证业务的可用性是如此的利益攸关，Veeam组织调研并发布《Veeam可用性报告》，介绍了用户需求与IT总体可用性之间的巨大差距。 2016《Veeam可用性报告》是一项针对企业为满足Always-On EnterpriseTM（企业级业务永续）要求所做努力而进行的全球调研，目的是研究当今的企业是否能够提供当前客户所需要的可用性水平。调查结果显示，84%的首席信息官承认，他们目前存在可用性差距(用户需求与IT部门能力之间的差距，例如，用户要求能够全天候访问重要应用和数据)，出现宕机时，企业很快就要面对品牌负面的影响，以及巨大的经济损失。虽然企业非常重视所面临的难题，也确实采...

2018-05-22

538

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。