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