Prevas is a high-tech company founded in 1985. We do custom design product development, in the area of electronic hardware (HW), including firmware, software (SW) and mechanics. We have HW-experts in analog, digital, microprocessor technology, and EMC. SW-experts in C, C++, .Net, JAVA, Linux and many other languages. Our innovative designs and solutions are based on market leading technologies from our partners.

(#STPMIC1) (#STM32MPU) (#STM32MP1)

With the advent of low cost – high bandwidth- low latency connectivity, the increased use of digitization techniques to deliver end-to-end intelligence, many industrial sectors are combining microelectronics and embedded software to deliver real time interactions between the physical and the digital worlds, leveraging on complex IT infrastructures of interconnected devices, systems, systems-of-systems, edge and cloud services. This creates attractive business opportunities for hackers that could exploit the large attack surface exposed by those complex infrastructures to extort money, potentially threatening to remotely cause physical damage to users or surrounding equipment. At ProvenRun, we provide our customers Trusted Products and Services to help them embed Security within their infrastructure of connected devices and services wherever this is required, e.g at the chip, device, systems, edge and cloud levels by providing:

• Security consulting services,
• Security engineering services for the development of ad-hoc solutions,
• Off-The-Shelf secure-by-design product solutions to meet the most demanding needs.

We serve customers across industries mainly in the Automotive, Aerospace/Defense, Transport, Industrial, Telecom sectors, the IoT/Consumer device OEMs and the Semiconductor & IP suppliers. ProvenRun’s main technical competencies are in security architecture, Operating Systems, Formal Methods and security certification. For each of those competencies, we have industry-recognized experts backed up by years of experience in the digital security market, in particular in the smart card and the mobile security industries.

Products and services offered by ProvenRun

ProvenRun answers to the cybersecurity requirements of the device OEMs at all steps of their product life-cycle.

Security consulting services that rely on world-class security expertise and cross-domains business understanding:

• Defining custom security architectures
• Delivering security training to architects and developers
• Performing security analysis and specifying security requirements
• Provide certification support (Common Criteria, CSPN, PSA, CESIP, etc.)

Security engineering services for the development of ad-hoc security solutions:

• Firmware update over-the-air (FOTA) and secure communication protocols (VPN, TLS) development
• Module integration (SE, TPM)
• Secure boot and Root-of-Trust development
• Support for OP-TEE integration and/or development of OP-TEE custom security services

Solutions to secure-by-design connected devices leveraging on software products specifically designed to meet the most demanding needs:

• ProvenCore: A next-generation ultra-secure OS available on STM32MP1 processors. ProvenCore can execute OP-TEE services, is compliant with GlobalPlatform and is certified Common Criteria EAL7.
• ProvenCore-M: A secure RTOS to secure IoT devices using for STM32 Cortex-M processors. Also available for TrustZone on STM32L5.
• IoT Security Suite: A complete IoT solution for STM32MP1 processors, based on ProvenCore, that includes a secure boot, an attestation service, and different FOTA options with increasing level of security.

ProvenRun in STMicroelectronics Ecosystem

ProvenRun is a key partner of STMicroelectronics in the field of embedded software security, and ProvenRun’s products match perfectly with STMicroelectronics’ portfolio.

ProvenRun: Related Resources

(#STM32MPU) (#STM32MP1) (#MP1SECURE) (#STSECURE) (#STSAFE-A)

Pure Engineering was originally started in 2006 to offer specialized consulting and design services for small projects and ideas. Then in 2014 Pure Engineering LLC was established as the growth of the consulting work and products exploded. Our services cover a wide range of skills starting from strategic planning and product development. We offer architecture development, applying engineering rigor to develop and assess technology that is suitable for the design. In most cases you need more than a piece of paper; this is where we can develop a proof of concept to help conceptualize your product. Beyond a concept, we will make a prototype to demonstrate the produce experience and shake out all the issues before moving to manufacturing. In most cases if we are involved early in the design process, we will design for manufacturing from the beginning ensuring you will be prepared for production. In some cases when you have hit a design block or impossible requirements, we will provide subject matter experts to find a solution. Finally as we are applied researchers at heart we love to apply our engineering backgrounds to develop unproven technologies, test out theories and live on the bleeding edge.

Pure Engineering is an embedded software and hardware company that builds tomorrow's Internet of Things.  We are focused on low power custom hardware and firmware designs for IoT devices.  We specialized in developing solutions using the BlueNRG and other STM32F series of micro-controllers. 

Qt Group (Nasdaq Helsinki: QTCOM) is a global software company with a strong presence in more than 70 industries and is the leading independent technology behind millions of devices and applications. Qt is used by major global companies and developers worldwide, and the technology enables its customers to deliver exceptional user experiences and advance their digital transformation initiatives. The company's net sales in year 2017 totaled 36,3 MEUR and it employs some 300 people. To learn more, visit http://qt.io. 

(#STPMIC1) (#STM32MPU) (#STM32MP1)

上海移远通信技术股份有限公司（Quectel Wireless Solutions）是全球领先的5G、LTE、LTE-A、LPWA、智能模组、C-V2X、GSM/GPRS、UMTS/HSPA（+）和GNSS模组供应商。作为一家专业的物联网（IoT）技术开发商和蜂窝模组供应商，移远通信能够为IoT蜂窝模组提供一站式服务。  

移远致力于帮忙全球客户产品快速联网。迄今为止，超1亿设备使用移远模组完成联网 。

Radio Controlli is a young company but with an important baggage of experiences. The company was founded by initiative of managers with long and established experiences ( electronics engineering and research & development ) in some major Italian industrial groups ( Italtel, IPM Group ) ; Later they were joined by professional and skilled resources. RadioControlli designs, produces and sells Wireless and IoT Modules for different market segments, from the industry to the hobby use.

All our products are developed in accordance with the technical regulation and laws applicable in different markets.

LoRaWAN Public Network Operator in Mexico Country.

We offer ultra low cost Connectivity to LoRaWAN devices through our Neutral Host Carrier Grade Low-Power Wide-Area Network for IoT in Mexico.

As a leading international manufacturer, the name Rosenberger is associated with the most advanced technologies, development capabilities and quality. The Rosenberger Group – with its headquarters in Germany and sales and manufacturing locations around the world – provides a wide range of standardized and customized connectivity solutions in high-frequency, high-voltage and fiber optic technologies.These solutions ensure the reliable transmission of signals, data and power in highly demanding applications. Renowned high-tech companies in mobile and telecommunications, industrial measurement technology, automotive electronics, medical and industrial electronics, data technology and aerospace, rely on the precision and reliability of Rosenberger’s high quality products.

Rosenberger is currently working on a system and a product portfolio that enables contactless data- and/or power transmission. With this contactless technology, designers and developers get completely new ways of conceiving connections. RoProxConn is a connection system that can be used to easily create contactless connections over a short distance. With RoProxConn, various applications can be improved or even new solutions implemented for previously unrealizable scenarios. 

All applications are conceivable in which conventional connectors, slip rings or cable trees reach their limits, e.g. due to movement, rotation or lifetime. Data transmission of RoProxConn is based on radio transmission with a carrier frequency of 60 GHz. This frequency in the mmW range has the great advantage that high data rates can be achieved without complex modulation effort in the transmitter and receiver. Current systems with the ST60 can transfer data rates of up to 6 Gbps. This solution allows protocol agnostic data transmission.

#ST60

RT-Thread是一个开源嵌入式实时操作系统（RTOS），针对物联网（IoT）应用提供了广泛的组件和245+软件包。开源的力量就是社区的力量，自从2006年首次发布以来，RT-Thread得到了社区开发者、芯片和原始设备制造商的大力支持，并继续发挥作用。此外，RT-Thread的安装量已达6亿台，聚集了强大的全球性开发者社区，并在硬件和软件领域打造了一个巨大的生态系统。RT-Thread目前广泛应用于智能家居、安防、工业车辆、可穿戴设备、智慧城市等众多领域。

SafeRide Technologies is a leading provider of AI-based vehicle health management (VHM), data analytics, and cybersecurity solutions that provide timely vehicle insights to automakers and fleet owners.

SafeRide’s core technical strengths are in AI & data science, embedded software, wired and wireless networking technologies, and cybersecurity. Their vInsight™ deep learning VHM platform, CAN Optimizer data compression and optimization solution, and vSentry™ multi-layer cybersecurity solutions are solidly built on these core technical strengths.

SafeRide was founded in 2016 with offices in Silicon Valley and Tel Aviv, Israel. Since then, SafeRide has opened offices in Detroit and Germany, and they’ve established partnerships that expand their reach and their capabilities to support customers worldwide.

Software offered by SafeRide Technologies

In the context of their partnership with ST SafeRide offers:

CAN Optimizer is SafeRide’s data compression and optimization solution that provides very efficient data delivery to the cloud and enables multiple big data analytics applications, including VHM.

SafeRide Technologies in STMicroelectronics Ecosystem

SafeRide is a key partner for CAN data compression for automotive big data analytics applications, including vehicle development, predictive maintenance, remote diagnostics, usage-based analytics, and data storage.

SafeRide is well positioned in artificial intelligence, in particular with their CAN Optimizer data compression and optimization software that is pre-integrated into the STA1385 Telemaco3P automotive telematics and connectivity microprocessor.

SafeRide Technologies: Related Resources