About usbob体育娱乐竞猜

新书推荐 │ 实时嵌入式系统设计方法

  以系统级设计方法学为核心,融合多领域专业知识,面向安全关键系统核心人才培养

  汽车电子、航空航天和医疗设备等安全关键应用系统以高度集成的实时嵌入式(RTE)系统为构造基础。为了满足此类应用的功能复杂性、时序可预测性和高可靠性等方面的严格要求,需要完整统一的系统设计、实现、验证和分析方法。

  实时嵌入式系统设计的论题非常广泛,其核心科学基础和方法涉及控制、计算机、软件和电子等多个工程领域。本书从实时计算和设计自动化两方面讨论此类系统的系统级设计方法,主要涉及硬件架构、实时操作系统、实时任务调度与共享资源访问控制、多处理器与分布式实时系统、实时嵌入式软件设计(程序结构、编程模型、实时编程语言)、形式化方法(设计、建模、验证)、建模语言与设计框架,以及常用的辅助设计工具等内容,涵盖应用软件、运行时环境和硬件系统结构等多个系统层次。书中纲要式地勾画出基于构件化设计(CBD)和基于模型化设计(MBD)范式的系统设计方法的完整视图和工程化开发过程的关键阶段,并展现了学术界的最新研究成果和工业界的应用现状。

  本书面向计算机专业研究生或高年级本科生,需要读者具备计算机工程、软件工程、控制工程、电子工程等相关领域的基础知识。

  以CBD、MBD、量化设计和形式化设计等先进的系统设计思想为驱动,简化系统设计复杂性问题。

  以实时计算和设计自动化为主线,纲要式地勾画出RTE系统设计方法的完整视图。

  以静态属性分析和动态行为验证为重点,力图反映学术界的研究成果和工业界的应用现状。

  以体系结构设计为中心,涵盖系统设计流程从规格定义到实现验证的的关键阶段。

  李曦博士,中国科学技术大学教授级高级工程师,博导。长期主讲本科生“计算机组成原理”和研究生“嵌入式系统设计方法”等课程。负责或参与国家自然基金、国家重点研发计划等纵横向科研项目30余项,承担省部级教学研究课题多项。发表ACM/IEEE Transactions等高水平学术论文100余篇,持有相关技术专利多项。当前主要研究方向为高性能时间可预测体系结构。

  陈香兰博士,中国科学技术大学计算机学院讲师。长期主讲本科生“操作系统”和研究生“嵌入式系统设计方法”等课程。主要从事计算机体系结构研究,在国内外会议期刊上发表论文60多篇,授权专利十余项。当前主要研究方向为实时操作系统。

  王超博士,中国科学技术大学计算机学院副教授,软件学院副院长。IEEE高级会员,ACM高级会员,CCF体系结构专委会委员,CCF形式化方法专委会委员,中科院青创促进会会员。主持参加国家自然科学基金、国家重点研发计划课题、中科院先导项目课题等多项国家和省部级科研项目。在TPDS、TC、TCAD、MICRO、RTSS等高水平学术期刊和会议上发表论文100余篇,撰写英文学术专著两部。担任ACM Transactions on Design Automations for Electronics Systems、IEEE/ACM Transactions on Computational Biology and Bioinformatics等国际期刊的Associate Editor。主讲“计算机组成原理”等课程。当前主要研究方向为可重构计算。

  周学海博士,中国科学技术大学教授,博导。中国计算机学会分布式计算与系统专委会委员。主讲本科生和研究生“计算机体系结构”等课程。多年来主持和参与国家自然科学基金、863计划、科技重大专项等纵横向课题30余项。在国内外重要学术期刊TC、TPDS、TCAD等ACM/IEEE Transactions和MICRO、ASPLOS、SPAA、DATE、FPGA等国际会议上发表论文100余篇,获发明专利10余项。当前主要研究方向为智能计算机系统。

  声明:该文观点仅代表作者本人,搜狐号系信息发布平台,搜狐仅提供信息存储空间服务。

LX-43AC  ComExpress龙芯3A2000主板模块LX-43AC  ComExpress龙芯3A2000主板模块