2、可靠软件技术与Ravenscar实时内核深度解析

可靠软件技术与Ravenscar实时内核深度解析

1. 会议概况

2000年6月26 - 30日，第五届可靠软件技术国际会议（Ada - Europe 2000）在德国波茨坦举行。此次会议由Ada Deutschland组织，得到了Ada - Europe、ACM SIGAda和Gesellschaft für Informatik（GI）的赞助，同时还获得了德国研究基金会（DFG）和卡尔斯鲁厄研究中心的额外支持。

1.1 会议意义

• 本次会议标志着连续举办20届的Ada - Europe会议20周年，以及专注于软件可靠性领域的会议举办5周年，而Ada语言在软件可靠性方面表现卓越。
• Y2K问题使软件可靠性受到媒体和政治的高度关注。尽管在世纪之交，关键系统并未如预期般出现灾难性故障，但这得益于大量的软件更新、系统现代化和备份机制检查等工作。人们不禁思考，如果将处理Y2K问题的部分资金用于软件开发和维护过程中的可靠性提升，软件将会更加可靠。

1.2 会议内容

• 技术交流 ：会议为研究人员、开发者和用户提供了分享研究成果、展示工具、报告经验以及讨论不断变化的应用领域所产生的新需求的平台。会议包括为期三天的技术议程，期间展示了相关论文和主题演讲。
• 教程学习 ：会议前后各有两天的教程时间，参会者有机会学习软件工程师相关的各种主题，涵盖入门和高级水平。
• 产品展示 ：会议还设有展览，供应商展示了与可靠性相关的产品，展览规模的显