欢迎光临澳大利亚新华书店网 [登录 | 免费注册]

    • 分布式实时系统原理与设计方法(原书第2版)/计算机科学丛书
      • 作者:(奥地利)赫尔曼·科佩茨|译者:吴际//龙翔//尚利宏
      • 出版社:机械工业
      • ISBN:9787111613770
      • 出版日期:2019/01/01
      • 页数:264
    • 售价:35.6
  • 内容大纲

        赫尔曼·科佩茨著的《分布式实时系统原理与设计方法(原书第2版)》主要介绍分布式实时系统的技术原理和设计方法,重点围绕安全关键实时系统的行为确定性、可组合性和容错能力等难题提出了时间触发机制和相应的设计原则。本书整体内容分为四大部分,包括关于时间的基础理论、围绕实时性的平台技术介绍、围绕实时性和可信性的系统设计与确认,以及关于物联网和时间触发体系结构的最新进展。为了阐述相关概念和方法,本书结合三个样例系统提供了大量的案例解析,并贯穿始终。
        本书适合作为计算机科学、计算机工程和电子工程相关学科的高年级本科生或研究生的教材。
  • 作者介绍

  • 目录

    出版者的话
    译者序
    中文版序
    前言
    第1章  实时环境
      1.1  实时计算机系统
      1.2  功能需求
        1.2.1  数据采集
        1.2.2  直接数字控制
        1.2.3  人机交互
      1.3  时域需求
        1.3.1  时域需求的出处
        1.3.2  最小延迟抖动
        1.3.3  最小错误检测延迟
      1.4  可信需求
        1.4.1  可靠性
        1.4.2  安全性
        1.4.3  可维护性
        1.4.4  可用性
        1.4.5  信息安全
      1.5  实时系统分类
        1.5.1  硬实时系统与软实时系统
        1.5.2  失效安全系统与失效可运作系统
        1.5.3  响应有保证系统与尽力而为系统
        1.5.4  资源充分系统与资源受限系统
        1.5.5  事件触发系统与时间触发系统
      1.6  实时系统产品的市场分析
        1.6.1  嵌入式实时系统
        1.6.2  工厂自动化系统
        1.6.3  多媒体系统
      1.7  实时系统典型案例
        1.7.1  管道流量控制系统
        1.7.2  发动机控制器
        1.7.3  自动轧钢系统
      要点回顾
      文献注解
      复习题
    第2章  简约设计
      2.1  认知
        2.1.1  问题求解
        2.1.2  概念定义
        2.1.3  认知复杂性
        2.1.4  简化策略
      2.2  概念图谱
        2.2.1  概念形成
        2.2.2  科学概念
        2.2.3  消息
        2.2.4  变量的语义内容
      2.3  建模的本质
        2.3.1  目标与视角

        2.3.2  设计的主要挑战
      2.4  涌现行为
        2.4.1  不可约性
        2.4.2  基础特性和推导特性
        2.4.3  复杂系统
      2.5  如何开展简约设计
      要点回顾
      文献注解
      复习题
    第3章  全局时间
      3.1  时间和序
        3.1.1  不同(性质)的序
        3.1.2  时钟
    ……
    第4章  实时模型
    第5章  时域关系
    第6章  可信性
    第7章  实时通信
    第8章  功耗和能耗感知
    第9章  实时操作系统
    第10章  实时调度
    第11章  系统设计
    第12章  系统确认
    第13章  物联网
    第14章  时间触发体系结构
    缩略词
    术语定义
    参考文献