- 博客(316)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 喂狗功能实现来快速理解一下不同安全等级的要求差异
为了在实现层面，特别是软件设计实现上的一些差异，能快速的理解不同等级的要求差异。通过一个实际的常用功能的实现，来进行简要说明，便于大家理解。采用高度冗余的硬件和软件架构，例如双处理器系统，并且具备全面的故障检测、诊断和容错能力。增加更多的冗余和监控机制，例如采用多个独立的喂狗路径，并且对喂狗操作的结果进行验证。QM 等级对功能的安全性要求相对较低，重点在于实现基本的周期性喂狗功能，不过多考虑复杂的容错和错误处理机制。模拟双处理器系统，每个处理器都有独立的喂狗逻辑，并且对两个处理器的喂狗操作进行同步和验证。
2025-03-26 13:37:44
287
原创 数据分发服务（DDS）通信在飞机航空电子软件中的应用场景
商用飞机航空电子系统的架构已经发生了重大演变，从每个单元执行特定功能的“航线可更换单元”（LRU）概念，发展到了更加集成化的方式。这种传统方法虽然能够实现功能，但常常导致飞机制造商承担高昂的非重复性开发成本，以及航空公司承担巨大的运营成本。随着时间的推移，航空电子设备的复杂性和技术精密程度不断提高，然而专用航线可更换单元（LRU）的基本概念依然存在，一些单元扩展了其电子功能，以涵盖紧密相关的任务。
2025-03-26 07:46:54
832
原创 现代 CPU 优化技术深度剖析
现代多核处理器采用非统一内存访问（NUMA）架构，内存被划分为多个节点（Numa nodes），每个处理器可以访问本地内存，通过高速互连（如 Intel 的 QPI 或 UPI）来维护全局共享内存的假象。在这种架构下，访问远程内存的带宽和延迟都比访问本地内存差，例如，远程内存带宽通常比本地内存慢约 50% ± 10%。
2025-02-28 11:00:00
765
原创 在谷歌是如何写 C++ 代码的
每一位 C++ 程序员都清楚，C++ 语言具备众多强大的特性，但这些强大功能也带来了代码的复杂性，使得代码更容易出现漏洞，并且难以阅读和维护。为了解决这些问题，谷歌制定了 C++ 风格指南，该指南不仅规定了代码的风格，还对特定 C++ 特性的使用提出了建议，这些特性在行业内以影响代码可读性而闻名。在本文中，我们将深入探讨谷歌 C++ 风格指南，包括代码风格方面的规定（如制表符与空格的使用），以及谷歌对某些 C++ 特性使用的看法，其中继承是一个值得关注的特性。此外，使用异常时，函数可能会在意外的位置返回。
2025-02-27 12:00:00
593
原创 C 和 C++ 内存安全解决方案：应对政府期限压力
C 和 C++ 开发者不愿意放弃熟悉的语言，而是希望通过各种方式为其引入内存安全机制。Safe C++ 项目、Phil C 和 Trap C 等解决方案为解决 C 和 C++ 的内存安全问题提供了不同的思路和方法。尽管这些方案目前都存在一些问题，但随着技术的不断发展和完善，有望在一定程度上缓解 C 和 C++ 的内存安全困境。对于广大 C 和 C++ 开发者来说，这些方案值得关注和尝试，同时也期待更多创新的解决方案出现，以确保软件的安全性和可靠性。
2025-02-26 11:45:00
835
原创 【C++设计模式】访问者模式（1/2）：从编程范式到游戏实践
访问者模式可定义为对对象结构中的元素执行操作的一种方式，是一种面向对象的结构化模式，但也有函数式实现方式。其核心优势在于能够在不改变操作元素类的前提下定义新的操作，这对于构建插件系统等场景非常有用，可显著提高代码的可扩展性。为了更生动地说明，我们将以游戏为例进行讲解。以《指环王：魔多阴影》为例，这是一款经典游戏，战斗是其核心玩法之一，玩家需与各种敌人战斗，如不同类型的兽人（Orcs）和地精（Goblins）。
2025-02-26 07:00:00
889
原创 【形式化】Coq 中的函数式编程基础（长文）
除了使用 Coq 自带的策略，我们还可以自定义策略。例如，定义一个组合策略，将多个常用的策略组合在一起。simpl;n + 0 = n.Proof.intros n.Qed.这里我们定义了一个名为的自定义策略，它将simpl和组合在一起。在证明时，直接使用这个自定义策略就能完成证明。在 Coq 中进行证明是一个系统且富有挑战性的过程。我们可以使用各种策略，如introssimplrewriteinduction等，来构建证明。同时，还可以利用自动化机制，如autotautofirstorder。
2025-02-25 23:37:59
564
原创 汽车开放系统架构（AUTOSAR）中运行时环境（RTE）生成过程剖析
RTE 即运行时环境，其主要职责是实现应用层中软件组件之间的通信，以及软件组件的调度。当应用层需要与基础软件通信时，也需通过 RTE 进行。例如，在一个汽车的车身控制系统中，有一个用于控制车门锁的软件组件和一个用于控制车窗升降的软件组件。当驾驶员按下车门锁按钮时，车门锁控制组件会通过 RTE 将信号发送给车窗升降控制组件，以确保在车门锁定时车窗也能自动关闭。通过上述内容，我们对 RTE 生成过程有了清晰的认识。合同阶段以软件组件描述文件为输入，输出等效的头文件；
2025-02-25 23:18:36
866
原创 【C++设计模式】观察者模式（2/2）：实现与功能增强
本次课程实现了观察者模式的第四轮改进，为主题添加了更多功能，使其能够根据不同的事件类型通知特定的观察者。通过使用std::map数据结构和枚举类型，我们实现了事件类型的管理和观察者的分类。虽然这种实现方式增加了一定的复杂度，但提高了系统的灵活性和可扩展性。未来，我们可以进一步优化代码，例如使用替代std::map以提高查找性能，或者使用更现代的 C++ 特性（如enum class）来增强代码的安全性和可读性。同时，我们还可以考虑在实际应用中处理性能问题，如使用缓存或异步通知等技术。
2025-02-25 11:00:00
667
原创 【C++设计模式】迭代器行为模式：原理使用介绍
迭代器模式是一种非常有用的行为模式，它提供了一种一致的方式来遍历各种数据结构，无论是数组、链表还是哈希表。C++ 标准库提供了丰富的迭代器类型和相关函数，使得我们可以灵活地处理不同的遍历需求。使用迭代器可以让代码的意图更加清晰，提高代码的可读性和可维护性。虽然迭代器可能会让代码看起来稍微复杂一些，但它的优势在处理大型项目和复杂数据结构时会更加明显。同时，很多标准算法库也是基于迭代器来操作数据结构的，因此了解迭代器是非常重要的。希望通过本文的介绍，你对迭代器模式有了更深入的理解，并在实际编程中能够灵活运用。
2025-02-25 07:00:00
496
原创 函数式编程：概念、特性与应用
函数式编程，从名称上看就与函数紧密相关。它是一种我们常常使用却可能并未意识到的编程范式，关注代码的结构组织，强调一个纯粹但在实际中有些理想化的不可变世界，涉及数学、方程和副作用等概念，甚至还有有趣的“柯里化”。接下来，我们将探讨函数式编程与以往编程方式的不同之处。编程范式就像一棵特殊的树，它展示了编程语言如何像口语语言一样分支成不同的家族。其中，最大的两个分支分别是命令式范式和声明式范式。无论你是函数式程序员、面向对象程序员，还是喜欢过程式代码的简洁性，都应保持开放的心态，勇于学习新知识。
2025-02-24 22:33:25
754
原创 【C++设计模式】观察者模式（1/2）：从基础到优化实现
通过本次课程，我们从基础的观察者模式实现逐步优化，添加接口提升了代码的灵活性和可维护性，利用 RAII 技术解决了观察者生命周期问题，提高了代码的安全性。关键在于理解观察者模式的核心概念，掌握接口的使用和 RAII 技术的应用。
2025-02-24 22:07:28
892
原创 【C++设计模式】工厂方法设计模式：深入解析从基础到进阶
工厂方法模式提供了一种通用的方式来创建对象实例，它能够很好地隐藏实现细节，特别是对于派生类的实现细节。这种模式属于创建型设计模式，核心在于将对象的创建和使用分离，通过一个工厂函数，根据输入参数来返回正确的对象实例。工厂方法模式作为一种强大且实用的设计模式，为对象的创建提供了一种优雅而灵活的解决方案。从基础的定义和实现，到进阶的优化和功能扩展，我们逐步深入了解了该模式的各个方面。通过合理运用继承、多态、单例模式以及智能指针等技术，我们可以充分发挥工厂方法模式的优势，同时避免其潜在的缺点。
2025-02-24 21:39:06
787
原创 【C++设计模式】 单例设计模式：重要常用却并非完美之选
单例模式是一种创建型设计模式，主要关注对象的创建方式。其核心思想是确保在一个程序中，某个类只能有一个实例存在，并且提供一个全局访问点来获取这个实例。以 C++ 语言为例，通常情况下，我们创建一个类的对象时可以多次实例化。比如创建一个名为Type// 类的成员和方法但在单例模式下，我们需要限制只能创建一个该类的实例。单例模式是一种强大的设计模式，它可以确保一个类只有一个实例，并提供全局访问点。然而，它也存在一些问题，如全局状态的引入、多线程安全问题以及可测试性降低等。
2025-02-24 21:31:25
664
原创 【C++设计模式】命令模式：原理、实现与应用
设计模式并非是一劳永逸、完美无缺的解决方案。在使用它们的过程中，存在着诸多权衡，开发者需要根据具体的应用场景，精心思考如何正确地应用这些设计模式。行为型设计模式的核心关注点在于对象之间的交互方式，其目标是通过将行为封装在对象之中，巧妙地避免复杂的控制流，让开发者能够从对象的层面去思考问题，从而使代码的逻辑更加清晰、易于维护。命令模式，也被形象地称为动作模式或事务模式。它的独特之处在于，能够将对象巧妙地建模为可执行动作的命令。
2025-02-21 07:00:00
1999
原创 深入理解Python生成器函数：5个实用示例解析
本文旨在助力大家轻松掌握Python生成器函数。在本文中，我们将深入探究5个实用的生成器函数示例，帮助你透彻理解生成器的工作原理。
2025-02-20 14:45:00
762
原创 理解Java线程基础知识与应用
在Java编程领域，线程是实现并发执行的关键机制。通过合理运用线程，程序能够充分利用多核处理器的优势，提高整体性能和响应能力。本文将全面且深入地探讨Java线程的官方方法，从基础操作到高级特性，帮助读者透彻理解并熟练运用线程相关知识。
2025-02-20 08:15:00
1043
原创 Java 字符串处理：String、StringBuilder 和 StringBuffer 探讨
String：适用于字符串内容固定不变的场景，如程序中的常量字符串。由于其不可变性，保证了数据的安全性和常量池的复用性，使得相同内容的字符串在内存中只需存储一份。：在单线程环境下，如果需要频繁对字符串进行修改操作，如字符串拼接、插入、删除等，StringBuilder 是更好的选择。其非线程安全的特性在单线程环境中不会带来问题，同时由于无需同步开销，性能较高。：当程序处于多线程环境，并且需要对字符串进行动态修改时，应使用 StringBuffer。
2025-02-19 12:00:00
1383
原创 量子计算威胁下Java应用的安全防护：技术剖析与实践
在科技飞速发展的当下，众多公司与研究团队全力投入实现量子霸权的研究，使得量子计算机超越传统计算机运算效率的未来愈发临近。量子计算虽蕴含着巨大的潜力，但也给现有加密体系带来了严峻挑战。一旦量子计算机具备破解当前加密算法的能力，大量基于现有加密技术保护的数据和通信都将面临风险，“先窃取，后解密”的攻击策略可能成为现实。在此背景下，Java应用如何构建有效的防御机制，抵御量子攻击，成为了亟待解决的关键问题。
2025-02-19 09:45:00
888
原创 2025年Java语言的演变展望
自定义模式允许根据特定条件返回一组值，提供了更强大的模式匹配能力。// 自定义模式匹配 if(map instanceof java . util . HashMap < String , Integer > m && m . containsKey("one")) {} } }// 自定义模式匹配 if(map instanceof java . util . HashMap < String , Integer > m && m . containsKey("one")) {
2025-02-19 07:15:00
711
原创 深入理解Java中的ConcurrentSkipListMap
在Java编程领域，数据结构的选择对于程序的性能和功能实现至关重要。目前，我们已知可实现线程安全，且映射运行良好。然而，在某些场景下，我们不仅需要线程安全，还期望数据能以排序的方式存储，就像TreeMap那样。为满足此类需求，接下来我们深入探讨。在深入了解之前，先来认识它背后的数据结构——跳表（Skip List）。
2025-02-18 22:48:00
1148
原创 MISRA C vs CERT C 是两种广泛使用的 C 语言编码规范对比介绍
MISRA C 和 CERT C 是两种广泛使用的 C 语言编码规范，均以提高代码的安全性和可靠性为目标，但它们的侧重点、应用场景和规则设计存在显著差异。文章中对几种c语言的安全编码规范进行了汇总介绍，这里详细介绍misra c和cert c两种。通过理解两者的差异，开发者可以根据项目需求选择合适的规范，或结合两者以实现更高的代码质量。
2025-02-18 21:03:27
1066
原创 安全C语言编码规范概述
安全编码规范是构建可靠软件系统的基石。开发者需根据项目需求选择合适的规范，并通过工具和流程确保其落地，从而有效降低安全风险，满足合规性要求。在软件开发中，C语言因其高效性和底层控制能力被广泛应用于操作系统、嵌入式系统和高性能计算等领域。然而，C语言的灵活性也带来了安全隐患，如内存管理错误、缓冲区溢出、未定义行为等问题，可能导致严重的安全漏洞（如远程代码执行、信息泄露）。通过约束编码实践、禁止危险操作，帮助开发者规避风险，提升代码的可靠性和安全性。
2025-02-18 21:01:35
945
原创 ARM架构下基于故障注入的PC寄存器控制攻击方法
嵌入式系统是一种专门为特定应用而设计的计算机系统，它通常嵌入到其他设备中，以实现特定的功能。专用性强：嵌入式系统是为特定的应用场景量身定制的，其硬件和软件都经过了优化，以满足特定的功能需求。资源受限：嵌入式系统通常具有有限的处理器性能、内存和存储容量，因此需要在资源受限的情况下实现高效的运行。实时性要求高：许多嵌入式系统需要在规定的时间内完成特定的任务，如汽车的安全控制系统和工业自动化系统，因此对实时性有较高的要求。可靠性要求高。
2025-02-18 19:16:13
800
原创 形式化方法的成功实践：CompCert、seL4与Fiat密码学项目解析
CompCert旨在对优化的C编译器进行形式化验证，确保其生成的代码与预期语义精确匹配，这对保障基于C语言开发的软件可靠性与安全性意义重大。
2025-02-18 00:55:18
934
原创 探索Zephyr在汽车领域的应用潜力与挑战
在软件定义汽车的大背景下，新的创新空间不断涌现。例如，ROS（机器人操作系统）、TensorFlow Lite等技术开始在汽车领域受到关注。然而，个人认为它们可能更多用于微处理器相关的其他用例，而非直接在微控制器上运行。例如，在自动驾驶场景中，复杂的图像识别和路径规划任务可能由微处理器运行TensorFlow Lite模型来处理，然后通过网络将处理结果传输给微控制器进行具体的执行操作。
2025-02-15 09:15:00
781
原创 基于 CEGAR 方法分析验证自动售货机系统例子
通过 CEGAR 方法，我们从一个复杂的自动售货机原始系统T1T_1T1出发，构建抽象系统T2T_2T2进行初步分析。当抽象系统出现反例时，通过验证判断反例的真实性，对于虚假反例进行细化得到新的抽象系统T3T_3T3，不断迭代这个过程，逐步逼近对原始系统安全性的准确判断。
2025-02-14 07:30:00
602
原创 解析一种SCA（侧通道攻击）的工作原理
代码首先定义了结构体array该结构体包含两个成员：一个无符号长整型的length，用于表示数组的长度；另一个是无符号字符型的可变长数组data，用于存储实际的数据。代码中定义了两个指向array结构体的指针arr1和arr2，其中arr1指向一个小数组，而arr2指向一个大小为0x400的数组。CPU为了提高性能，采用了投机执行技术，在条件分支的情况下提前执行可能的后续指令。即使条件为假，内部的分支也会被执行，并可能导致缓存状态的变化。
2025-02-14 07:00:00
899
原创 探索顶级汽车软件解决方案：驱动行业变革的关键力量
在本文中，将一同探索当今塑造汽车行业的最具影响力的软件解决方案。从设计到制造，软件正彻底改变车辆的制造与维护方式。让我们深入了解这个充满活力领域中的关键技术。
2025-02-13 22:05:11
907
原创 汽车级Linux（AGL）的新进展：SDV与Flutter的探索
在当今汽车技术飞速发展的时代，汽车级Linux（Automotive Grade Linux，AGL）正逐渐成为汽车智能化变革的核心力量。它不仅广泛应用于汽车的各个角落，还在持续演进，其中软件定义汽车（SDV）和Flutter技术的发展尤为引人注目。
2025-02-13 21:37:35
916
原创 有限状态系统的抽象定义及CEGAR分析解析理论篇
有限状态系统（Finite state system, FSS）TTT有限状态集合QQQ：它代表系统所有可能处于的状态，是一个有限集。例如在简单的自动售货机模型中，状态可能包括 “空闲”“已投币”“商品已售出” 等，每个状态描述了系统在某一时刻的特定条件或配置。转移标签集合Σ\SigmaΣ：这些标签表示能够触发系统状态间转移的符号。在自动售货机的例子里，转移标签可以是 “投币”“选择商品”“出货” 等，它们代表了能使系统从一个状态转变到另一个状态的事件或输入。初始状态qinit。
2025-02-13 21:12:01
1338
原创 解析 JavaScript 面试题：`index | 0` 确保数组索引为整数
理解这个操作的原理，不仅有助于我们在面试中应对相关问题，也能让我们在实际开发中更好地处理数组索引，避免因索引类型问题导致的错误。这是因为数组在内存中是按照连续的存储单元来存储元素的，索引用于定位每个元素的位置，只有整数才能准确地指向特定的存储单元。由于 0 的二进制表示所有位都是 0，根据按位或运算的规则，任何数与 0 进行按位或运算都等于其本身。是小数时，JavaScript 会先将小数转换为 32 位有符号整数，这个转换过程会直接截断小数部分，只保留整数部分，然后再进行按位或运算。
2025-02-13 21:00:50
717
原创 航空电子设备之集成模块化航空电子系统解析
大家好，这里是关于飞机航空电子设备的探讨。本文将深入了解航空电子设备，着重介绍集成模块化航空电子（Integrated Modular Avionics，IMA）概念。如今，航空电子技术取得了巨大进步，基于计算机的设备发展成果斐然，这使得将多种功能集成于一个系统成为可能，因此，我们今天聚焦于航空电子设备集成及其发展前景。
2025-02-13 01:28:56
1020
原创 航空航天中机器学习子系统设计：流程、工具与数据质量
然而，由于航空航天系统对安全性和可靠性的极高要求，设计一个稳健的机器学习子系统需要遵循严格的流程、使用经过验证的工具，并确保数据质量。在工作组中，我们针对工具使用案例和不同风险因素，研究了这些差异，结果发现需要针对机器学习的特定方面，调整当前的工具鉴定实践。尤其是对于本质上安全关键的应用，重要的不仅是数据的数量，还有数据的质量。然而，工具的复杂性也带来了潜在的风险。通过遵循严格的流程、使用经过验证的工具，并确保数据质量，我们可以在航空航天领域安全有效地应用机器学习技术，推动这一领域的持续创新和发展。
2025-02-13 00:55:33
1181
原创 日本新一代电子战机开发计划解析
所谓防区外电子战机，是指在防区外，也就是干扰对象威胁应对范围之外，发射强力电波，干扰敌方所有电波，使雷达设施等失效，以此支援自卫队航空作战的飞机。作为防区外电子战机母体的C2运输机，是由防卫省技术研究本部，也就是现在的防卫装备厅，与川崎重工业共同开发的，作为之前C1运输机的后继机型。已在某基地部署的C2运输机试制2号机改造的电波情报收集型RC2，作为目前正在运用的4架YS - 1evb电子测量机的后继机型正在开发中，防卫装备厅开发的未来电子测量器搭载系统ALRX将被采用。
2025-02-10 00:54:23
42
原创 F-35战机软件困境持续，五角大楼猛烈抨击进展停滞：一场价值万亿美元的数字化困局
F-35项目的软件困境，为正在研发中的第六代战机（NGAD）项目提供了深刻的教训。NGAD项目办公室认真总结了F-35项目的经验教训，制定了一系列针对性的措施。采用“软件工厂”模式实现持续交付。“软件工厂”模式借鉴了工业化生产的理念，将软件研发过程标准化、流程化。通过建立自动化的代码生产线、测试流水线以及持续集成和持续交付（CI/CD）系统，实现软件的快速迭代和持续更新。这意味着可以在更短的时间内，将新的功能和修复的漏洞推送给用户，提高软件的适应性和可靠性。
2025-02-10 00:44:30
684
原创 探索编程语言的多元世界，一文介绍30多种编程语言
汇编语言：最低级的语言，用于给计算机硬件直接下达指令，每一行代码对应一个特定操作，常用于与硬件紧密相关的工作或嵌入式系统性能优化。C语言：比汇编语言进了一步，但仍与机器接近，速度快、功能强大，常用于操作系统和对性能要求极高的软件，适合追求内存控制和效率的场景。C++：由C语言发展而来，增加了面向对象编程等特性，是游戏开发和高性能系统的常用语言，能对硬件进行精细控制，适合管理大型程序。Java。
2025-02-10 00:11:07
849
原创 C++ 中 this 指针的今昔：从必需到可选，再到灵活运用
this指针是 C++ 语言中一个重要的概念。它连接着对象内部的成员，为我们访问和操作对象提供了便利。随着 C++ 语言的发展，this指针的使用规则也发生了变化。在现代 C++ 中，我们可以根据实际情况灵活运用this指针，在保持代码简洁性的同时，充分发挥其在特殊场景下的作用。希望本文能够帮助您更好地理解 C++ 中this指针的演变和应用。如果您有任何疑问或建议，欢迎随时提出。
2025-02-08 00:16:47
1017
航空航天领域IMA与AFDX在A-17‘Zephyr’飞机构建中的集成架构设计及其网络系统实现研究
2025-01-24
2024年广州车展创新与亮点
2024-11-27
信息安全：不可饶恕的安全漏洞及其评估指标
2024-11-04
Think DSP_ Digital Signal Processing in Python
2017-01-08
pyspark如何实现树层次结构的深度遍历
2023-07-25
TA创建的收藏夹 TA关注的收藏夹
TA关注的人