• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Ada user journal >20th International Real-Time Ada Workshop - IRTAW 2020
【24h】

20th International Real-Time Ada Workshop - IRTAW 2020

机译：第20届国际实时Ada研讨会-IRTAW 2020

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Since its inception, the International Real-Time Ada Workshop (IRTAW) series has provided a forum where members of the research, user, and implementer communities have singled-out issues with the real-time systems support in Ada, and explored possible solutions to them, and approaches to evolve those aspects of the language to the new frontiers of real-time computing. Over the years, the IRTAW has made important contributions to the 2005 and 2012 revisions of the Ada programming language standard, for the tasking features, the real-time and high-integrity systems annexes, the Ravenscar and the Yorvik Profiles, and - more recently - the parallel execution model of the language due to appear in the 202X revision. The topics of interest to the 20th edition of IRTAW include but are not limited to: 1. Review of the Ada 2012 Issues vis-a-vis real-time systems; 2. Experiences of use of Ada 2012, in full or by profile, for real-time applications, on single- and multi-processor as well as distributed systems; 3. Implementation approaches for Ada 2012 real-time features; 4. Review of the Ada 202X Issues with respect to the parallel execution model; 5. Early prototyping and use experiences of Ada 202X parallel features, including integration with OpenMP; 6.Uses of Ada, possibly with SPARK, in certification-aware domains; 7.Review of the Ada language vulnerabilities in relation to TR 24772-2 and -6 by ISO/IEC JTC 1/SC 22/WG 23; 8. Contributions to the Ada's conformance test suite for the Real-Time Annex and the upcoming parallel execution model.
机译：自成立以来，国际实时Ada研讨会（IRTAW）系列提供了一个论坛，在此论坛中，研究，用户和实施者社区的成员在Ada的实时系统支持下发现了一些问题，并探讨了可能的解决方案它们，以及将语言的这些方面发展到实时计算新领域的方法。多年来，IRTAW为Ada编程语言标准的2005年和2012年修订做出了重要贡献，其中包括任务功能，实时和高完整性系统附件，Ravenscar和Yorvik配置文件，以及-最近-语言的并行执行模型将出现在202X修订版中。 IRTAW第20版感兴趣的主题包括但不限于：1.相对于实时系统的Ada 2012问题回顾； 2.在单个或多处理器以及分布式系统上实时或完整地使用Ada 2012进行实时应用的经验； 3. Ada 2012实时功能的实现方法； 4.审查与并行执行模型有关的Ada 202X问题； 5. Ada 202X并行功能的早期原型制作和使用经验，包括与OpenMP集成； 6，在Ada中，可能与SPARK一起在可识别证书的领域中使用; 7，通过ISO / IEC JTC 1 / SC 22 / WG 23审查与TR 24772-2和-6相关的Ada语言漏洞; 8.为Ada的Real-Time附件和即将推出的并行执行模型的一致性测试套件做出的贡献。

著录项

  • 来源
    《Ada user journal》 |2019年第3期|149-149|共1页
  • 作者

    Tullio Vardanega; Jorge Real;

  • 作者单位

    University of Padova Italy;

    Universitat Politecnica de Valencia Spain;

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

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号