作者： （美）阿尔伯特陈著 出版： 北京：北京航空航天大学出版社 页数： 404    ✅ 真实服务 非骗流量  ❤️ 出版时间： 2015.12 （求助前请核对清楚） 求助编号：9 13952302 0 （学习资料 勿作它用） 求助格式：PDF（无水印/扫描版）我要投诉 重要说明：求助即说明同意《文件求助条款》   Word/doc、ePubb、mobi、PPT、TXT

    • 本书面向嵌入式实时系统，较系统地论述了基本的实时调度算法、调度性分析方法，描述了引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析(formalanalysis)及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统(如温度控制系统、面包机和电饭煲)到高度复杂系统(如飞机和航天飞机)，通过将上述形式化方法成功的应用于这些工程项目，有效地加深读者对嵌入式实时系统分析和验证方法的理解和运用。

    📙 相关书籍

    1. 《嵌入式系统原理与实践 基于Cortex M3 STM32 上》高清PDF 本书介绍内容系统全面，从嵌入式系统概述、ARMCortex-M3微处理器、ARMCortex-M3开发工具和环境、STM32基础入门等方面介绍了嵌入式系统的原理与具体应用，可作为高等院校计算机专业、电类专业、自动化以及机电一体化专业本科生的教材和参考书，也可供希望了解和掌握嵌入式系统的技术人员学习参......
    2. 《嵌入式FAT32文件系统设计与实现 基于指南znFAT 上》高清PDF 存储设备在嵌入式系统中所处的地位和所起的作用不言而喻，是绝对不可或缺的重要部分。早期的存储设备，如eeprom、flashrom等，通常在产品或系统中记录着一些重要的数据和信息。因其数据量不大，所以数据的组织与管理工作尚不构成问题。随着存储设备的飞速发展，新兴、通用、……...
    3. 《嵌入式系统及其应用 第3版》高清PDF 本书介绍了嵌入式系统领域的基本原理、技术和方法，在内容上偏重自动化和电气类专业的教材选择需求，强调基本原理、硬件设计、软硬件交互，强调在自动化和电气领域的应用，力求能够改变目前高校教学上“软强硬弱”的现状。全书紧跟时代潮流，以ARM公司的Cortex-M3内核和ST公司的STM32F系列MCU为主要......
    4. 《嵌入式系统原理及应用实例》高清PDF 随着计算机技术和微电子技术的发展，嵌入式系统也得到了广泛的应用。电子设备的功能要求越来越复杂和完善，处理器已经经历了4位、8位、16位、32位、64位、多核等发展，性能得到了大大的提升，原来单片机的应用领域被嵌入式系统逐渐取代。嵌入式系统在工业生产控制、智能仪表、信息家电……...
    5. 《嵌入式系统原理与应用技术 第2版》高清PDF 嵌入式系统概论、ARM体系结构、ARM指令系统、时钟及电源管理、存储器与I/O接口、S3C2410定时与中断、S3C2410DMA技术、S3C2410串行通信、网络接口、人机接口、Linux系统基础、嵌入式Linux软件设计、Qt嵌入式图形用户接口设计。现有的教材主要是以讲授嵌入式系统软件应用为主，......
    6. 《基于Xilinx FPGA的多核嵌入式系统设计基础》高清PDF 本书内容包括Xilinx软、硬核处理器介绍；Xilinx FPGA产品介绍；多核嵌入式通信系统的开发环境；软、硬件设计流程的介绍；相关总线与通信机制的介绍及对多核架构前景的展望。...
    7. 《单片机系统设计、仿真与应用 基于Keil和Proteus仿真平台》高清PDF 本书主要介绍单片机系统设计和应用，使用Keil软件平台进行单片机的C语言程序开发，使用Proteus硬件仿真平台进行仿真，所有设计基本都基于统一的原理图。...
    8. 《嵌入式系统概论》高清PDF 《中央民族大学特色教材：嵌入式系统概论》是为计算机科学与技术专业、自动化专业和其他相关专业编写的嵌入式系统学习的入门教材，其主要面向初学者，从最基本的原理、概念到嵌入式系统的组成结构、设计方法，由浅入深地指导初学者如何进行嵌入式系统开发。《中央民族大学特色教材：嵌入式系统概论》共分为6个章节，分别介......
    9. 《嵌入式系统原理及应用 基于Cortex-M3和μC/OS-Ⅱ》高清PDF 本书以目前ARM最新的Cortex-M3 32位微控制器作为主要内容，讲解内核以及基于其内核的Luminary系列微控制器LM3S片上资源结构及应用；对嵌入式实时操作系统μC／OS-II进行适当的剪裁，讲解其核心工作原理、移植和应用；并列举综合性的实例进行剖析、设计、制作调试和测试。...
    10. 《项目驱动 单片机应用设计基础》高清PDF 本书以80C51单片机为主，通过项目驱动的方法融合相关知识点，介绍单片机的结构组成、工作原理、指令系统、特殊功能部件与外设、嵌入式C语言、数据结构与常用算法、嵌入式操作系统，程序设计基础以及单片机的开发应用等内容，不仅融合了与数据结构、计算方法、直流电机及其功率接口等相关方面的知识，而且在单片机的教......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。