XiaoMi-AI文件搜索系统
World File Search SystemSTPA
一种架构主导的安全分析方法 - HAL
安全关键系统需要在软件开发生命周期中进行特定的开发和评估活动，以确保产品安全。其中一些活动被汇总为全面的安全工程实践，这些实践在行业内是标准化的，例如航空业的航空航天推荐实践 (ARP) 4761。这些技术侧重于单个组件的故障和可靠性。系统理论过程分析 (STPA) 等较新的技术超越了单个组件的可靠性，考虑了组件之间的相互作用。在本文中，我们介绍了架构主导的安全分析 (ALSA) 方法，它是架构主导的安全工程实践的一部分。ALSA 结合了至少部分架构模型的开发和分析，使用诸如架构分析和设计语言、其错误模型附件之类的符号以及现有的 ARP 4761 和 ARP 4754A 实践，例如功能危害评估、初步系统安全评估和系统安全评估以及新兴的 STPA 技术。这项工作为使用 ALSA 分析全权限数字引擎控制器提供了一个例证。该方法由开放源代码架构工具环境支持，并已在工业强度示例上进行了试验。
大肠杆菌中的 CRISPR-Cas：受 H-NS、LeuO 的调节……
CRISPR-Cas 适应性免疫系统存在于许多细菌和古细菌中，可保护细菌免受噬菌体和质粒等 DNA 入侵。这些系统的基因组成和基因组结构非常灵活和复杂。CRISPR-Cas 系统分为 2 类、6 种类型和 33 种亚型，尽管这个数字尚不确定，研究仍在进行中。所有 CRISPR-Cas 系统都经过了彻底研究，以便更好地了解 CRISPR 免疫机制，使其可用作基因组编辑和其他生物技术应用的工具。然而，CRISPR-Cas 系统的调控也非常复杂，目前仍未完全了解；它必须提供最佳保护，而不会给宿主带来有害后果。在本综述中，我们概述了大肠杆菌中 CRISPR-Cas 系统 1 类 IE 型的调控，重点介绍了温度在调节 CRISPR-Cas 活性中的作用，以及关键调节剂 H-NS 和 StpA 阻遏物与 LeuO 抗阻遏物在调节 cas 基因表达中的相互作用以及 HtpG 分子伴侣在维持 Cas3 功能水平中的相互作用。
朝着自主驾驶软件的DevSafeops
背景：自动驾驶（AD）的安全仍然是其广泛采用的障碍，这是最近事件证明的。诸如复杂环境，不断发展的技术以及转移监管和客户需求等因素需要持续监视和改进广告软件。这是一个可能有利于DevOps支持的软件和系统工程的过程。迭代DEVOPS流程至关重要，有两个目的：通过持续改进功能并为及时响应未知的错误或事件提供框架来满足客户需求。但是，该软件的任何更新都必须遵循标准，法规或行业最新状态规定的严格安全过程。将这些安全活动纳入DevOps形成了一个称为DevSafeops的迭代过程。这些必要的活动，尽管对安全性至关重要，但固有地导致迅速妥协。研究目标：在这项工作中，我们最初确定了AD开发中快速DevSafeops的挑战，然后探索现有的解决方案。随后，我们提出了两种加速AD开发中主要活动的方法，即需求工程和安全分析。方法：为了解决每个研究目标，使用了各种研究方法。进行了访谈研究和系统的文献综述，以确定挑战和研究差距。然后，为拟议方法采用了设计科学，访谈研究和案例研究。结果：最初，确定了与AD安全性的每个基本活动相关的挑战和研究差距（论文A和B）。文献中提出的解决方案已确定并映射到挑战（论文B）。然后，提出了两种用于安全分析的快速性的方法，这是开发的第一步。我们适应系统理论过程分析（STPA），用于汽车系统工程中的分布式开发，
监管框架和评估方法...
摘要 希望在未来二十年部署商业聚变设施的私营公司将面临各种技术、社会和经济挑战。这些公司还需要评估和制定适当的技术法规。对新技术的监管不足、过度监管或错误监管可能会危及长期的商业部署机会。及时评估和制定适当的监管要求对于未来二十年商业聚变技术的成功至关重要。然而，对新技术的监管要求的评估和制定通常基于先前的运营经验或类似技术的监管。这些评估和开发方法对商业聚变设施的适用性受到多种因素的限制，包括目前正在开发的聚变技术种类繁多、商业设计工作的初步性质以及商业聚变设施运营概念的有限表征。这项工作提出了一种初步的全面方法来评估和制定商业聚变技术的适当监管要求。基于技术基本危害的模型和方法用于帮助检查新技术的许可和监管，并提供有关如何更有效地评估和制定监管要求的见解。开发和介绍了不同的许可评估方法和监管框架，以提供有关这些监管决策对商业聚变技术的设计约束和监管负担的影响的见解。从这项工作中给出了关于选择许可评估方法和监管框架的具体见解。许可评估相关的见解包括大量氚库存与低监管负担许可评估方法的不兼容性、在聚变设施许可中考虑工程安全特征的设计优势和监管负担缺点，以及在开发商业聚变等新型复杂系统的操作要求时利用系统理论过程分析 (STPA) 的潜在优势。监管框架相关见解包括授权审查监管的潜在适用性