软件考虑
关注
分享
扫一扫
logiciel
曾经写码为业，如今读码为乐。
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
GJB438C-2021《软件需求规格说明》的一处修订
GJB438C-2021附录J《软件需求规格说明》的一处修订。原创 2024-10-22 20:26:21 · 3016 阅读 · 0 评论 -
DO-178B中译文商榷
通过批注方式表达对中译文的修改意见。原创 2023-04-08 08:09:39 · 126 阅读 · 0 评论 -
微可追踪性——不同项的要素之间关联的证据
把项与项之间的可追踪性细化为项与项的要素之间的可追踪性，即称之为微可追踪性。原创 2023-01-19 15:06:36 · 1552 阅读 · 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 · 3344 阅读 · 0 评论 -
谁负责SAS？
探讨谁来负责Software Accomplishment Summary (SAS).原创 2011-05-20 17:07:00 · 1550 阅读 · 1 评论 -
什么是“固件编程指令”？——GJB438B学习笔记之十三
什么是“固件编程指令”？原创 2011-03-14 21:48:00 · 1258 阅读 · 0 评论 -
GJB438B-2009附录W的几个术语——GJB438B学习笔记之十二
GJB438B-2009附录W的几个术语。原创 2011-03-14 21:46:00 · 2072 阅读 · 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 · 3527 阅读 · 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 · 4574 阅读 · 0 评论 -
《软件需求规格说明》中的状态和方式——GJB438B学习笔记之十四
《软件需求规格说明》中的状态和方式——GJB438B学习笔记之十四GJB438B-2009附录M《软件需求规格说明》3.1条中有如下叙述：“状态和方式的例子包括：空闲、就绪、活动、事后分析、训练、降级、紧急情况、后备、战时和平时等。可以仅用状态描述CSCI，也可以仅用方式、用方式中的状态、状态中的方式、或其他有效的方式描述CSCI。”美军标的对应文字是： “Exampl原创 2013-03-27 15:53:31 · 11577 阅读 · 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 · 4592 阅读 · 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 · 1616 阅读 · 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 · 3597 阅读 · 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 · 2527 阅读 · 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 · 6575 阅读 · 0 评论 -
数据控制类别（CC1和CC2）——DO-178B/ED-12B学习笔记之七
对数据控制类别（CC1和CC2）的理解。原创 2010-07-31 06:42:00 · 8637 阅读 · 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 · 2737 阅读 · 1 评论 -
“时序”还是“定时”？——GJB438B学习笔记之三
借助DI-IPSC-81434 理解GJB438B-2009附录C.原创 2011-02-24 08:28:00 · 1473 阅读 · 0 评论