18、Ada-Europe 2000：可靠软件技术国际会议回顾-优快云博客

本文链接：https://blog.youkuaiyun.com/devops8pract/article/details/150508511

Ada-Europe 2000：可靠软件技术国际会议回顾

1. 会议基本信息

时间：2000 年 6 月 26 - 30 日
地点：德国波茨坦
主办方 ：Ada Deutschland
赞助商 ：Ada - Europe、ACM SIGAda、Gesellschaft für Informatik (GI)，此外还有 DFG（德国研究基金会）和 Forschungszentrum Karlsruhe 提供额外赞助

本次会议具有重要意义，它标志着连续 20 年的 Ada - Europe 会议，也是聚焦软件可靠性领域的第五届会议，Ada 作为支持技术在该领域表现卓越。

2. 软件可靠性的重要性

随着 Y2K 问题的出现，软件可靠性受到了媒体和政治的关注。虽然在世纪之交关键系统灾难性故障的可怕预测并未成真，但这得益于大量的努力，如更新现有软件、现代化系统、检查备份机制等。我们不禁思考，如果将处理 Y2K 问题的部分资金用于软件开发和维护过程中的可靠性提升，软件将会更加可靠。

如今，软件组件在汽车、火车、飞机、手机以及生物、化学和制造工厂的控制等众多产品和过程中迅速增长，可靠性已成为硬性要求，我们的日常生活正越来越依赖于产品中嵌入式软件的可靠性。而这种可靠性并非偶然产生，需要通过应用适当的技术和方法融入到软件及其生命周期过程中。

3. 会议内容安排

3.1 技术与展示安排

项目	详情
技术会议	为期三天，展示了 23 篇收录于会议论文集的论文，还有相关主题的简短报告
教程日	会议前后各有两天教程日，参会者可学习从入门到高级的各种相关主题
展览	供应商展示与可靠性相关的产品，展览规模显著增大，表明市场开始对可靠性工程的重要性做出反应

3.2 会议日程安排

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(会议开始):::process --> B(教程日):::process
    B --> C(技术会议):::process
    C --> D(教程日):::process
    D --> E(会议结束):::process

4. 会议参与者与成果

4.1 国际参与情况

本次会议具有真正的国际性质，来自阿根廷、澳大利亚、奥地利、加拿大、中国、法国、德国、意大利、日本、挪威、西班牙、瑞典、瑞士、英国和美国的作者展示了他们的研究成果。

4.2 论文与展示情况

23 篇论文被收录到会议论文集中。
8 篇额外的投稿被接受在会议上展示。
有两个会议环节专门用于支持可靠软件开发和管理的产品供应商进行展示。

5. 主题演讲

每天的会议都以主题演讲开场，以下是主题演讲嘉宾及其主题：
| 嘉宾 | 职位 | 主题 |
| ---- | ---- | ---- |
| Rainer Zimmermann | 欧盟委员会信息社会总司 E2 部门负责人，比利时布鲁塞尔 | 信息社会中的技术发展支持 |
| Reto Weiss | 瑞士 Wahlendorf 的 Paranor AG 公司 Kingcat MCAS 项目经理 | 用 Ada 和 Java 实现的豪华游艇监控、控制和报警系统 Kingcat MCAS |
| Brian Pflug | 美国西雅图波音商用飞机公司模拟与软件工程首席工程师 | 使用 10 年后的 Ada：是否有商业前景？ |

6. 教程项目

教程项目由国际专家提供，涵盖了软件工程师相关的各种主题：
- Java for Ada Programmers - Ben Brosgol
- Real - Time POSIX - Michael González Harbour
- Ada95 for Beginners and Ada95 for Ada83 Programmers - David Cook 和 Les Dupaix
- Software Metrology Basics – Measurement, Assessment, and Certification of Procedures, Objects, and Agents - Hans - Ludwig Hausen
- The HOOD 4 Design Method - Jean - Pierre Rosen
- Tree - Based Reliability Models (TBRMs) for Early Reliability Measurement and Improvement - Jeff Tian
- Implementing Design Patterns in Ada95 - Matthew Heaney
- High Integrity Ada Tasking - John Harbaugh
- GtkAda, An Ada95 Object - Oriented Graphic Toolkit - Emmanuel Briot
- Building Ada Development Tools with ASIS for GNAT - Sergey Rybin 和 Vasily Fofanov
- Windows Development with Ada - Örjan Leringe
- Developing Ada Applications for the Java Platform with JGNAT - Franco Gasperoni

7. 会议贡献者

7.1 程序委员会

程序委员会成员在圣诞节假期仔细评审所有论文并提供详细评估。1 月的一个周日，由 Lars Asplund、Johann Blieberger、Michael González、Hubert Keller、Erhard Plödereder 和 Jürgen Winkler 组成的小组根据评审结果编排会议程序。部分成员还协助论文完善到最终版本。

7.2 组织支持

Rich Gerber 免费提供的 Start Conference Manager 以及 Michael Hüdepohl 在斯图加特大学管理的基于网络的论文提交和评审系统，对论文评审组织工作提供了很大帮助。
组织委员会也功不可没：
- Peter Dencker 组织了规模空前的展览。
- Theodor Tempelmeier 编排了吸引人的教程项目。
- Alfred Strohmeier 作为 Ada - Europe 的会议联络人，一直协助组织者。
Christine Harms 负责波茨坦的注册和当地组织工作。

最后，会议主办方对提交论文的作者和前来交流想法与成果的参会者表示衷心感谢，希望大家对会议的技术内容满意，并享受会议期间的社交活动。

8. 会议意义总结

本次 Ada - Europe 2000 可靠软件技术国际会议在软件可靠性领域具有深远的意义。从规模上看，其国际参与度广泛，涵盖了多个国家的作者和研究成果，充分体现了软件可靠性研究的全球性。众多的论文和展示内容，为软件工程师和研究者们提供了丰富的交流平台，促进了知识的传播和共享。

从技术层面来看，会议聚焦于软件可靠性这一核心问题，通过主题演讲、教程项目等多种形式，深入探讨了软件可靠性的各个方面，包括新技术的应用、现有技术的优化以及未来发展方向等。教程项目中涉及的多种技术和方法，如 Java 与 Ada 的结合、实时 POSIX 技术、Ada95 的应用等，为软件开发者提供了新的思路和工具。

从市场角度来看，展览规模的显著增大表明市场开始对可靠性工程的重要性做出反应，这将进一步推动软件可靠性技术的发展和应用。

8.1 对行业的推动作用

会议为软件行业的发展提供了强大的动力。一方面，它促进了软件可靠性技术的研究和创新，推动了相关技术的不断进步。另一方面，通过交流和展示，让更多的企业和开发者认识到软件可靠性的重要性，从而在实际开发中更加注重可靠性的提升。

8.2 对人才培养的意义

教程项目邀请了国际专家，为软件工程师提供了系统学习和提升的机会。无论是初学者还是有经验的开发者，都能从中学到新的知识和技能，有助于培养更多高素质的软件人才。

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(会议):::process --> B(推动技术发展):::process
    A --> C(促进市场关注):::process
    A --> D(培养软件人才):::process
    B --> E(提升软件可靠性):::process
    C --> E
    D --> E

9. 会议成果展望

基于本次会议的成果，我们可以对软件可靠性领域的未来发展进行展望。

9.1 技术融合趋势

未来，不同的软件技术将更加紧密地融合。例如，Ada 与 Java、POSIX 等技术的结合将更加深入，为软件开发者提供更多的选择和更好的解决方案。这种技术融合将有助于提高软件的可靠性和性能。

9.2 市场需求增长

随着软件在各个领域的广泛应用，市场对软件可靠性的需求将不断增长。企业和开发者将更加注重软件的可靠性，从而推动软件可靠性技术的市场需求。

9.3 研究方向拓展

软件可靠性的研究方向将不断拓展。除了现有的技术和方法，未来可能会出现更多新的研究方向，如基于人工智能的软件可靠性评估、软件可靠性的自动化测试等。

展望方向	具体内容
技术融合	Ada 与 Java、POSIX 等技术深度结合
市场需求	市场对软件可靠性需求持续增长
研究方向	拓展到人工智能评估、自动化测试等领域