研究提出基于RoboChart自动生成保障案例证据方法

Fang Yan等作者提出一种基于模型的方法，把形式化验证嵌入保障案例（AC）工作流，以系统化生成证据。该方法借助具有形式语义的领域建模语言RoboChart，通过预定义模板将自然语言需求自动转换为形式化断言，并结合模型检验与定理证明，将验证结果自动集成为证据。 作者称案例研究展示了该方法的有效性。论文目前为预印本，已被Software and Systems Modeling（SoSyM）接收，尚未见独立验证或实机机器人测试的报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。