▲ Click the blue text “China Electronics Technology Group Corporation” to follow the CETC brand micro-publication
Recently, the self-developed Da Microkernel and Type-1 virtualization software platform by CETC Taiji Puhua has won a bid for an aviation software project, marking a significant leap in basic software from the “automotive-grade platform” to the “aviation-grade scenario” due to its outstanding high security, high isolation, and high real-time capabilities.
As the process of independent innovation in civil aviation accelerates, the cabin information system, as a platform for modern aircraft passenger interaction and services, is undergoing unprecedented profound changes.
Both in-vehicle and airborne systems have many similar requirements for system stability, isolation, and certification in high-security scenarios. Puhua Basic Software has made breakthroughs in formal modeling and verification, Hypervisor resource access tracking, runtime security isolation enhancement, mixed-criticality system scheduling, temporal and spatial isolation for multi-core processors, and multi-level health monitoring technologies, constructing a real-time operating environment that meets the stringent requirements of aviation regulations, ensuring the predictability of end-to-end task execution and rapid recovery capabilities under extreme conditions.In the future, Puhua Basic Software will continue to increase R&D investment, deeply cultivate core technologies in basic software, and provide solid support for building a secure and reliable defense line for critical information infrastructure.Reporter/Zhang Dan Editor/Shang Sujuan Proofreader/He Shuang
Reading · China Electronics Technology Group Corporation
Recommended Reading
▼
Click the image to access the full text
Long pressto recognize the QR code to browse more exciting content
