ISO/IEC TR 24718:2005 信息技术-设计语言 在高保真系统中使用Ada Ravenscar 特征测验图的指南

标准编号：ISO/IEC TR 24718:2005

中文名称：信息技术-设计语言 在高保真系统中使用Ada Ravenscar 特征测验图的指南

英文名称：Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems

发布日期：2005-02

标准范围

ISO/IEC TR 24718:2005对Ada Ravenscar Profile背后的动机进行了完整的描述，以展示如何分析符合要求的程序，并给出使用示例。该概要文件是Ada任务模型的一个子集，被限制为满足实时社区对确定性、可调度性分析和内存有界性的要求，并且适合映射到支持任务同步和通信的小型高效运行时系统，该系统可以被证明具有最高的完整性级别。配置文件的设计使得它定义的受限任务形式甚至可以用于需要验证到最高完整性级别的软件。

标准预览图