MISRA-C

Xen Project Releases Version 4.18 with New Security, Performance, and Architecture Enhancements for AI/ML Applications

Retrieved on: 
Monday, November 20, 2023
Security, Technology, Apps, Applications, Artificial Intelligence, Software, Cloud, MISRA, Machine learning, Automotive industry, TEE, Safety, Organization, Architecture, OPAL, SVE, MPU, Linux Foundation, Linux, Intel, Central processing unit, VM, High-performance Integrated Virtual Environment, PowerPC, Philosophy, Embedded system, AMD, HPC, MISRA-C, EPAM Systems, Power ISA, Arm, FOSS, Medical device, Computer data storage, Video game, Xen

“This version provides new enterprise security and high-performance features, but also prepares architectures for HPC and AI/ML applications, which require very large quantities of data processing,” said Kelly Choi, community manager, Xen Project.

Key Points: 
  • “This version provides new enterprise security and high-performance features, but also prepares architectures for HPC and AI/ML applications, which require very large quantities of data processing,” said Kelly Choi, community manager, Xen Project.
  • The Arm® Firmware Framework for Arm A-profile (FF-A) framework support is now merged in upstream Xen as a tech preview.
  • The memory subsystem in Xen on Arm64 is now more compliant with the Arm architecture.
  • XenServer inherits its security and performance from the Xen Project hypervisor,” said Jacus de Beer, general manager, XenServer BU, Cloud Software Group.

Xen Project Releases Version 4.17 with Enhanced Security, Higher Performance, Improved Embedded Static Configuration and Speculative Mitigation Support

Retrieved on: 
Wednesday, December 14, 2022
Software, Technology, Networks, Security, Cloud, MISRA-C, Advanced Micro Devices, ARM, Certification, Zephyr, GNU General Public License, Project, PVH, HVM, QEMU, VMS, AMD, PCI, Cloud computing, Intel, Linux Foundation, Automotive industry, IOMMU, Infrastructure as a service, Xeon, PV, Running, Map, RISC, Central processing unit, Safety, MISRA, Node.js, EPAM Systems, Amazon Web Services, EPYC, Organization, Risk management, Computer data storage, Bitdefender, Citrix Systems, Xen, Linux

Thanks to the active Xen Project community, a wide range of developers from many companies and organizations contributed to this latest release.

Key Points: 
  • Thanks to the active Xen Project community, a wide range of developers from many companies and organizations contributed to this latest release.
  • We will continue to expand the community initiatives the Xen Project leads and contributes to, as we work together with industry leaders and innovators.
  • Static configuration options for ARM: In many embedded environments, we know ahead of time exactly what resources all guests will need at boot time.
  • With static configuration, resources are allocated statically when the hypervisor boots, removing the possibility of runtime failure.

IHI Corporation Chooses AdaCore’s QGen Model-based Engineering Toolsuite to Develop Autonomous Factory Truck System Software

Retrieved on: 
Monday, December 13, 2021
Technology, Trucking, Engineering, Transport, Other Technology, Automotive Manufacturing, Manufacturing, Software, Networks, Ada, Qiagen, Defense, Code generation, IHI, Cyber Threat Intelligence Integration Center, Institute for Space and Defense Electronics, Urbanization, IHI Corporation, GNAT, Aircraft, Â, Safety, Travel, Energy & Environment, Transport, MISRA-C, Kawasaki Heavy Industries, Engineering, Efficiency, Multimedia, MATLAB, Association of Car Rental Industry Systems Standards, Microsoft Windows, Technology, 3D printing, Medical device, Risk management, Linux, Environment, Machine, Simulink

AdaCore today announced that IHI Corporation of Japan has chosen AdaCores QGen Model Verifier, a part of its QGen model-based engineering toolsuite, along with AdaCores expert support, to help them develop a safe and reliable autonomous truck system in a cost-effective manner.

Key Points: 
  • AdaCore today announced that IHI Corporation of Japan has chosen AdaCores QGen Model Verifier, a part of its QGen model-based engineering toolsuite, along with AdaCores expert support, to help them develop a safe and reliable autonomous truck system in a cost-effective manner.
  • IHI ultimately decided to adopt this approach and to use AdaCores QGen Model Verifier for Simulink to help validate their safety-critical system.
  • According to the IHI Technology & Intelligence Integration Center, We are developing an autonomous transport system using Simulink models.
  • AdaCore is thrilled that IHI has selected our QGen toolsuite to help develop its safety-critical autonomous truck system, said JC Bernedo, AdaCore QGen team lead.