ISO26262 Part 6 之 软件架构设计的描述方法

1. 特征

为了避免系统架构设计中的系统性失效，系统架构设计需要关注以下特征：

2. 标记法：

关于以上标记法的进一步解释：

2.1 形式化（formal）：

在完备数学概念基础上，采用具有确定语义定义并有严格语法的语言表达的规范风格。

形式化规范就是用一套基于明确定义的数学概念的符号来书写，并且通常伴随着支持性的解释（非形式化）语句。这些数学概念被用来定义符号的句法和语义，以及支持逻辑推理的证明规则。支持形式化符号的句法和语义规则应该定义如何明确地识别其结构和确定其含义。并且必须有证据表明矛盾不可能产生，支持符号的所有规则都有定义或者引用。

2.2 半形式化（semiformal）：

采用具有确定语义定义并有严格语法的语言表达的规范风格。
如，UML，SysML， Simulink，语法清晰
半形式化规范就是用一种受限制的句法语言来书写，并且通常伴随着支持性的解释（非形式化）语句。这里的受限制句法语言可以是一种带有受限制句子