ISOIEC TS 24718-2025 信息技术 程序设计语言 Ada Ravenscar Profile在高完整性系统中的使用指南 标准立项发展报告.docxVIP

信息技术程序设计语言AdaRavenscarProfile在高完整性系统中的使用指南标准立项发展报告

StandardizationDevelopmentReport:Informationtechnology—Programminglanguages—GuidancefortheuseoftheAdaRavenscarProfileinhighintegritysystems

摘要

随着高完整性系统（HighIntegritySystems）在航空航天、轨道交通、核工业、医疗设备等安全关键领域的广泛应用，对程序设计语言的可靠性、可验证性和实时性提出了极为严苛的要求。Ada语言自20世纪80年代由美国国防部主导开发以来，始终以安全性、可靠性和可维护性为核心设计目标，已成为高完整性系统开发的首选语言之一。RavenscarProfile作为Ada语言的一个受限子集，专为高完整性实时系统设计，通过限制任务调度、保护对象和通信机制等特性，使系统行为具备静态可分析性，从而满足安全认证标准（如DO-178C、IEC61508等）的严格要求。ISO/IECTS24718-2025《信息技术程序设计语言AdaRavenscarProfile在高完整性系统中的使用指南》于2025年1月24日正式实施，该技术规范为开发人员提供了