logiciel-CSDN博客

原创 GJB438C-2021《软件需求规格说明》的一处修订

GJB438C-2021附录J《软件需求规格说明》的一处修订。

2024-10-22 20:26:21 2265

原创 ndb9300public-ndb2excel简介

关于发布机载导航数据库的工具ndb2excel的说明。

2024-09-30 17:38:20 535

原创飞机导航数据库资料

从网上收集的飞机导航数据库的一些资料。

2024-09-27 11:40:27 424

原创 PSS-sdy_opengl_sdd

PSS-sdy_opengl_sdd的源码发布简介。

2024-09-27 04:59:05 469

原创一段未能看懂的代码

一段未能看懂的代码。

2024-09-22 08:00:42 242

原创 IDA擅自合并代码一例

IDA有时会擅自合并代码，导致与原始设计不符。

2024-09-09 15:01:48 277

原创处理数组下标的代码

对处理数组下标的汇编代码的初步分析

2024-08-22 20:50:36 268

原创汇编代码翻译为abs函数的调用

把一段汇编代码翻译为对函数abs的调用。

2024-08-13 13:16:30 332

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

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

2024-07-25 14:19:19 142

原创代码走查的一个实例

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

2024-06-21 12:00:05 392

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

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

2024-06-21 09:18:35 257

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

一点感想。

2024-05-11 09:17:31 303

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

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

2024-05-11 09:07:57 444

原创 Splint的移植

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

2024-05-10 08:19:29 298

原创关于ARINC653的疑问

关于ARINC653的一些疑问。

2024-05-10 08:11:22 586

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

请问，如何用busctl命令列出会话总线？

2024-03-01 10:29:32 483

原创 dbus-sensors与libgpiod

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

2024-03-01 10:21:22 735

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

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

2024-02-24 15:54:53 1305

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

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

2024-02-24 15:42:01 716

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

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

2023-12-09 09:37:01 687

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

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

2023-12-07 10:14:39 993 2

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

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

2023-12-06 10:09:54 938

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

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

2023-09-15 11:58:03 464

原创 ASIDE-Simulink接口预研报告

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

2023-07-15 09:03:17 390

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

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

2023-06-10 10:50:20 190

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

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

2023-04-22 14:58:39 570 2

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

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

2023-04-22 10:01:11 898

原创浮点数比较代码的逆向分析（二）

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

2023-04-16 08:32:04 313

原创浮点数比较代码的逆向分析（一）

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

2023-04-13 09:52:06 373

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

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

2023-04-11 09:55:24 1370

原创 DO-178B中译文商榷

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

2023-04-08 08:09:39 118

原创 SCADE Display（Arinc661）图像的分解显示

通过生成每个widget的DF文件，分解显示SCADE Display（Arinc661）图像。

2023-04-03 09:00:36 552

原创 SCADE Display（OpenGL）图像的分解显示

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

2023-03-29 11:39:20 513

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

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

2023-03-29 09:11:43 433

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

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

2023-02-25 16:47:46 798

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

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

2023-02-03 09:53:13 545

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

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

2023-01-19 15:06:36 1548

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

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

2023-01-12 14:04:11 141

原创 Ghidra不能使用jdk-17.0.2

Ghidra不能使用jdk-17.0.2

2022-03-03 22:04:41 506

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

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

2022-01-28 08:10:45 848

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

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

2011-04-08

DO-178B中译文商榷

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

2023-04-06

空空如也

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

TA关注的人