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

1. 特征

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

2. 标记法：

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

2.1 形式化（formal）：

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

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

2.2 半形式化（semiformal）：

采用具有确定语义定义并有严格语法的语言表达的规范风格。
如，UML，SysML， Simulink，语法清晰
半形式化规范就是用一种受限制的句法语言来书写，并且通常伴随着支持性的解释（非形式化）语句。这里的受限制句法语言可以是一种带有受限制句子结构和具有特殊意义的关键字的自然语言，也可以是图表式的（如：数据流图、状态转换图、实体关系图、数据结构图、流程或程序结构图）。不论基于图表还是自然语言必须用一套规范来定义句法限制。

2.3 非形式化（informal）：

采用自然语言表达的规范风格。

非形式化规范就是像散文一样用自然语言来书写。在这里使用自然语言作为任何普通口头语言（如：荷兰语、英语、法语、德语）中意思的沟通。非形式化规范不像常规语言的传统用法（如：文法和句法）一样受一些符号或特殊的限制。虽然没有符号限制，非形式化规范也要求为上下文中的术语定义其意思，除非作为常规用法已认可。

3. 举例

可以使用结构视图****:来描述架构静态结构和接口。常见的结构视图包括**，类图，组件图，包图**等。

● 类图 —— 描述系统中的类，以及各个类之间的关系的静态视图。

● 组件图 —— 由组件 + 接口 + 关系 + 端口 + 连接器组成。

● 包图 —— 描述的是模型中的包及其包含的元素组合。

可以通过行为视图:来描述架构动态行为，例如数据流，控制流，不同状态切换等。常见的行为视图包括，控制流图，真值表，时序图，状态图等。

● 数据流图 ——描述数据如何由输入逐步流向输出的过程。

● 控制流图 ——描述由输入经过一系列控制动作到输出的过程。

● 状态机图 ——描述系统不同状态之间的转换关系。

● 真值表 ——描述一个复杂的组合逻辑关系。

● 序列图 ——描述不同组成部分通过信息交互的时序关系。

● 结构图 ——描述组件之间的层次关系。

参考引用

https://mp.weixin.qq.com/s/49zugF7iaAj7pFmmkMMqnA