技术
- 传感器 - 流量计
- 传感器 - 液体检测传感器
适用行业
- 国家安全与国防
适用功能
- 产品研发
- 质量保证
用例
- 虚拟现实
- 视觉质量检测
服务
- 测试与认证
关于客户
UPEK, Inc. 总部位于加利福尼亚州,是生物识别指纹技术领域的先驱。自 1996 年成立以来,UPEK 一直致力于让安全变得简单且易于访问。该公司的解决方案满足广泛的客户需求,从大型联邦机构到个人个人计算机用户。在移动设备可以轻松访问个人数据的时代,UPEK 的创新安全解决方案变得越来越重要和重要。该公司的设计团队负责流程的设计和验证元素,需要高度的适应性才能与不同计算系统中的多个接口集成。
挑战
UPEK 是一家总部位于加州的生物识别指纹技术先驱,在设计和验证过程中面临着重大挑战。该公司的设计团队负责流程的设计和验证元素,需要高度的灵活性来适应不同计算系统的多个接口。主要的业务挑战是为客户提供更快的上市时间。为了实现这一目标,UPEK 需要加快设计周期,并将基于断言的验证方法纳入其现有的设计和验证流程。
解决方案
为了应对这些挑战,UPEK 决定将基于断言的验证方法纳入其现有的设计和验证流程。该公司利用 Cadence 的 Incisive Formal Verifier 和工程服务来简化流程。Incisive Formal Verifier 与 Incisive Design Team Simulator 相结合,提供了一套互补的技术,这些技术在设计和验证流程的不同阶段都有效。形式分析非常适合早期阶段和复杂的控制逻辑,而模拟则适用于芯片级、端到端验证。该解决方案还包括统一的解析器、通用语言支持和集成调试环境,以确保易于使用。
运营影响
数量效益
Case Study missing?
Start adding your own!
Register with your work email and create a new case study profile for your business.
相关案例.
Case Study
Data Capture for Afghanistan Forces
Electronic equipments on the field of Afghanistan provided information on the status of the vehicle and to identify potential threats surrounding it to the British Force. The monitoring and interpretation of this data requires robust and sophisticated digitization for data capture and communication.
Case Study
Enhancing Security and Compliance in Remitly's Global Money Transfer Service with Fastly
Remitly, an online remittance service, was faced with the challenge of securing its proprietary global transfer network. The company needed a security solution that could meet PCI requirements and protect customers' sensitive transactions through its mobile application. The solution had to be capable of defending against new and emerging attack types without impacting performance. Remitly also had to deal with irregular traffic patterns, such as a sudden spike in account transfers from a small network segment on the Pacific coastline of South America. The company needed to determine in real time whether such traffic indicated an attack or valid requests. A traditional web application firewall (WAF) would not be able to distinguish this traffic, potentially leading to customer frustration if the IP was blacklisted.
Case Study
Major Aerospace Company Automates Asset Management
The O&M division of an aerospace and global security company was using spreadsheets to manually track more than 3,000 assets assigned to students and staff. Maintaining audit trails for this high volume of equipment became increasingly time-consuming and challenging. The chore involved knowing precisely what equipment was on hand, what had been issued, its location and the name of the custodial owner of each item. Every aspect of this task was carried owner of each item. Every aspect of this task was carried out by individuals with spreadsheets. Manually documenting the full lifecycle of each asset added to the burden. This included tracking maintenance requirements and records, incidents and damages, repairs, calibrations, depreciation, and end-of-life data.
Case Study
Securing a Large Data Center in the EMEA Region: An IoT Case Study
A leading data-center operator in the EMEA region, with multiple facilities spanning over 25,000 square meters, faced significant security challenges. The operator experienced interruptions in their internal IT network due to unsupervised work of third-party technicians. Despite having a high-end building control system that provided 24x7 monitoring and control to all the building’s infrastructure, the data center was vulnerable from a cyber perspective as it was connected to the IT network infrastructure. The operator launched an urgent OT cyber security project that included both IT-OT network segmentation and OT network asset mapping and anomaly detection. The main objectives were to harden the security of the server systems, secure the facility’s power supply and server cooling system, strengthen the segmentation between building and operational systems, create a visual OT network map, and set up a system for presenting supply-chain attacks that may threaten the data center through equipment vendors’ maintenance activities.
Case Study
Leveraging Graph Technology for Enhanced Cybersecurity: A Case Study on MITRE's CyGraph
MITRE, a federally-funded, not-for-profit company that manages seven national research and development laboratories in the United States, was grappling with the challenge of managing an influx of cybersecurity data. The constant changes in network environments were impacting the security posture of U.S. government agencies. Intrusion alerts, anti-virus warnings, and seemingly benign events like logins, service connections, and file share access were all potentially associated with adversary activity. The cybersecurity researchers at MITRE needed to go beyond rudimentary assessments of security posture and attack response. This required merging isolated data into higher-level knowledge of network-wide attack vulnerabilities and mission readiness. The challenge was not the lack of information, but the ability to assemble disparate pieces of information into an overall analytic picture for situational awareness, optimal courses of action, and maintaining mission readiness. The team also struggled with fully comprehending a given security environment and mapping all known vulnerabilities.
Case Study
Enhancing Security Precision with IoT: A Case Study of Guardsman Group
Guardsman Group, a leading security company in the Caribbean, faced a significant challenge in maintaining the security of its digital infrastructure. The company provides security equipment, personnel, and systems for various businesses across the region. However, one of its offices experienced a security incident that affected all communications at that location. The existing security tools were not sufficient to provide the necessary protection, and it took hours to identify the source of the issue. This incident highlighted the need for a dynamic solution that could proactively identify threats. The company's primary concern was any disruption to its business, as it manages a significant portion of Jamaica's money and cannot afford for its operations to go down.