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任务模型的一个子集，被限制为满足实时社区对确定性、可调度性分析和内存有界性的要求，并且适合映射到支持任务同步和通信的小型高效运行时系统，该系统可以被证明具有最高的完整性级别。配置文件的设计使得它定义的受限任务形式甚至可以用于需要验证到最高完整性级别的软件。

ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness, as well as being suitable for mapping to a small and efficient run-time system that supports task synchronization and communication, and which could be certifiable to the highest integrity levels. The profile has been designed such that the restricted form of tasking that it defines can be used even for software that needs to be verified to the very highest integrity levels.

标准预览图