在工业中应用形式化方法：一条 25 年轨迹
软件工程
2020-05-15 v1
摘要
涉及形式化方法的工业应用仍是普遍规则下的例外。缺乏理解、员工未受适当教育、难以整合现有开发周期、市场无明确要求等，常被视为不够形式化的解释。因此工业界向学术界提供的反馈不如其本可具有的建设性。本文总结在多种应用领域（铁路、智能卡、汽车）中有效应用一种形式化方法——即 B 与 Event-B——的 25 年经验回馈，阐明形式化方法被应用的原因与场所，解释迄今获得的附加价值，并试图预见这两种形式体系在安全关键系统中的未来。
引用
@article{arxiv.2005.07190,
title = {Applying a Formal Method in Industry: a 25-Year Trajectory},
author = {Thierry Lecomte and David Deharbe and Etienne Prun and Erwan Mottin},
journal= {arXiv preprint arXiv:2005.07190},
year = {2020}
}
备注
SBMF 2017 : 20th Brazilian Symposium on Formal Methods, Recife, Brazil