FMICS2021出版物_系统需求形式化分析案例研究_补充数据集

数据集概述

本数据集为FMICS2021出版物《系统需求形式化分析案例研究》的补充数据，含UMC、ProB、LNT模型、SECURail交付物及翻译工具源码，以PDF文档和压缩包形式存储，支撑相关研究的细节验证与扩展分析。

文件详解

• 文档类文件（.pdf格式）：共4个
• TIN15-v5.pdf：具体内容未详细说明的PDF文档
• D21-demonstrator-specification.pdf：演示器规格说明文档
• D22-preliminary-application.pdf：初步应用相关文档
• D23-case-study.pdf：案例研究相关文档
• 压缩包文件（.zip格式）：共2个
• MODELS.zip：包含UMC、ProB、LNT模型的压缩包
• TOOLS.zip：包含翻译工具源代码的压缩包

适用场景

• 系统设计与验证：支持系统需求形式化分析方法的复现与验证
• 学术研究参考：为形式化方法在系统需求分析领域的应用提供案例数据
• 工具开发辅助：为相关翻译工具的开发与优化提供源码参考
• 行业标准制定：为铁路等领域系统需求规格的形式化描述提供实践案例