计算机系统。应用软件可能由单个程序组成,例如图像查看器;一组紧密协作以完成任务的程序(通常称为软件包),例如电子表格或文本处理系统;一组较大的相关但独立的程序和软件包(通常称为软件套件),它们具有通用用户界面或共享数据格式,例如 Microsoft Office,它由紧密集成的文字处理器、电子表格、数据库等组成;或一个软件系统,例如数据库管理系统,它是一组基本程序,可以为各种其他独立应用程序提供某种服务。
软件更新升级:供应商应向买方提供软件更新升级下载许可,包括软件补丁、软件更新、软件维护版本、软件新特性、软件升级版本等,确保买方采购的应用软件始终保持最优性能,满足更多的应用场景和更高的业务要求,持续为买方带来收益。买方也可以从供应商的技术支持网站获取软件,供应商将提供软件安装的远程指导。如果买方需要提供版本更新或升级服务,则需要购买相应的服务产品。
(U) A. 任务描述 Cryptologic 项目由空军电子密钥管理系统 (AFEKMS) 组成。AFEKMS 与 NSA 的 EKMS 协同工作,为空军 C4I 和武器系统的密钥材料、语音呼号和通信安全 (COMSEC) 出版物的电子生成、分发、核算和管理提供安全灵活的功能。AFEKMS 取代了现有的物理分发和管理系统,为美国空军信息保障提供加密密钥材料。信息保障强调访问控制、多级安全数据库、可信计算和信息完整性。AFEKMS 是一种分层排列的三层系统结构。这种分层结构提供了从“批发”到“零售”再到“消费者”分发、管理和核算 COMSEC 密钥材料的能力。第 1 层安装包括“批发”功能。第 2 层安装包括分销网络,第 3 层包括“零售地点”,密钥材料从 AFEKMS 离开并进入最终项目 COMSEC 设备 (EICE)。采购包括商用现货 (COTS) 计算机和软件、承包商开发的应用软件、政府提供的设备 (GFE) 和 NSA 的本地 COMSEC 管理软件 (LCMS) 等软件。美国空军开发的用户应用软件 (UAS) 是提供特定功能所必需的,用于独特的密钥管理系统,例如 F-22、高级 EHF COMSEC/TRANSEC 系统 (ACTS)、联合攻击战斗机,以及用于空军应用的 ECU 的独特密钥填充要求,例如 ARC-210、战斗机数据链、机载集成终端组和多波段多模式无线电。UAS 导入 LCMS 用户界面,将多个独立的 UAS 集成到一个共同支持的包中,并在无法集成时调节独特的 UAS。还将独特的用户应用软件与 NSA 提供的软件更改隔离开来,并允许手动操作员流程自动化,以节省人力、减少所需培训并提高任务效率。总体而言,AFEKMS 将通过大大增强传统密钥管理系统的机密性、完整性和不可否认性来改善对国家安全相关信息的保护。AFEKMS 将大大加快通过电子传输而不是材料运输获得密钥的速度,并将提高任务响应能力和灵活性。虽然包括升级功能以在可能的情况下使用重新托管操作、COTS 和面向用户的软件在技术上刷新系统,但最终目标是提供一条迁移路径,以迁移到 NSA 密钥管理基础设施 (KMI) 计划下计划的类似功能。此类 KMI 功能预计将于 2015 年左右出现。
分支技术立场 (BTP) 7-19,修订版 8,提供了三种不同的方法,被许可人可以使用这些方法来消除 CCF 危害,避免进一步考虑。这三种方法是 (1) 在 DI&C 系统内使用多样性,(2) 使用测试,或 (3) 使用防御措施。NEI 20-07 与 BTP 7-19,修订版 8(第 3.1.3 节)中提出的第三种方法 ─ 使用防御措施最为一致。NEI 20- 07 以安全设计目标 (SDO) 的形式提供了客观标准,用于防御因软件设计缺陷导致的软件 CCF。SDO 用于选择平台硬件和软件以及开发应用软件。数字系统要经历软件 CCF,软件中必须存在潜在缺陷。软件缺陷只能通过软件开发过程引入。将软件开发要求应用于安全相关系统,使 NRC 能够将与核电站事故分析事件同时发生的 CCF 视为超出设计基准的事件。但是,NRC 仍然要求行业通过使用“最佳估计”假设的纵深防御 CCF 应对分析来分析 CCF。目前,唯一获得 NRC 批准的消除 CCF 考虑的方法是安装不同的设备或进行只能应用于简单设备的广泛测试。本文档提供了这两种方法的替代方法,以消除安全相关系统的 CCF 考虑。NEI 20-07 中的这种方法首先建立了一套用于保护数字仪器和控制 (DI&C) 系统中的软件 CCF 的基本原则,然后将这些基本原则分解为安全设计目标 (SDO)。本文件还建议使用保证案例方法来证明高安全重要性安全相关 (HSSSR) 安全相关应用系统中的软件应用程序和托管应用软件的平台已充分实现了这些规定的 SDO,以合理保证目标软件不包含可能导致软件 CCF 的软件设计缺陷,在软件开发过程中引入软件缺陷的可能性足够低,因此,由于软件设计缺陷而出现软件 CCF 的可能性也足够低,因此可以充分解决。当在对 HSSSR 系统进行多样性和纵深防御 (D3) 分析时不需要进一步考虑或假设,并且保证案例表明平台和相关应用软件已充分解决 CCF,则系统的这些部分可以免于被假设为 CCF 的来源。这并不排除对 HSSSR 系统 D3 分析的需要,因为可能会识别出其他 CCF 漏洞(例如,数据通信)。
1972 年:五位 IBM 前员工——Hasso Plattner、Dietmar Hopp、Claus Wellenreuther、Klaus Tschira 和 Hans-Werner Hektor——创办了一家名为 SAP(系统分析和程序开发)的公司。他们的愿景是开发用于实时业务处理的标准应用软件。该公司仍是一家私营公司,总部位于德国魏因海姆,主要办事处位于附近的曼海姆;不过,五位公司创始人最常出现在客户的计算机中心,包括位于厄斯特林根的 ICI。第一批软件程序主要是在晚上和周末编写的。在第一个财年结束时,SAP 已经拥有 9 名员工,营业额达到 620,000 德国马克。
我们的超低功耗 IP 包括由专用 DSP 和 AI 以及其他类型的加速器组成的综合平台,适用于低功耗工作负载,包括 5G 基带处理、智能视觉、语音识别、物理层处理和传感器融合。我们还提供针对 5G RAN 和 Open RAN、Wi-Fi 企业和住宅接入点、卫星通信和其他多千兆位通信的高性能 DSP。我们的产品组合还包括针对我们的处理器优化的广泛应用软件,包括语音前端处理和语音识别、成像和计算机视觉以及传感器融合。对于传感器融合,我们的 Hillcrest Labs 传感器处理技术为 AR/VR、机器人、遥控器和物联网提供了广泛的传感器融合软件和惯性测量单元(“IMU”)解决方案。对于无线物联网,我们提供业界最广泛采用的蓝牙(低功耗和双模)、Wi-Fi 4/5/6(802.11n/ac/ax)和 NB-IoT IP。
新兴软件系统的高级设计方法:原则、方法和工具 / 刘晓东和李阳编辑。p. cm。包括参考书目和索引。摘要:“本书提供了该领域相关的理论框架和最新的实证研究成果,澄清了当前许多新兴软件系统设计和工程领域的最新技术和知识混乱和令人困惑的文献”——由出版商提供。ISBN 978-1-60960-735-7(精装本)——ISBN 978-1-60960-736-4(电子书)——ISBN 978-1-60960-737-1(印刷版和永久访问)1. 系统软件。2. 应用软件——开发。3. 计算机网络——设计和构建。I. 刘晓东,1966 年 10 月 8 日-II。李阳,1973-QA76.76.S95A38 2012 004.6--dc23 2011021481
关于达索系统:作为 3D 和产品生命周期管理 (PLM) 解决方案的全球领导者,达索系统为 80 个国家的 100,000 多家客户带来价值。自 1981 年以来,达索系统一直是 3D 软件市场的先驱,开发和销售 PLM 应用软件和服务,支持工业流程并提供从概念到维护再到回收的整个产品生命周期的 3D 视图。达索系统产品组合包括用于设计虚拟产品的 CATIA、用于 3D 机械设计的 SolidWorks、用于虚拟生产的 DELMIA、用于虚拟测试的 SIMULIA、用于全球协作生命周期管理的 ENOVIA 以及用于在线 3D 逼真体验的 3DVIA。达索系统在纳斯达克 (DASTY) 和巴黎泛欧交易所 (#13065, DSY.PA) 上市。欲了解更多信息,请访问 http://www.3ds.com