论文标题
代数系统：自主系统设计的组成验证
AlgebraicSystems: Compositional Verification for Autonomous System Design
论文作者
论文摘要
自主系统需要管理几种模型视图，以确保诸如安全和保障等属性。自主系统设计保证中的一个关键问题是紧急行为的概念。我们不能孤立地使用它们的部分来检查它们的整体行为或表现。组成验证试图通过将模型转换作为模型视图之间的结构图图来打击出现。代数动力学依赖于分类语义来在代数和模型视图之间建立关系。我们提出了代数系统，这是代数方法的集合，以分配语义和分类原始素，以赋予模型之间关系的计算含义，从而使形式主义和所得工具通过垂直和水平构图可以互操作。
Autonomous systems require the management of several model views to assure properties such as safety and security among others. A crucial issue in autonomous systems design assurance is the notion of emergent behavior; we cannot use their parts in isolation to examine their overall behavior or performance. Compositional verification attempts to combat emergence by implementing model transformation as structure-preserving maps between model views. AlgebraicDynamics relies on categorical semantics to draw relationships between algebras and model views. We propose AlgebraicSystems, a conglomeration of algebraic methods to assign semantics and categorical primitives to give computational meaning to relationships between models so that the formalisms and resulting tools are interoperable through vertical and horizontal composition.
