Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems

Joyce L Tokar

首页> 外文期刊>Ada Letters >Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems

【24h】

Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems

机译：关于在高完整性系统中使用Ada编程语言的ISO / IEC技术报告的更新

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The Ada programming language has been designed for use in high integrity, safety critical, and secure software systems. Several International Organization for Standardization/International Electrotechnical Commission (ISO/IEC) technical reports have been developed to provide guidance on the appropriate use of Ada to achieve the largest benefit in the verification and security of high integrity systems. While the Ada programming language has been evolving over time, these technical reports were written utilizing the Ada 2005 version of the programming language standard. In this brief paper, we pose that the International Real-Time Ada Workshop membership assume the responsibility for updating the technical reports to be in alignment with the current Ada programming language standard, known as Ada 2012.

机译：Ada编程语言被设计用于高度完整性，安全性和安全性较高的软件系统。已经开发了一些国际标准化组织/国际电工委员会（ISO / IEC）技术报告，以提供有关Ada正确使用的指导，以在验证和完整性方面最大程度地受益。随着Ada编程语言的发展，这些技术报告是使用Ada 2005版本的编程语言标准编写的。在这篇简短的论文中，我们假设国际实时Ada研讨会成员承担更新技术报告的责任，以使其与当前称为Ada 2012的Ada编程语言标准保持一致。

著录项

来源
《Ada Letters》 |2015年第1期|93-94|共2页
作者
Joyce L Tokar;
展开▼
作者单位

Pyrrhus Software PO Box 1352 Phoenix, AZ 85001-1352;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Information technology: ISO/IEC JTC 1 Subcommittee 22, Programming languages, their environments, and system software interfaces [J] . John L.Hill ISO Bulletin . 2001,第2期

机译：信息技术：ISO / IEC JTC 1小组委员会22，编程语言，其环境和系统软件接口
2. Soft-testing of industrial control systems programmed in IEC 1131-3 languages [J] . George Hassapis ISA Transactions . 2000,第3期

机译：用IEC 1131-3语言编程的工业控制系统的软测试
3. Research on Programming Languages and Systems Reported by S.S.Huang et al [J] . Energy Business Journal . 2011,第jana3aocta31期

机译：S.S. Huang等人报道的编程语言和系统研究
4. Comparison of lighting strike specific energy calculation between SIST EN 62305-1 standard and IEC TR 60071-4 technical report using Rise-Time and Peak-To-Zero time measured by Lightning Localization System [C] . KLEMEN JEVNIKAR, GORAN MILEV, VLADIMIR DJURICA International Colloquium on Lightning and Power Systems . 2017

机译：SIST EN 62305-1标准和IEC TR 60071-4使用避雷定位系统测量的升降时间和峰值时间的峰值和零峰值时间的照明罢工特定能量计算的比较
5. How U.S. State Data Protection Statutes Compare in Scope to Safeguard Information and Protect Privacy Using Iso/Iec 27001:2013 and Iso/Iec 27701:2019 Security and Privacy Management System Requirements as an Adequacy Baseline [D] . Allendevaux, Scott. 2021

机译：如何使用ISO / IEC 27001：2013和ISO / IEC 27701：2019安全和隐私管理系统要求，以维护信息和保护隐私，以保护信息和保护隐私
6. I. Some Problems in the Application of Information Technology in Medical Care: Programming Medical Information Systems—The Role of Standardization and the Dynamics of Programming Language Evolution toward Natural Language Interaction [O] . Ichiro Wakai 1981

机译：I.信息技术在医疗保健中的应用中的一些问题：医疗信息系统编程-标准化的作用以及编程语言向自然语言交互发展的动力
7. Annual Technical Progress Report of Radioisotope Power System Materials Production and Technical Program Tasks for October 1, 2005 through September 30, 2006 [O] . 2007

机译：2005年10月1日至9月30日放射性同位素动力系统材料生产和技术计划任务年度技术进展报告

Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems

摘要

著录项

相似文献

相关主题

期刊订阅