人生智慧的博客

模式抽象是包含的组件，连接和属性值关联的明确定义的配置。 模式表示系统或组件的替代操作状态。 例如，巡航控制系统的模式可以是{初始化，分离，接合}，其中每个模式都可以涉及不同的进程集合，执行线程或活动连接（例如，在初始化模式中，没有与传感器的连接）。模式可以指定要在线程或子程序中使用的不同调用序列。模式还可以表示不同属性值适用的任何组件的不同逻辑状态，例如线程或子程序。 例如，在不同的模式下，线程

AADL规范及其组成声明可以是文本、图形和XML 1. 主要的AADL声明 2.以一个非常简单的例子做一个分析 文本和图像的描述。 我们可以发现构建的通过组件类型和组件实现来定义。组件类型声明定义组件的接口元素和外部可观察的属性（指定与其他的构建交互的点的features，流规格和内部属性值）。 组件实现声明定义了组件的内部结构子组件，子组件连接，子程序调用顺序，模式，

下面对于各个特征做逐个的分析 （1）可靠度R（t） 定义：产品在规定条件下和规定时间内完成规定功能的概率（通俗来说，过了规定的时间，产品依然能够正常工作的概率） 数学表达式：R(t)=P(T>t)， t为规定时间，T为产品寿命。 估计值： （2）不可靠度F（t）（累计失效概率） 定义：它是产品在规定的条件下和规定的时间内失效的概率（通俗来说，还没到规定的时间，产品已经不能够使用

容错的概念： 发生故障后能正确运行。 容错技术的概念： 容忍故障，即故障一旦发生时能够自动检测自动检测出来并使系统能够自动恢复正常运行。 （1） 当出现某些指定的硬件故障或软件错误时，系统仍能执行规定的一组程序，或者说程序不会因系统中的故障而中止或被修改  （2）并且执行结果也不包含系统中故障所引起的 差错。 故障检测（Fault Detection）：判断系统是否存在故