第1章 绪论　 　　1.1 系统架构的概念及其发展历史　 　　1.1.1 系统架构的概念　 　　1.1.2 简要的发展历史　 　　1.2 系统架构师的定义与职业素质　 　　1.2.1 系统架构师的定义　 　　1.2.2 系统架构师技术素质　 　　1.2.3 系统架构师管理素质　 　　1.2.4 系统架构师与其他团队角色的协调　 　　1.3 系统架构师知识结构　 　　1.4 从开发人员到架构师　 　　第2章 计算机与网络基础知识　 　　2.1 操作系统基础知识　 　　2.1.1 操作系统的原理、

认识软件系统架构 从基础到精通学习系统架构，助你成为一个IT高新白领。 第1章 绪论　 　　1.1 系统架构的概念及其发展历史　 　　1.1.1 系统架构的概念　 　　1.1.2 简要的发展历史　 　　1.2 系统架构师的定义与职业素质　 　　1.2.1 系统架构师的定义　 　　1.2.2 系统架构师技术素质　 　　1.2.3 系统架构师管理素质　 　　1.2.4 系统架构师与其他团队角色的协调　 　　1.3 系统架构师知识结构　 　　1.4 从开发人员到架构师　 　　第2章 计算机与网络基础

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MAR