自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

logiciel的专栏

方法决定细节

  • 博客(162)
  • 资源 (1)
  • 收藏
  • 关注

原创 Markdown 中图片文件的后缀名

Markdown 中图片文件的后缀名要完全保持原样。

2024-07-25 14:19:19 15

原创 代码走查的一个实例

代码走查取得效果的一个实例。

2024-06-21 12:00:05 254

原创 Ada判别式记录的效率问题

如果Ada判别式记录使用不当,将产生额外时空开销。

2024-06-21 09:18:35 209

原创 从木匠到编程匠的传承

一点感想。

2024-05-11 09:17:31 256

原创 用Github+HUGO搭建博客的经验教训

用Github+HUGO搭建博客的经验教训。

2024-05-11 09:07:57 343

原创 Splint的移植

移植C程序静态检查工具Splint。

2024-05-10 08:19:29 201

原创 关于ARINC653的疑问

关于ARINC653的一些疑问。

2024-05-10 08:11:22 410

原创 请问如何用busctl命令列出会话总线?

请问,如何用busctl命令列出会话总线?

2024-03-01 10:29:32 366

原创 dbus-sensors与libgpiod

目前的debus-sensors只能用libgpiod-1.6.3,不能用其它版本。

2024-03-01 10:21:22 521

原创 OpenBMC的c++代码中的变量初始化问题(二)

解决在构建openbmc/intel-ipmi-oem的x64可执行模块中遇到的变量初始化问题(二)。

2024-02-24 15:54:53 1116

原创 OpenBMC的c++代码中的变量初始化问题(一)

解决在构建openbmc/intel-ipmi-oem的x64可执行模块中遇到的变量初始化问题(一)。

2024-02-24 15:42:01 543

原创 VS2009和VS2022的错误列表可复制粘贴为表格

VS2009和VS2022的错误列表可复制粘贴为表格。

2023-12-09 09:37:01 466

原创 vs2022linux应用开发中出现“未定义标识符_Float128“

莫名其妙的报错信息“未定义标识符_Float128"。

2023-12-07 10:14:39 665

原创 使用VS2022开发linux应用的静态库链接

在使用VS2022开发linux应用中进行静态库链接的一种方法。

2023-12-06 10:09:54 633

原创 JL653—一个基于ARINC653的应用程序仿真调试工具

JL653是一个基于ARINC653的应用程序仿真调试工具,它提供了ARINC 653 Part 1中要求的部分服务。它是一个免费软件。

2023-09-15 11:58:03 316

原创 ASIDE-Simulink接口预研报告

本报告描述ASIDE-Simulink接口的预先研究情况和结果。

2023-07-15 09:03:17 315

翻译 数据耦合与控制耦合分析资料汇编

数据耦合与控制耦合分析的资料汇编,可供民机航空电子软件开发和测试人员参考。

2023-06-10 10:50:20 126

原创 用Ada语言实现ARINC653定义的航空电子应用软件的标准接口

用Ada语言实现ARINC653定义的航空电子应用软件的标准接口(APEX),即是用Ada语言编写一套程序,使之实现APEX规定的功能。

2023-04-22 14:58:39 381 1

原创 Claude回答ARINC653标准在中国大陆的应用情况

Claude回答ARINC653标准在中国大陆的应用情况。

2023-04-22 10:01:11 678

原创 浮点数比较代码的逆向分析(二)

比较两个浮点数是否相等的代码的逆向分析。

2023-04-16 08:32:04 267

原创 浮点数比较代码的逆向分析(一)

逆向分析一段关于浮点数比较的汇编代码的功能。

2023-04-13 09:52:06 290

原创 SCADE Display(OpenGL)软件设计文档生成工具的设计考虑

本文档描述在SCADE Display(OpenGL)软件设计文档生成工具(以下简称为SDYSDDGEN)的设计过程中考虑到的一些问题及其解决方案。

2023-04-11 09:55:24 1169

原创 DO-178B中译文商榷

通过批注方式表达对中译文的修改意见。

2023-04-08 08:09:39 64

原创 SCADE Display(Arinc661)图像的分解显示

通过生成每个widget的DF文件,分解显示SCADE Display(Arinc661)图像。

2023-04-03 09:00:36 340

原创 SCADE Display(OpenGL)图像的分解显示

通过开发一个工具生成SCADE Display(OpenGL)图形的独立widget图像文件。

2023-03-29 11:39:20 348

原创 基于ARINC661的显示特性模型软件实现的测试覆盖分析

本文提出l对基于A661的显示特性模型软件进行测试覆盖分析,并提出了实施途径。

2023-03-29 09:11:43 291

原创 不同版本的IDA中的HIBYTE宏定义可能不同

不同版本的IDA中的HIBYTE宏定义可能不同,因此要查看defs.h中的HIBYTE的定义,以免误解。

2023-02-25 16:47:46 628

原创 一个古老软件工具的逆向重生

通过使用IDA和自研工具对一个古老的软件工具进行逆向分析,重生源代码,形成当前平台中可用的新工具。

2023-02-03 09:53:13 481

原创 微可追踪性——不同项的要素之间关联的证据

把项与项之间的可追踪性细化为项与项的要素之间的可追踪性,即称之为微可追踪性。

2023-01-19 15:06:36 1478

原创 修改IDA75生成的数组处理代码

修改IDA75生成的数组处理代码

2023-01-12 14:04:11 100

原创 Ghidra不能使用jdk-17.0.2

Ghidra不能使用jdk-17.0.2

2022-03-03 22:04:41 267

原创 McAfee可能屏蔽或干扰某些百度网页

通过正确设置解决McAfee屏蔽或干扰某些百度网页的问题

2022-01-28 08:10:45 746

原创 网文核实随记(一)

网文名称:核实内容:(1)(2)(3)核实结果:(1)在霍尼韦尔的业务部门介绍中未找到芯片制造的相关信息。(2)未找到“代码语言”这个术语的定义或解释。业界的常用术语是“编程语言”(programming language)。为何把linux与其他编程语言并列?(3)第5代战机的源代码行数用“数万行”来描述太少了。...

2020-08-16 10:51:14 101

原创 Windows中找不到dll入口函数的报错信息

试图在Win10中运行一个古老的exe文件,出现以下报错信息:没有指明是哪个动态链接库。转到XP上运行,出现以下报错信息:这下明白是哪个dll缺了入口函数Set_***。...

2020-03-08 11:47:39 589

原创 飞机上是否只用一种操作系统?

最近频繁地看到题为“飞机上一般是什么操作系统?”的帖子。其中一节的标题是“波音-787,AH-64用的操作系统是VxWorks”,并给出了VxWorks开发商Wind River的网站链接。笔者在Wind River网站上找到以下内容:以上文字表明,Wind River提供的VxWorks 653分区操作系统用于由GE开发的IMA。IMA是现代飞机中N多个系统之一。由此可知, 只能说“...

2020-03-06 21:31:30 499 1

原创 Wind River Workbench中的tgtsvr被360杀毒软件隔离

Workbench中的好几个工程突然都不能正常仿真运行了,弹出以下报错信息:几经查找,发现安装目录D:\windriver653\workbench-3.3\foundation\x86-win32\bin中的tgtsvr.exe不见了。然后在360杀毒软件的隔离区找到此文件。但是,没有看到360杀毒软件弹出隔离消息。...

2019-10-21 09:17:59 402

原创 VxWorks653 Debugger Tutorial中demo工程的编译

关于VxWorks653 Debugger Tutorial中demo工程的编译,手册中描述了要执行以下3行命令:cd vxworks653-2.4.0.1/target/src/demos/simple653Modulemake CPU=SIMNT BSP=simpc createmake CPU=SIMNT BSP=simpc PARTADDR=0x28000000 buildpr...

2019-10-18 14:13:55 453

原创 VxWorks653工程中添加linked resources的方法

为了找到在VxWorks653工程中添加linked resources的方法,在Workbench的Help中搜“addlinked resources”,显示的搜索结果没有用。然后搜“createlinked resources”,找到了以下有用的结果:To create a linked folder:In one of the navigation views, right...

2019-10-14 19:47:41 371

原创 VS编译警告C4103的中译文

VS编译警告C4103的中译文是:包括标题后更改了对齐方式,可能是由于缺少 #pragma pack(pop)这里的“标题”是指什么?查到原文https://docs.microsoft.com/en-us/cpp/error-messages/compiler-warnings/compiler-warning-level-1-c4103?view=vs-2017是:alignm...

2019-03-22 13:32:53 2900

原创 应用程序与dll不能共用vfprintf的文件参数

在一个dll中定义了以下函数:DLL_API void dump_log_file(FILE *fout, char *format_string, ...){ va_list args; EnterCriticalSection(&cs); va_start(args, format_string); vfprintf(fout, format_string, ...

2019-03-15 14:58:43 120

DO-178B中译文商榷

通过批注方式表达对中译文的修改意见

2023-04-06

DO-178B英法中三种文本对照学习注记

本文汇总了对英文版DO-178B、法文版ED-12B和中文版HB/Z295-96进行对照学习时所做的注记。

2011-04-08

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除