磁石空杯 - 博客园

2023年10月

摘要： 4 自动重现和分析嵌入式软件中的Bug 4.1 引言嵌入式软件的重要性逐年增加。ISO26262标准的最高安全级别要求十个9小时内无故障运行。然而，历史上的一些项目表明，即使进行了全面的测试，多年来仍有许多错误未被发现。航天飞机的控制计算机仅有50万行源代码，却经过了长达8年的测试，每行源代码耗资阅读全文

posted @ 2023-10-02 09:03 磁石空杯阅读(182) 评论(0) 推荐(0) 编辑

嵌入式 Linux 安全简介

摘要： 1 安全概念安全就是降低风险。一方面所有者，即产品或服务的受益者（用户、制造商、企业主等）。所有者希望保护资产，即产品或服务中任何有价值的东西（数据、代码、声誉等）。另一方面威胁行为者，即能够表现出威胁的人或事物（恶意黑客等），即任何能够以可能造成伤害的方式对资产采取行动的东西。为了体现威胁阅读全文

posted @ 2023-10-01 19:36 磁石空杯阅读(182) 评论(0) 推荐(0) 编辑

2023年9月

Linux上的USB驱动器基准测试

摘要：基准测试如果你想在U盘或其他外置USB硬盘上执行基准测试，程序与在普通内部存储设备上执行基准测试非常相似。我们需要做的就是测量USB硬盘的读写速度。在本教程中，你将看到如何在 Linux 系统上通过命令行和图形用户界面对USB硬盘进行基准测试。在本教程中，你将学习如何在主要Linux发行版上安阅读全文

posted @ 2023-09-28 16:56 磁石空杯阅读(171) 评论(0) 推荐(0) 编辑

掌握嵌入式Linux编程3引导程序

摘要： 3引导程序引导程序是嵌入式Linux的第二个要素。它是启动系统和加载操作系统内核的部分。在这一章中，我们将研究引导程序的作用，特别是它如何使用一种叫做设备树的数据结构将控制权从自身传递给内核，设备树也被称为扁平化设备树或FDT(flattened device tree)。我将介绍设备树的基本知识阅读全文

posted @ 2023-09-26 20:01 磁石空杯阅读(182) 评论(0) 推荐(0) 编辑

嵌入式软件调试与验证3动态时态断言

摘要： 3 使用动态时态断言进行调试 3.1 引言软件产业发展迅速，程序规模越来越大。相比之下，调试文献的进展却相对缓慢。大多数调试器只适用于某一类或某一组错误。程序错误可能是由多种情况造成的，并在其根本原因出现很久之后才被发现。了解源代码和程序的执行行为对于定位和找到大多数错误的原因至关重要。这种理解可阅读全文

posted @ 2023-09-25 19:08 磁石空杯阅读(59) 评论(0) 推荐(0) 编辑

嵌入式软件调试与验证2仿真

摘要： 2 仿真环境中的嵌入式软件调试 2.1 固件调试方法概述目前的EDA环境提供了各种固件调试方法。通常可以使用以下方法之一：使用硬件的SystemC模型进行仿真这可以在不接触硬件的情况下尽早开始固件开发，并在假设模型准确的情况下测试代码的功能。主要局限是缺乏系统视图和（取决于模型的准确性）缺乏硬阅读全文

posted @ 2023-09-24 20:03 磁石空杯阅读(222) 评论(0) 推荐(0) 编辑

嵌入式软件调试与验证1概述

摘要： 1 嵌入式软件调试与验证技术概述 1.1 调试和验证过程的重要性近年来，嵌入式系统（ES Embedded systems）因其灵活的操作和可能性而被广泛应用于电子系统行业。嵌入式系统由硬件、软件和其他模块（如机械）组成，旨在作为更大系统的一部分执行特定任务。网络物理系统（CPS Cyber-Ph 阅读全文

posted @ 2023-09-23 20:19 磁石空杯阅读(191) 评论(0) 推荐(0) 编辑

Docker教程4快速入门

摘要： 4 快速入门本章的目的是在后面的章节深入探讨之前，快速描绘Docker的全貌。我们将把本章分成两部分：运维视角开发视角在"运维视角"部分，我们将下载镜像，启动新容器，登录新容器，在其中运行命令，然后将其销毁。在开发视角部分，我们将更多地关注应用程序。我们将从GitHub克隆一些应用程序代阅读全文

posted @ 2023-09-22 07:00 磁石空杯阅读(50) 评论(0) 推荐(0) 编辑

Docker教程1-引言 2-简介 3-安装

摘要： 1 引言本章内容：为什么要使用容器、容器有什么作用、在哪里可以使用容器。 1.1 糟糕的过去应用程序是企业的核心。大多数应用程序都在服务器上运行。过去我们只能在每台服务器上运行应用程序。Windows和Linux不具备在同一台服务器上安全可靠地运行多个应用程序的技术。每当企业需要新的应用程序时阅读全文

posted @ 2023-09-21 22:10 磁石空杯阅读(49) 评论(0) 推荐(0) 编辑

使用Yocto进行嵌入式Linux开发3 Toaster

摘要： 3 Toaster 我们已经知道了如何在Poky中使用BitBake构建图像image，那么我们将学习如何使用Toaster完成同样的操作。 3.1 什么是Toaster？ Toaster是一个用于配置和运行构建的Web接口。它与BitBake和Poky构建系统通信，以管理和收集有关构建、软件包和镜阅读全文

posted @ 2023-09-21 21:08 磁石空杯阅读(98) 评论(0) 推荐(0) 编辑

公告