登录
 机构网站
  1. 首页
  2. 情报产品
  3. 快讯详情

《Synopsys发布Coverity 8.5静态分析工具》

  • 来源专题：集成电路
  • 编译者： Lightfeng
  • 发布时间：2016-07-19

  • Synopsys公司今天宣布Coverity® 8.5版本，这是该公司在业界领先的静态分析工具和其软件完整性平台的核心组件之一。Coverity是一个自动化的软件测试工具，用于分析源代码，以检测软件开发生命周期早期的关键安全漏洞和缺陷。

    在Synopsys完整的软件平台上，Coverity和其他工具是用来辅助“软件验收”的，一个集成的开发和测试方法目的在于保证软件的质量和安全。

    Coverity 8.5版本包括了一些重要的更新，来提高它的安全性分析和报告功能，并将它的实用工具扩展到更广泛的受众，包括组织开发Web、移动应用软件和车辆软件系统，和其他安全关键系统。

15浏览量
原文链接
相关报告

  • 《Gartner发布物联网预测分析报告》
    • 来源专题：中国科学院文献情报制造与材料知识资源中心 | 领域情报网
    • 编译者：姜山
    • 发布时间：2017-03-20
    • 在物联网不断推广的过程中，企业正经历技术与商业上的重大挑战，企业必须投资新的方法，才能确保物联网计划的成功。为了协助企业决策者规划物联网方案。2月21日，Gartner咨询公司发布了《物联网预测分析报告》（Forecast Analysis: Internet of Things），对2017年以后的物联网提出了四项预测。 （1）至2020年，50%的大规模物联网执行计划将会应用云端安全服务（目前应用云端安全的比例不到10%）。物联网的扩张速度极快，且其架构、网络与数据流的安全防护日益复杂，技术需求与内部安全防护基础建设对企业造成莫大的压力，即便是大型组织也不例外。未来对网络安全专家的需求度相当高，信息安全技术人才的雇用与留任越来越困难。因此，对大多数布局物联网的组织而言，采用具有高度扩展性的云端安全服务将不可或缺。庞大的数据量让企业内部的安全防护基础设备难以应付，而云端安全解决方案则能符合此种物联网布局的高扩展性与成本需求。 （2）至2020年，在采用物联网的企业中，至少65%企业将运用物联网平台软件包（目前仅33%）。驱动物联网平台采用量提升的因素包括：①物联网应用的商业需求逐渐成长，促使企业的物联网方案激增，整合物联网基础建设的呼声也越来越大；②物联网平台服务（PaaS）产品变得更容易获取，PaaS产品让企业能扩大物联网技术的采用范围，随着需求的成长进行规模升级；③物联网的规划初期较为简单，但扩展到后来往往日渐复杂，牵涉商业应用程序、行动Apps以及软件服务（SaaS）的整合，因此企业需要通用的物联网PaaS功能以支持复杂的物联网商业逻辑和分析技术；④对现有的中间件（Middleware）来说，物联网扩充功能变得比较容易取得，主要的中间件企业（如IBM、Microsoft、Oracle与SAP等）为自家的中间件产品提供原厂的物联网扩充功能，让客户可以将物联网技术整合至既有的计划中。 （3）至2020年，在物联网服务供货商所设置的物联网解决方案中，50%的解决方案会直接影响客户高层的物联网策略（目前具有此种影响力的方案低于5%）。多数的企业目前聚焦于单点式解决方案（Point Solution），亦即是选择现成的物联网解决方案，分析信息以达成战术上的成效。然而企业的领导阶层逐渐认识到，物联网应该导向商业绩效并作为数字转型策略的一部分。随着服务供货商累积更多物联网解决方案之设计、建构与布局的专业技术，他们会把上述优势纳入物联网的投资报酬率模型与资产当中。这些模型与资产将有助于提升企业物联网方案、策略规划与数字转型之间链接的强度。 （4）至2020年，数据科学专家短缺将导致75%的机构难以发挥物联网的全部潜能。物联网潜力的开发需要能够分析数据的科学家，他们不仅理解数据科学的原理，也能掌握物联网环境专用的软件工具，例如流处理平台（Stream Processing Platform）与网关分析（Gateway Analytics）等。虽然大学正逐渐扩充数据科学的教育，但仍需5年以上的时间才能实际改善技术人才的供应。未来运用物联网（或为了运用物联网而更新既有计划）的企业越来越多，未来数年仍会有高度的人才需求。
    214浏览量
    原文链接

  • 《《新型电力系统发展分析报告2024》发布》
    • 来源专题：能源情报网监测服务平台
    • 编译者：郭楷模
    • 发布时间：2024-11-07
    • 国网能源研究院日前发布的《新型电力系统发展分析报告2024》(以下简称报告)指出，新型电力系统建设受政策、机制、技术、产业等多重因素影响，需坚持科技创新、机制创新双轮驱动，统筹各要素协同推进，夯实新型电力系统高质量发展基础。 在电源侧，多元化电力供应体系正在形成。报告显示，截至2024年7月底，全国风电、光伏装机容量合计达到12.1亿千瓦，提前六年多实现2030年规划目标。甘肃、青海、宁夏、河北等省（区）新能源发电装机容量占比已经超过50%，成为装机主体。截至2023年底，煤电灵活性改造规模达到3.2亿千瓦。预计2030年全国电源装机容量超过50亿千瓦，其中新能源发电装机超过28亿千瓦。 在电网侧，多形态电网协同发展。报告指出，柔性交直流等新型技术广泛应用，主配微等多形态协同发展的新型电网要素承载能力持续提升。有序推进大型风光基地和外送通道规划建设，送受端电网支撑能力稳步提升。各区域电网坚强性、互济性稳步提升，服务新能源高质量发展。互联通道的“直接送电”和“互济调节”作用更加统筹平衡。 在负荷侧，多样化负荷柔性互动能力提升。报告显示，“新三样”、数据中心、绿电制氢等“高耗电”战略新兴和未来产业加速发展，终端电气化水平逐步提升，加之气候气温对电力需求增长产生持续影响，未来电力需求继续保持较快增长，预计2030年全国全社会用电量可能超过13万亿千瓦时。 在储能侧，多类型储能布局逐步优化。报告指出，新型储能是增长主力，在源网荷各侧加快布局，应用能效逐步改善。截至2024年6月底，全国新型储能项目累计装机规模达4444万千瓦/9906万千瓦时，较2023年底增长超过40%，其中独立储能、共享储能占比45.3%，新能源配建储能占比42.8%。新能源配储、独立储能、工商业储能日均运行小时数相较去年同期分别提升1.69、1.81、3.49小时。储能呈现多元化发展态势，预计2030年全国新型储能需求至少超过1.5亿千瓦。 在市场价格机制方面，报告显示，我国持续完善安全保供、新能源消纳市场机制，充分调动各参与主体积极性。在煤电容量电价机制基础上，逐步形成更加市场化的容量电价形成机制，夯实常规电源兜底、灵活资源支撑保障基础。深化完善分时电价、阶梯电价等政策，推动负荷管理工作逐步转向市场引导为主、用户主动响应。区分存量、增量项目，差异化完善中长期市场、现货市场、绿电绿证交易等，加快建设适应新能源占比逐渐提升的电力市场机制。完善分布式光伏参与市场交易的顶层设计，引导各主体合理公平承担系统成本。 当前，新能源规划布局、风光装机配比需要进一步优化，大电网与分布式系统的发展协调性有待提升，新能源快速发展对电网接纳调控能力提出更高要求。报告建议，需要强化源网统一规划建设，科学规划风光装机配比，最大限度平抑新能源波动，整体降低系统调节资源需求。加强新能源基地与国家产业规划的有效协同，特别是因地制宜发展自治型分布式新能源系统，实现与广域大系统深度共融发展。（经济日报记者 王轶辰）
    958浏览量
    原文链接