基于电子表格的实时规范族配置
软件工程
2023-11-01 v1
摘要
实时系统的模型检测十分复杂，需要在包含足够有用细节与避免状态爆炸的过多细节之间进行仔细权衡。本工作利用被分析的形式模型与待检测需求的可变性，以促进实时规范变体的模型检测。该工作源于学术界与铁路公司 Alstom 之间的合作，后者提供了具体用例，并处于 VALU3S 欧洲项目背景下。形式规范可变性的配置在具有特定结构的 MS Excel 电子表格中描述，使得开发人员也能轻松使用。这些电子表格由我们的原型工具自动处理，该工具生成实例并运行模型检测器。我们提出对先前工作的扩展，利用对特征有效组合的分析，同时保持基于电子表格的模型检测器接口的简洁性。
引用
@article{arxiv.2310.20395,
title = {Spreadsheet-based Configuration of Families of Real-Time Specifications},
author = {José Proença and David Pereira and Giann Spilere Nandi and Sina Borrami and Jonas Melchert},
journal= {arXiv preprint arXiv:2310.20395},
year = {2023}
}
备注
In Proceedings TiCSA 2023, arXiv:2310.18720