机构名称：
¥ 3.0
事实上，最近我们可以观察到机器人和自主系统存在大量困难 [112, 141]。此类系统将在社会中得到更广泛的应用，从而提高其安全关键性水平 [70]，并需要严格的监管制度。结构化保证案例提供了一种成功的监管验收方法，这些案例提供了由证据支持的可理解且不可废止的安全论据 [72, 77, 104]。然而，无论是否符合 IEC 61508 1 和 DO-178C 2 等标准，此类保证案例的创建都很费力，维护和发展都很复杂，并且必须通过评估过程进行严格检查，以确保满足所有义务并实现对论据的信心 [68, 160]。尽管如此，这些问题正是 FM 旨在克服的。
综合形式化方法的新机遇
主要关键词
相关文件推荐
