XiaoMi-AI文件搜索系统
World File Search SystemAgnes
Nataliya Yakymets、Julho Y. Munoz、Agnes Lanusse。基于模型的安全分析的Sophia框架。 IMDR-第 19 届风险管理与操作安全大会，2014 年 10 月，法国第戎。 “cea-01810452”
1. 目标关键系统必须满足认证标准的高水平要求。后者主张将流程组织成危害分析[1][2]和初步风险分析[3]等主要步骤，并建议使用经典方法，如故障模式和影响分析 (FMEA)[4]、故障树分析 (FTA)[5]或事件树等。然而，这些方法为安全工程师所熟知，但实施起来却十分麻烦，并且越来越不能适应系统复杂性的增长以及相关行业激烈的竞争所带来的时间限制。有必要使用合适的工具来支持分析活动，最重要的是更接近设计过程。在这种背景下，利用模型驱动工程（IDM 或 MBSE）领域的进步，通过与系统建模环境的精细耦合来实施合作安全评估策略 1（安全评估或 SA）可能会非常有趣。我们提出了 Sophia，这是一个专用于安全分析的建模和分析环境，与 Papyrus 系统建模工具紧密结合。它允许利用 SysML [7] 提供的不同建模方面，并集成互补功能来进行本文其余部分描述的 FTA 和 FMEA 分析。
博士艾格尼丝·格雷本·谢弗
此前，Schaefer 博士曾任兰德公司高级国家安全研究员，该公司是美国国防部的联邦资助研究和开发中心。在兰德公司，Schaefer 博士提供了无党派、客观的研究和分析，并对国防部有了深入的了解。在兰德公司任职的 17 年里，Schaefer 博士为国防部最高级的文职和军事领导人进行了 60 多项研究，研究内容涉及美国军事人事政策、预备役部队问题、军人家庭面临的挑战、国家安全战略、新兴威胁、国土防御和国土安全等问题。Schaefer 博士还曾担任兰德公司国际安全与国防政策中心副主任。在加入兰德公司之前，Schaefer 博士曾担任普林斯顿大学的博士后研究员和讲师。
Agnes Intelligence 使用 Checkmk 确保其 AI 平台的可扩展性
由于公司发展迅速，IT 团队必须扩展 IT 环境，同时还要确保高水平的安全性。在几分钟内扩展而不影响用户体验的能力至关重要，尤其是在对新潜在客户进行测试时。IT 团队正在寻找一种高度可扩展的监控工具，该工具提供多种现成的功能，并且还支持动态 IT 资产。Agnes Intelligence 是一家早期创业公司