基于假设-保证合约的航空系统早期设计探索
分布式、并行与集群计算
2024-09-05 v1
摘要
我们提出了一种基于假设-保证合约的复杂航空系统早期建模与分析的组合方法。系统中的组件被抽象为假设-保证规范。通过 Pacti 进行代数合同运算，我们能够将局部组件规范与系统规范关联。应用于两个航空案例研究（轨道接近任务的航天器设计以及原型飞机热管理系统的设计），本方法为工程师提供了敏捷的早期分析与探索过程。
引用
@article{arxiv.2409.02217,
title = {Quantifying Liveness and Safety of Avalanche's Snowball},
author = {Quentin Kniep and Maxime Laval and Jakub Sliwinski and Roger Wattenhofer},
journal= {arXiv preprint arXiv:2409.02217},
year = {2024}
}