机构名称：
¥ 4.0
保证案例用于交流和评估对关键系统（例如安全和保障）的信心。从历史上看，保证案件是手动创建的，由系统利益相关者通过漫长而复杂的过程对其进行评估。近年来，基于模型的系统保证方法已获得了知名度，以提高系统保证活动的效率和质量。这变得越来越重要，随着系统变得越来越复杂，管理其发展生命周期的挑战，包括开发，验证和验证活动的协调，以及在相互联系的系统保证方面的变化影响分析。此外，由于机器人和自主系统（RAS）被采用到社会中，因此需要保证案件来支持该系统运营生活期间的演变，以在面对不确定的环境的情况下进行持续的保证。在本文中，我们有助于访问 - 保证案例以安全至关重要系统的为中心工程，工程方法以及其工具支持，以开发安全关键系统，围绕不断发展的基于模型的保证案例发展。我们展示了基于模型的系统保证案例如何追踪到异质工程工件（例如系统建筑模型，系统安全分析，系统行为模型等。），以及如何在开发过程中整合形式的方法。我们证明了如何在开发和运行时自动评估保证案例。我们将方法应用于基于自动水下车辆（AUV）的案例研究。
访问：保证案件以安全至关重要系统的为中心工程
主要关键词
相关文件推荐
