机构名称：
¥ 16.0
执行摘要 如今，安全和安保是两项分别处理的风险驱动活动，这带来了高效且经济地协同设计这两个专业的行业挑战。显然，在专名学 1 、算法、（形式化）方法和工具方面有很大机会共享，特别是为了在可控成本下达到更高水平的保证。 可交付成果 D3.4.4 分为两部分。第 A 部分（本文档）是对软件密集型关键信息系统的安全和安全协同工程的广泛最新进展。它主要涵盖学术出版物和行业标准。第 B 部分（配套文件）首先报告了专用于安全和安全协同工程的两个原型工具。第一个原型是由 MERgE 合作伙伴根据 MERgE 软件定义无线电测试用例的安全和安保要求设计和开发的。该文件回顾了要求并介绍了高级设计。该原型的评估结果可在可交付成果 D1.1.1d - TCS 评估中找到。第二个原型称为 AVATAR，由巴黎高科电信公司开发，是我们在研究最新技术时发现的。我们对这个学术工具进行了深入评估。基于我们在最新技术工作（B 部分提供了综合）和工具原型设计工作中获得的经验，B 部分继续提出研究和开发建议
安保和安全协同工程建议（第 2 版）
主要关键词
相关文件推荐
