【英语版】国际标准 ISO/IEC TR 24718:2005 EN 信息技术 程序设计语言 Ada Ravenscar Profile 在高完整性系统中的使用指南 Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems.pdf

  • 2
  • 0
  • 2024-07-10 发布于四川
  • 正版发售
  • 现行
  • 正在执行有效期
  •   |  2005-02-17 颁布

【英语版】国际标准 ISO/IEC TR 24718:2005 EN 信息技术 程序设计语言 Ada Ravenscar Profile 在高完整性系统中的使用指南 Information technology — Programming languages — Guide for the use of the Ada Ravenscar Profile in high integrity systems.pdf

  1. 1、本标准文档预览图片由程序生成,具体信息以下载为准。
  2. 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
  3. 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
  4. 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多

ISO/IECTR24718:2005ENInformationtechnology—Programminglanguages—GuidefortheuseoftheAdaRavenscarProfileinhighintegritysystems是一个标准文件,主要涉及编程语言和在高度安全系统中使用AdaRavenscarProfile的指南。

Ada是一种面向对象的高级编程语言,被广泛用于航空航天、国防和许多其他高要求领域。AdaRavenscarProfile是Ada语言的一个特殊版本,它提供了一种更严格的安全性和可靠性保证,特别适合于高完整性系统。

该标准文件提供了以下内容:

*AdaRavenscarProfile的主要特性:它描述了该特殊版本的语言特性,包括其如何提供更强的类型系统和异常处理机制,以及如何更严格地限制程序员的自由度,从而增加系统的可靠性和安全性。

*使用AdaRavenscarProfile的步骤和最佳实践:该标准文件详细说明了如何使用AdaRavenscarProfile编写高完整性系统,包括选择正确的库和工具,以及如何编写安全的代码。

*对AdaRavenscarProfile的优点和限制的讨论:该标准文件讨论了使用AdaRavenscarProfile的优势,例如更高的安全性和可靠性,以及它的一些限制,例如它可能不适合所有类型的系统。

*对不同系统需求的评估:该标准文件还讨论了如何评估不同的系统需求,以确定是否适合使用AdaRavenscarProfile。

该标准文件旨在为使用Ada语言的高完整性系统开发人员提供指南,帮助他们了解和使用AdaRavenscarProfile来编写更安全、更可靠的代码。

您可能关注的文档

文档评论(0)

认证类型官方认证
认证主体北京标科网络科技有限公司
IP属地四川
统一社会信用代码/组织机构代码
91110106773390549L

1亿VIP精品文档

相关文档