论文标题
在行业中应用正式方法：25年的轨迹
Applying a Formal Method in Industry: a 25-Year Trajectory
论文作者
论文摘要
涉及正式方法的工业应用仍然是一般规则的例外。缺乏理解，没有适当教育的员工，难以整合现有的发展周期，市场上没有明确的要求等。因此，行业向学者提供的反馈并不像可能的那样建设性。总结了在有效应用正式应用中的25年经验回报 - 即B和事件B-在不同的应用领域（铁路，SmartCard，Automotive）中，本文清楚地说明了应用正式方法的原因和何处，并解释了到目前为止获得的附加值，并尝试预测这两个正式的关键系统的未来。
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. Hence the feedback provided by industry to academics is not as constructive as it might be. Summarizing a 25-year return of experience in the effective application of a formal method - namely B and Event-B - in diverse application domains (railways, smartcard, automotive), this article makes clear why and where formal methods have been applied, explains the added value obtained so far, and tries to anticipate the future of these two formalisms for safety critical systems.
