
软件考虑
logiciel
曾经写码为业,如今读码为乐。
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
GJB438C-2021《软件需求规格说明》的一处修订
GJB438C-2021附录J《软件需求规格说明》的一处修订。原创 2024-10-22 20:26:21 · 3039 阅读 · 0 评论 -
DO-178B中译文商榷
通过批注方式表达对中译文的修改意见。原创 2023-04-08 08:09:39 · 126 阅读 · 0 评论 -
微可追踪性——不同项的要素之间关联的证据
把项与项之间的可追踪性细化为项与项的要素之间的可追踪性,即称之为微可追踪性。原创 2023-01-19 15:06:36 · 1553 阅读 · 0 评论 -
飞机上是否只用一种操作系统?
最近频繁地看到题为“飞机上一般是什么操作系统?”的帖子。其中一节的标题是“波音-787,AH-64用的操作系统是VxWorks”,并给出了VxWorks开发商Wind River的网站链接。笔者在Wind River网站上找到以下内容:以上文字表明,Wind River提供的VxWorks 653分区操作系统用于由GE开发的IMA。IMA是现代飞机中N多个系统之一。由此可知, 只能说“...原创 2020-03-06 21:31:30 · 614 阅读 · 1 评论 -
什么是“Previously Developed Software”?——DO-178B/ED-12B学习笔记之十四
什么是“Previously Developed Software”?——DO-178B/ED-12B学习笔记之十四 在DO-178B/ED-12B中多次出现“Previously Developed Software”这个术语,但在术语表中没有给出定义。 DO-248B中有如下解释:“Previously Developed Software (PDS)” – PDS e原创 2011-06-10 21:28:00 · 1889 阅读 · 0 评论 -
PSAC中的overview与summary——DO-178B/ED-12B学习笔记之十二
理解PSAC中overview与summary的差异.原创 2011-04-06 17:39:00 · 3345 阅读 · 0 评论 -
谁负责SAS?
探讨谁来负责Software Accomplishment Summary (SAS).原创 2011-05-20 17:07:00 · 1550 阅读 · 1 评论 -
什么是“固件编程指令”?——GJB438B学习笔记之十三
什么是“固件编程指令”?原创 2011-03-14 21:48:00 · 1259 阅读 · 0 评论 -
GJB438B-2009附录W的几个术语——GJB438B学习笔记之十二
GJB438B-2009附录W的几个术语。原创 2011-03-14 21:46:00 · 2073 阅读 · 0 评论 -
GJB438B-2009附录L与DI-IPSC-81438的差异——GJB438B学习笔记之七
GJB438B-2009附录L与DI-IPSC-81438的差异.原创 2011-03-14 14:35:00 · 1510 阅读 · 0 评论 -
GJB438B-2009附录K与DI-IPSC-81429的差异——GJB438B学习笔记之六
GJB438B-2009附录K与DI-IPSC-81429的差异.原创 2011-03-14 14:33:00 · 1001 阅读 · 0 评论 -
GJB438B-2009附录T与DI-IPSC-81443的差异——GJB438B学习笔记之十一
GJB438B-2009附录T软件用户手册与DI-IPSC-81443(SOFTWARE USER MANUAL)的差异.原创 2011-03-14 21:44:00 · 1211 阅读 · 0 评论 -
什么是可验证的软件架构?——DO-178B/ED-12B学习笔记之十五
DO-178B/ED-12B的6.3.3 d:【原文】Verifiability: The objective is to ensure that the software architecture can be verified, for example, there are原创 2011-07-25 16:45:47 · 2412 阅读 · 1 评论 -
欧洲航空安全局希望劝阻把伪代码用作低层需求
欧洲航空安全局希望劝阻把伪代码用作低层需求 作者:European Aviation Safety Agency(EASA)原文:EASA Proposed CM No.: EASA Proposed CM – SWCEH – 002 Issue: 01, 10th翻译 2011-08-17 17:45:45 · 2523 阅读 · 0 评论 -
软件验证目标与软件等级的关系——DO-178B/ED-12B学习笔记之十七
软件验证目标与软件等级的关系——DO-178B/ED-12B学习笔记之十七 DO-178B/ED-12B附件A表A-5对软件编码过程规定了6个目标,A级和B级软件要满足这6个目标,而对C级软件只规定了5个,其中第3个目标由申请方决定。表A—5 软件编码和集成过程原创 2011-09-19 17:44:05 · 3529 阅读 · 0 评论 -
DO-178B的derived requirements
以下摘录自"Explicate ‘78: Uncovering the Implicit Assurance Case in DO–178C"(C. Michael Holloway):Any new requirements that arise during software development must be passedback to the system processes, inc...转载 2018-05-17 09:14:15 · 386 阅读 · 0 评论 -
DO-178B不适用基于SCADE的软件适航认证?
《飞行力学》第30卷第1期(2012年2月)有一篇题为《基于SCADE 的飞控软件的适航验证与确认》的文章。从该文的摘要和引言中可以看到,该文立论的前提是DO-178B不适用基于SCADE的软件适航认证。但是,SCADE的开发商发布的所有资料都是说明SCADE的解决方案满足DO-178B标准,并且有大量的使用SCADE后通过适航认证的实例。另外,DO-178B(标准)与SCADE(工具)这原创 2015-10-17 16:05:26 · 2059 阅读 · 0 评论 -
《软件需求规格说明》中的数据元素组合体——GJB438B学习笔记之十五
《软件需求规格说明》中的数据元素组合体——GJB438B学习笔记之十五 GJB438B-2009附录M《软件需求规格说明》3.3.X.d条中有如下叙述: 2) 包中的数据元素及其结构(编号、顺序和成组情况)。 5) 包之间的关系,如排序/存取特性。 这个“包”字还在其他地方多次出现。什么是“包”? 查看美军标: 2) Data原创 2013-03-27 16:34:51 · 4578 阅读 · 0 评论 -
《软件需求规格说明》中的状态和方式——GJB438B学习笔记之十四
《软件需求规格说明》中的状态和方式——GJB438B学习笔记之十四GJB438B-2009附录M《软件需求规格说明》3.1条中有如下叙述:“状态和方式的例子包括:空闲、就绪、活动、事后分析、训练、降级、紧急情况、后备、战时和平时等。可以仅用状态描述CSCI,也可以仅用方式、用方式中的状态、状态中的方式、或其他有效的方式描述CSCI。”美军标的对应文字是: “Exampl原创 2013-03-27 15:53:31 · 11585 阅读 · 0 评论 -
GJB2786A-2009勘误建议
页码章条号误正12军用软件开发文档适用要求军用软件开发文档通用要求44.1测量与分析测量和分析95.9.1单元集成与测试和准备单元集成和测试的准备95.9.2原创 2012-05-26 16:05:40 · 3506 阅读 · 0 评论 -
GJB2786A-2009与MIL-STD-498的一些差异
GJB2786A-2009与MIL-STD-498的一些差异 GJB2786A-20094.2.1对软件开发的全部活动,开发方应采用文档化的系统方法。MIL-STD-4984.2.1The developer shall use systematic, documented methods for all softwa原创 2011-05-16 16:12:00 · 4598 阅读 · 0 评论 -
设计说明——DO-178B/ED-12B学习笔记之十八
设计说明——DO-178B/ED-12B学习笔记之十八 DO-178B的第11.10节是Design Description(设计说明)。该节的参考译文如下:设计说明定义软件架构和满足软件高层需求的低层需求。设计说明应包括:a. 详细描述软件如何满足规定的软件高层需求,包括算法、数据结构;以及详细描述软件需求怎样分配到处理器及任务。b. 描述软件体系架构,软件体系架构定义了原创 2012-01-18 13:22:03 · 2847 阅读 · 0 评论 -
集成过程输出验证的目标——DO-178B/ED-12B学习笔记之十六
集成过程输出验证的目标——DO-178B/ED-12B学习笔记之十六 DO-178B/ED-12B的5.4.2中指明,集成过程由软件集成和硬件/软件集成组成。DO-178B/ED-12B的6.3.5:【原文】The objective is to ensure原创 2011-08-12 12:57:43 · 1740 阅读 · 1 评论 -
GJB438B-2009附录S与DI-IPSC-81442的差异——GJB438B学习笔记之十
GJB438B-2009附录S与DI-IPSC-81442的差异.原创 2011-03-14 21:42:00 · 1210 阅读 · 0 评论 -
GJB438B-2009附录R与DI-IPSC-81441的差异——GJB438B学习笔记之九
GJB438B-2009附录R与DI-IPSC-81441的差异.原创 2011-03-14 14:39:00 · 1617 阅读 · 0 评论 -
软件等级——DO-178B/ED-12B学习笔记之六
软件等级——DO-178B/ED-12B学习笔记之六1. 软件等级的定义DO-178B/ED-12B的第2.2.2条定义了软件等级: a. Level A: Software whose anomalous behavior, as shown by the system safety assessment process, would cause or contrib原创 2009-12-30 17:38:00 · 3603 阅读 · 0 评论 -
Standards一词的含义——DO-178B/ED-12B学习笔记之三
Standards一词的含义——DO-178B/ED-12B学习笔记之三 DO-178B/ED-12B的1.3条的第二段解释了standards一词在DO-178B/ED-12B中的含义: Where this document uses the term "standards," it should be interpreted to mean the use of p原创 2009-12-21 17:48:00 · 1482 阅读 · 0 评论 -
停用代码——DO-178B/ED-12B学习笔记之二
停用代码——DO-178B/ED-12B学习笔记之二1. 停用代码的定义 DO-178B/ED-12B对停用代码(Deactivated code)的定义是: Executable object code (or data) which by design is either (a) not intended to be executed (code) or u原创 2009-12-21 17:45:00 · 1916 阅读 · 1 评论 -
无用代码——DO-178B/ED-12B学习笔记之一
无用代码——DO-178B/ED-12B学习笔记之一1. 无用代码的定义 DO-178B/ED-12B对无用代码(Dead code)的定义是: Executable object code (or data) which, as a result of a design error cannot be executed (code) or used (data原创 2009-12-21 17:41:00 · 2528 阅读 · 1 评论 -
软件需求规则——DO-178B/ED-12B学习笔记之五
软件需求规则——DO-178B/ED-12B学习笔记之五1. 软件需求规则的目的 根据DO-178B/ED-12B的第 11.0条可知,软件需求规则是一种软件生存周期资料。第11.6规定了软件需求规则的目的:The purpose of Software Requirements Standards is to define the methods, rules a原创 2009-12-22 18:10:00 · 2809 阅读 · 0 评论 -
软件开发规则——DO-178B/ED-12B学习笔记之四
软件开发规则——DO-178B/ED-12B学习笔记之四1. 软件开发规则的目的 DO-178B/ED-12B的4.5条第一句指明了软件开发规则的目的: The purpose of the software development standards is to define the rules and constraints for the software原创 2009-12-22 18:06:00 · 1786 阅读 · 0 评论 -
DO-178B三种文本对照学习注记
DO-178B三种文本对照学习注记 1. 引言 本文汇总了对英文版DO-178B、法文版ED-12B和中文版HB/Z295-96进行对照学习时所做的注记。这三种文本是: 英文版:RTCA/DO-178B, SOFTWARE CONSIDERATIONS IN AIRBONE SYSTEMS AND EQUIPMENT CERTIFICATION, Decemb原创 2009-12-02 17:20:00 · 2198 阅读 · 1 评论 -
DO-178B三种文本对照学习注记(增补)
DO-178B三种文本对照学习注记(增补) 表 28章节4.4英文版The methods and notations used in the software requirements process and software design process.法文版Les méthodes et原创 2009-12-03 17:20:00 · 1148 阅读 · 0 评论 -
受外国影响的DoD软件对任务的冲击(摘译)
受外国影响的DoD软件对任务的冲击(摘译) 作者:Defense Science Board Task Force(美国国防科学委员会特别工作小组)原文:http://www.stsc.hill.af.mil/crosstalk/2008/05/译者:logiciel,2010年1月28日 [摘要] 国防科学委员会特别工作小组评估了国防部 (DoD)对来自外国的软件依赖翻译 2010-01-28 17:04:00 · 1057 阅读 · 0 评论 -
关于GJB438A-97软件设计文档的疑问
关于GJB438A-97软件设计文档的疑问 [摘要] 本文记录了对GJB438A-97《武器系统软件开发文档》的软件设计文档的一些疑问。 1 引言 GJB438A-97《武器系统软件开发文档》规定了软件设计文档编制的格式、内容和要求。在工程实践中执行该标准时,感到其中有些要求比较难于理解和实施。GJB438A-97是与GJB2786-96《武器系统软件原创 2009-05-31 17:37:00 · 6577 阅读 · 0 评论 -
数据控制类别(CC1和CC2)——DO-178B/ED-12B学习笔记之七
对数据控制类别(CC1和CC2)的理解。原创 2010-07-31 06:42:00 · 8649 阅读 · 0 评论 -
数据、数据项和数据元——DO-178B/ED-12B学习笔记之八
把软件生存周期数据分解为数据项,再把数据项分解为数据元.原创 2010-09-06 17:34:00 · 2248 阅读 · 0 评论 -
GJB438B-2009附录Q与DI-IPSC-81440的差异——GJB438B学习笔记之八
GJB438B-2009附录Q与DI-IPSC-81440的差异.原创 2011-03-14 14:38:00 · 1254 阅读 · 0 评论 -
什么是“系统主题需求”——GJB438B学习笔记之二
借助DI-IPSC-81431理解GJB438B-2009附录B。原创 2011-02-23 21:39:00 · 2739 阅读 · 1 评论 -
“时序”还是“定时”?——GJB438B学习笔记之三
借助DI-IPSC-81434 理解GJB438B-2009附录C.原创 2011-02-24 08:28:00 · 1474 阅读 · 0 评论