1、可靠软件技术国际会议回顾与可靠软件需求建模探讨

可靠软件技术国际会议回顾与可靠软件需求建模探讨

1 会议概况

2001 年 5 月 14 - 18 日，第六届可靠软件技术国际会议（Ada - Europe 2001）在比利时鲁汶举行。此次会议由欧洲 Ada 协会联合会（Ada - Europe）与 ACM SIGAda 合作主办，由鲁汶大学（K.U. Leuven）和比利时 Ada 协会成员组织。这是 Ada - Europe 会议连续举办的第 21 年，也是专注于可靠软件技术领域的第六届会议。

1.1 软件可靠性的重要性

如今，软件组件在嵌入式系统中的应用几乎无处不在。例如，飞机采用电传飞行系统，列车信号系统基于计算机控制，手机是数字设备，生物、化学和制造工厂也由软件控制。此外，其他非嵌入式的关键任务系统也越来越依赖软件。对于这些产品和流程而言，可靠性是关键的成功因素，通常也是安全关键的硬性要求。

1.2 实现软件可靠性的途径

软件的质量和可靠性不能事后添加，系统的可靠性也不能依赖单一技术，需要广泛的方法，且关键在于有目的地整合这些方法。具体来说，要精确定义可靠性目标并纳入需求，控制开发过程以实现这些目标，使用合理的开发方法来满足这些非功能需求，同时对所有产生的工件进行验证。验证技术多种多样且相互补充，包括审查设计文档、证明程序属性（包括正确性）、对程序进行推理、进行静态分析以及基于程序执行的动态测试等。

1.3 开发工具与技术

软件开发需要工具，有些工具在追踪或避免错误方面更有帮助。一些技术已经成熟，如语言编译器对源代码进行强类型检查，Ada 编程语言在这方面表现出色，因为它的设计目标就是可靠性。其他一些不太常见且更先进的技术，如基