XiaoMi-AI文件搜索系统
World File Search System开发工具
安全关键型实时系统软件开发工具评估最终报告 2007 年 7 月 此文档可通过国家技术信息服务 (NTIS)（弗吉尼亚州斯普林菲尔德 22161）向公众获取。
16. 摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行：（1）收集工具资格认证工作的数据，以检查现有指南未来可能出现的修改；（2）通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：（1）行业观点，（2）资格认证，（3）质量评估，（4）工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
安全关键型实时系统软件开发工具评估最终报告 2007 年 7 月 此文档可通过国家技术信息服务 (NTIS)（弗吉尼亚州斯普林菲尔德 22161）向公众获取。
16. 摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。报告阐明了当前航空系统认证指南中软件开发工具的概况。研究工作朝两个方向进行：（1）收集工具资格认证工作的数据，以检查现有指南未来可能出现的修改；（2）通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：（1）行业观点，（2）资格认证，（3）质量评估，（4）工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。报告描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
安全关键软件开发工具评估...
16.摘要 本研究的目的是确定评估标准，使开发人员和认证机构能够从系统和软件安全的角度评估特定的安全关键型实时软件开发工具。本报告根据当前的航空系统认证指南阐明了软件开发工具的前景。研究工作朝两个方向进行：(1) 收集有关工具资格认证工作的数据，以检查现有指南未来可能出现的修改；(2) 通过确定工具类别、功能、关注点、因素和评估方法来创建软件开发工具评估分类法。问题陈述有四个部分：(1) 行业观点、(2) 资格认证、(3) 质量评估和 (4) 工具评估分类法。从行业收集的数据影响了评估过程和开发工具实践的建议。描述了用于评估工具的选定方法。报告介绍了研究过程中确定的不同类别的工具。此分类仅限于 DO-178B 指导的研究范围。最后，报告定义了工具评估分类法的结构和组织。
微控制器和开发工具
引入Fujitsu Microectronics Europe的目录1在汽车和工业市场中的专业知识2-3汽车优势4新的8位MCU家族-F 2 MC-8FX CPU核心体系结构5新的8位MCU家族-F 2 MC-8FX 6-7 NEW 8 BIT MC MC MC MC MC MC-F 2 MC MC-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-8-B8。 8-bit F 2 MC-8FX product line-up 10 F 2 MC-16 CPU-core architecture 11 The new 16-bit MCU family: F 2 MC-16FX 12 Features of 16-bit families 13 F 2 MC-16LX & 16FX product line-up 14-17 Embedded Flash technology 18 16-bit single CAN bus microcontrollers (100-pin) MB90340 19 16-bit single CAN bus microcontrollers (64-pin) MB90350 20 16位易于巴士微控制器（48针）MB90360 21 16位双罐头总线微控制器（120-pin）MB90390 22 16位16位USB USB微控制器微控制器MicroController 28-30 Introduction to the FR family - 32-bit RISC architecture 31 MB91270 automotive series 32 MB91360G automotive series 33 MB91460 automotive series 34-37 MB88121 FlexRay communication controller 38 MB91260/265 series - 3-phase motor control 39 Next generation 32-bit motor control MCUs 40 MB91301 series 41 MB91350A系列42 FR系列循环模拟器43 FR系列评估板43-45 32-1位FR产品阵容46-47 46-47的集成软件开发环境解决方案v 48 Softune-Fujitsu的Softune-Fujitsu的综合软件开发包49 ACCPOMIC MDE MDE MNOMIN MONITIAL MONERIAL SERIAL/SIRIAL/SIRIAL/SERIAL IVER 50 GALEP IV IV IV IV IV UNIVERSIAL/PALELEAL MCERECTER 54 - 平行系统54-51实时eromper 52-51实时EMMER EMMER EMMER EMEM 54 - 分销商56-57
可用性规范作为迭代开发工具。 - DTIC
摘要：当代计算机系统的可用性引发了人们对可用性在系统设计过程中所扮演角色的关注。在本章中，我们批评了由充分阐述的设计替代方案的可用性分析组成的方法。原则上，这种方法无法支持最初产生替代设计的设计过程。我们开发了一种基于可用性规范的方法：针对典型用户执行其预计使用系统时所执行的典型任务，提供精确、可测试的性能目标陈述。反过来，必须将这些因素纳入他们的行为先决条件（我们称之为子技能）中，以便查明和解决设计中的特定问题。与功能规范一样，可用性规范及其所暗示的子技能被视为在整个设计过程中不断完善和改进。介绍了一个来自文本编辑领域的扩展示例。