搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
使用AADL的模型基工程:SAE体系结构分析和设计语言入门
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    9787516504055
  • 作      者:
    (英)彼得·H. 费勒(Peter H. Feiler),(英)戴维·P. 格鲁茨(David P. Gluch)著
  • 出 版 社 :
    航空工业出版社
  • 出版日期:
    2014
收藏
编辑推荐
  《使用AADL的模型基工程:SAE体系结构分析和设计语言入门》是使用新的国际标准以使开发过程最佳化的首个指南。该书由SAEAADL标准的作者和技术领导彼得.H.费勒与戴维.P格鲁茨合著,这本入门性的教材对于自学和课堂教学都是理想的,而且对于各类从业者,包括体系结构师,开发、集成、验证和认证人员,离层技术领导以及项目管理人员来说,都是一本绝佳的参考书。为在早期发现充满真实世界实例的嵌入式软件系统的问题,以降低解决问题的成本,作为体系结构中心的模型基工程方法的一部分,本书介绍了AADL表示法的所有问题。纵观全书,作者将AADL与其他建模标记法和方法进行了比较,同时通过一个完整的案例研究说明了这一语言,并通过反复的细化和分析,对一个真实的示例系统进行了开发和分析。
展开
作者简介
  彼得·H.费勒(Peter H.Feiler),SEI技术团队的资深成员,SAEAADL标准的技术领导和作者。在SEI的27年中,他主要从事软件开发环境、配置管理和实时嵌入式系统的工作。在航电、空间和汽车工业以及政府项目中,配合研究机构广泛应用了AADL类的生成技术。
  
  戴维·P.格鲁茨(David P.Gluch),SEI技术团队早期的资深成员,目前是SEI的访问学者,安柏瑞德(Embry—Riddle)航空航天大学软件和系统工程教授。此外,还承担多家高科技公司的关键工程和技术管理工作,为民机的电传飞控系统、自动过程控制和航天飞机开发了实时软件密集型系统。
展开
内容介绍
  《使用AADL的模型基工程:SAE体系结构分析和设计语言入门》由AS5506标准主编成员所著,书中简练地介绍了AADL的概念、结构和使用,以及AADL为何是验证软件系统体系结构的MBE的有效工具。全书为学习AADL的读者提供了开发和分析基本系统模型的足够细节。它是使用AADL促进MBE开发过程最佳化的首个指南,也是市面上可获得的学习AADL的唯一教材。《使用AADL的模型基工程:SAE体系结构分析和设计语言入门》假定读者已经具备核心软件工程实践(如软件体系结构、软件设计)的基本知识、实时系统(如并发性、调度、通信),以及计算机运行期概念(如线程、执行语义)的知识。
  《使用AADL的模型基工程:SAE体系结构分析和设计语言入门》提供的设计范例工程适用性很强,既能用作嵌入式实时应用的软件体系结构或软件系统工程课程的教材,又可供广大软件工程设计人员作为手册性参考资料。
展开
目录
引言
第1部分 模型基工程与AADL
第1章 模型基软件系统工程
1.1 MBE和软件系统工程
1.1.1 MBE用于嵌入式实时系统
1.1.2 可分析的模型和MBE
1.1.3 MBE和AADL
1.2 AADL和其他建模语言
1.2.1 AADL、MDA和UML
1.2.2 AADL和SysML

第2章 使用SAEAADL进行工作
2.1 AADL模型
2.1.1 组件类别
2.1.2 语言的语法
2.1.3 AADL分类
2.1.4 AADL说明汇总
2.1.5 AADL模型的结构
2.2 系统规范和系统实例
2.2.1 组建系统实例模型
2.2.2 AADL文本域图形表示
2.2.3 分析模型

第3章 使用AADL建模和分析的基础
3.1 简单模型的开发
3.1.1 模型组件的定义
3.1.2 顶层模型的开发
3.1.3 控制软件的细节描述
3.1.4 添加硬件组件
3.1.5 物理连接的说明
3.1.6 软件对硬件的绑定
3.1.7 进行调度分析
3.1.8 综述
3.2 代码文件的表示
3.2.1 源代码和二进制文件的编写
3.2.2 变量名称文件的编写
3.2.3 源代码结构的建模
3.3 动态重构的建模
3.3.1 PBA模型的扩展
3.3.2 模式的规定
3.4 抽象流的建模与分析
3.4.1 流规范的规定
3.4.2 端对端流的规定
3.4.3 流分析
3.5 概念模型的开发
3.5.1 将抽象组件部署在PBA模型中
3.5.2 详细的抽象实现
3.5.3 变换为运行时表示
3.5.4 增加运行时属性
3.5.5 完善规范
3.6 利用组件模式开展的工作
3.6.1 组件库和参考体系结构
3.6.2 建立组件库
3.6.3 定义参考体系结构
3.6.4 使用参考体系结构

第4章 应用AADL能力
4.1 规定系统组成
4.1.1 组件分层
4.1.2 建模执行平台资源
4.1.3 执行平台通信支持
4.1.4 系统分层
4.1.5 建立系统实例模型
4.1.6 使用系统实例模型中的连接开展工作
4.1.7 使用系统实例模型开展工作
4.2 组件交互
4.2.1 数据和控制单向交换的建模
4.2.2 建模共享数据交换
4.2.3 建模局部服务请求或功能调用
4.2.4 建模远程服务请求或功能调用
……
第2部分 AADL的要素
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证