XiaoMi-AI文件搜索系统
World File Search System安全软件
利用储能系统实现可再生能源微电网灵活安全运行的研究综述
A Review on the Utilization of Energy Storage System for the Flexible and Safe Operation of Renewable Energy Microgrids LIU Chang 1 , ZHUO Jiankun 1* , ZHAO Dongming 2 , LI Shuiqing 1 , CHEN Jingshuo 2 , WANG Jinxing 1 , YAO Qiang 1
安全关键系统中的软件重用
计算机在安全关键系统中的使用正在增长。航空、核能和医疗设备制造商正在使用越来越多的软件。软件的复杂性也在增加，降低开发成本和时间的压力也在增加。软件重用一直被吹捧为降低软件开发复杂性、成本和时间的潜在解决方案。然而，在安全关键系统中重用软件存在一些问题。本文将探讨一些关键的重用主题并确定安全问题。由于作者深度参与航空领域，许多问题和顾虑将从航空角度确定；但它们也适用于其他安全相关领域。需要对几个领域进行额外研究，以更全面地解决重用问题——本文将确定需要额外研究的领域。
立即安全！#917 - 04-04-23 - 僵尸软件
本周，我们回答了过去一周出现的问题：什么时候攻击不是攻击？当我们的 AI 霸主到来时，我们该如何称呼他？为什么意大利对 ChatGPT 说“不”？Twitter 将其代码发布到 GitHub 告诉我们什么？为什么印度在搜索比 Pegasys 更不为人所知的商业间谍软件，民主峰会对此有何看法？FDA 最终在医疗设备安全更新问题上采取行动了吗？在第一次“黑掉五角大楼”审判七年后，五角大楼仍然屹立不倒，不是吗？然后，在处理了一些杂事、听众反馈和我正在进行的 SpinRite 工作更新后，我们使用 CISA 的 KEV 数据库来探索如何准确定义“僵尸软件”的问题，并回答僵尸会吃掉谁的大脑的问题？
确保软件供应链安全：管理建议做法
本文件仅供一般参考之用。以商品名、商标、制造商或其他方式提及任何特定商业产品、工艺或服务，并不构成或暗示美国政府的认可、推荐或偏袒。本文件旨在适用于各种实际情况和行业利益相关者，此处提供的信息仅供参考。本文件中的指南按“原样”提供。一旦发布，其中的信息可能不构成最新的指南或技术信息。因此，该文件不构成合规或法律建议，也不旨在构成合规或法律建议。读者应咨询各自的顾问和主题专家，根据个人情况获取建议。在任何情况下，美国政府均不对因使用或依赖本指南而产生的任何损害负责。
根据 DO-178C 开发安全关键型嵌入式软件
图 1 航空电子系统开发法规 ............................................................................................................. - 5 - 图 2 DO-178C 文档结构 [34] .............................................................................................. - 18 - 图 3 OSEE 的动作跟踪系统 [70] ............................................................................................. - 31 - 图 4 手术辅助工作站（SAW）架构 [71] ............................................................................................. - 32 - 图 5 OSEE - SAW 项目的产品分解 [71] ............................................................................. - 33 - 图 6 OSEE - 工件 [72] ............................................................................................................. - 34 - 图 7 OSEE - 要求 [71] ............................................................................................................. - 35 - 图 8 OSEE - Word 格式的机器人 API 要求 [71] ............................................................................. - 36 - 图 9 OSEE - TOPCASED 信息跟踪器 [71] ............................................................................................. - 37 - 图 10 OSEE – 测试管理 [71] ........................................................................................... - 38 - 图 11 OSEE – 可追溯性 [72] ......................................................................................... - 39 - 图 12 OSEE – Skywalker [71] .............................................................................................. - 40 - 图 13 OSEE - 团队管理 [71] ............................................................................................. - 41 - 图 14 OSEE - 用户管理 [71] ............................................................................................. - 42 - 图 15 OSEE - 版本控制 [71] ............................................................................................. - 43 - 图 16 OSEE - 发布管理 [71] ............................................................................................. - 44 - 图 17 示例组件图 [73] ............................................................................................. - 47 - 图 18 示例 UML 文件 [73] ............................................................................................. - 48 - 图 19 UML 模型验证 [73] ............................................................................................. - 49 - 图 20 从 UML 模型生成代码[73]................................................................................ - 50 - 图 21 CPPcheck 功能 [45].............................................................................................. - 51 - 图 22 移位负值警告 .................................................................................................... - 51 - 图 23 Cleanflight Github 项目概览 [77]............................................................................. - 52 - 图 24 BlackBox 解码器内部流程 ...................................................................................................... - 53 - 图 25 Blackbox 日志的典型标题 .............................................................................................. - 55 - 图 26 BlackBox 解码器数据 ...................................................................................................... - 56 - 图 27 案例研究图 ................................................................................................................ - 57 - 图 28 软件规划流程 ............................................................................................................. - 61 - 图 29 高级需求 ............................................................................................................. - 62 - 图 30 低级需求 ............................................................................................................. - 63 - 图 31 软件验证和测试 ............................................................................................................. - 67 - 图 32 分支管理 ............................................................................................................. - 68 - 图 33 问题报告系统 ............................................................................................................. - 68 - 图 34 分支变更报告 ............................................................................................................. - 69 - 图 35 版本和发布控制 ............................................................................................................. - 70 - 图 36 创建软件需求 ............................................................................................................. - 83 - 图 37创建高级别需求 ................................................................................................................ - 85 - 图 38 创建团队 ................................................................................................................ - 86 - 图 39 将需求与团队关联 ................................................................................................ - 87 - 图 40 将用户与团队关联 ................................................................................................ - 89 - 图 41 创建分支 ................................................................................................................ - 90 -......................... - 62 - 图 30 低级需求 ............................................................................................................. - 63 - 图 31 软件验证和测试 ............................................................................................................. - 67 - 图 32 分支管理 ............................................................................................................. - 68 - 图 33 问题报告系统 ............................................................................................................. - 68 - 图 34 分支变更报告 ............................................................................................................. - 69 - 图 35 版本和发布控制 ............................................................................................................. - 70 - 图 36 创建软件需求 ............................................................................................................. - 83 - 图 37 创建高级需求 ............................................................................................................. - 85 - 图 38 创建团队 ............................................................................................................. - 86 - 图 39 将需求与团队关联 ............................................................................................. - 87 - 图 40 将用户与团队关联 ............................................................................................. - 89 - 图 41 创建分支 ............................................................................................................. - 90 -......................... - 62 - 图 30 低级需求 ............................................................................................................. - 63 - 图 31 软件验证和测试 ............................................................................................................. - 67 - 图 32 分支管理 ............................................................................................................. - 68 - 图 33 问题报告系统 ............................................................................................................. - 68 - 图 34 分支变更报告 ............................................................................................................. - 69 - 图 35 版本和发布控制 ............................................................................................................. - 70 - 图 36 创建软件需求 ............................................................................................................. - 83 - 图 37 创建高级需求 ............................................................................................................. - 85 - 图 38 创建团队 ............................................................................................................. - 86 - 图 39 将需求与团队关联 ............................................................................................. - 87 - 图 40 将用户与团队关联 ............................................................................................. - 89 - 图 41 创建分支 ............................................................................................................. - 90 -........................................................................... - 89 - 图 41 创建分支 ................................................................................................................ - 90 -........................................................................... - 89 - 图 41 创建分支 ................................................................................................................ - 90 -
构建安全嵌入式软件系统的十大原则
没有哪个系统可以免受错误的影响，尤其是海森堡错误——神秘的错误，当我们寻找它们时，它们就会出现，然后消失。故障会发生，因此请构建一个可以恢复或移动到安全状态的系统。此外，要预料到由于不可预见的事件而出现的危险情况。
安全 C 语言软件规则... - l'ANSSI
本文件由法国国家信息安全局 ANSSI 编写，介绍了“安全 C 语言软件开发规则”。可在 www.ssi.gouv.fr/en/ 免费获取。它是 ANSSI 的原创作品，并受 Etalab mission [ ETALAB ] 发布的“Open Licence v2.0”约束。根据 Open Licence v2.0，本指南可自由重复使用，但须注明其来源（来源和上次更新日期）。重复使用是指传播、分发、重新分发、发布、传播、复制、复印、改编、修改、提取、转换和使用的权利，包括用于商业目的。 这些建议按原样提供，并与发布时已知的威胁有关。考虑到信息系统的多样性，ANSSI 无法保证将这些建议直接应用于目标信息系统。首先，IT 管理员和/或 IT 安全经理应确认以下建议的实施。本文件是最初的法语文件“Règles de programmation pour le développement sécurisé de logiciels en langage C” 的礼貌翻译，可在 www.ssi.gouv.fr 上找到。如果这两个文件之间存在冲突，则以后者为唯一参考。
安全软件生命周期知识区版本 . . - CyBOK
在随后的几年中，微软改变了其开发流程，通过从早期规划到产品生命周期结束的全面改革，构建了安全的产品。他们的产品中包含的漏洞明显减少 [9]。在内部使用该流程后，微软于 2006 年通过其名为《安全开发生命周期》[3] 的书籍将其 13 个阶段的内部开发流程——微软安全开发生命周期 (SDL) 编纂并贡献给社区。正如盖茨的初衷一样，微软 SDL 通过提供第一个记录在案的全面且规范的生命周期，为信息技术行业奠定了基础。同样在 2006 年，麦格劳出版了第一本关于软件安全最佳实践的书 [10]。