Abstract
Developing complex critical software should require proper validation with regards to requirements as well as showing a high level of certainty on correctness of the resulting system. While formal methods (FM) have a large potential to address these two challenges, their current Industry adoption is still hampered by a number of hurdles of technical and organizational natures. Furthermore, many misconceptions (myths) about FM remain deeply anchored in Industry. To help to bring down these hurdles and myths, this paper presents evidence that FM can be successfully used in Industry. The evidence repository follows two strategy to present its content. First, a company-specific approach is used where success stories describe how a given company deployed FM in one or several of its development projects. Second, a more general approach identifies general questions of interest (FAQ) to many companies in various Industry sectors. Success stories and FAQs are made available using a public collaborative wiki-based website open to external contributions ( http://www.fm4industry.org ).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bacherini, S., Fantechi, A., Tempestini, M., Zingoni, N.: A story about formal methods adoption by a railway signaling manufacturer. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 179–189. Springer, Heidelberg (2006)
Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and static driver verifier: Technology transfer of formal methods inside microsoft. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 1–20. Springer, Heidelberg (2004)
Behm, P., Benoit, P., Faivre, A., Meynadier, J.M.: METEOR: A successful application of B in a large project. In: Wing, et al (eds.), pp. 369–387 (1999)
Bowen, J.: Formal Methods Wiki, http://formalmethods.wikia.com
Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Computer 28(4), 56–63 (1995)
Brat, G., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Venet, A., Visser, W., Washington, R.: Experimental evaluation of verification and validation tools on martian rover software. Form. Methods Syst. Des. 25(2-3), 167–198 (2004)
Clabaut, M.: Challenges in Applying Formal Methods - An SME View. In: Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems (September 2009)
Cofer, D.D.: Formal methods in the aerospace industry: Follow the money. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 2–3. Springer, Heidelberg (2012)
Craigen, D., Gerhart, S.L., Ralston, T.: An international survey of industrial applications of formal methods. In: Z User Workshop, pp. 1–5 (1992)
DEPLOY, Industrial deployment of system engineering methods providing high dependability and productivity, http://www.deploy-project.eu
Fecko, M.A., Amer, P.D., Sethi, A.S., Umit Uyar, M., Dzik, T., Menell, R., Mcmahon, M.: A success story of formal description techniques: Estelle specification and test generation for mil-std 188-220. In: FDTs in Practice, pp. 1196–1213 (2000)
FM4Industry, Evidence on Formal Methods Uses and Impact on Industry, http://www.fm4industry.org
Gnesi, S., Margaria, T.: Formal methods for industrial critical systems: A survey of applications, 1st edn. John Wiley & Sons, Inc. (2012)
Hall, A.: Seven myths of formal methods. IEEE Softw. 7(5), 11–19 (1990)
Kuliamin, V.V., Omelchenko, V.A., Petrenko, O.L.: Formal methods: for all or for chosen? In: Cordeiro, J.A.M., Shishkov, B., Verbraeck, A., Helfert, M. (eds.) CSEDU (2). INSTICC Press (2009)
Larsen, P.G., Odense, M., Fitzgerald, J.S., Brookes, T.: Lessons learned from applying formal specification in industry. IEEE Software (1995)
Leuschel, M., Falampin, J., Fritz, F., Plagge, D.: Automated Property Verification for Large Scale B Models. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 708–723. Springer, Heidelberg (2009)
Mathworks, Polyspace, http://www.mathworks.com/products/polyspace
Mediawiki, Collaborative online tools for knowledge sharing, http://www.mediawiki.org
DEPLOY Project, D47 Deliverable HOWTO Guide for Managers V2.0 (April 2012), http://www.deploy-project.eu/pdf/D47.pdf
Romanovsky, A., Thomas, M.: Industrial deployment of system engineering methods. Springer-Verlag New York Incorporated (June 2013)
Stidolph, D.C., Whitehead, J.: Managerial issues for the consideration and use of formal methods. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 170–186. Springer, Heidelberg (2003)
Verhulst, E., de Jong, G., Mezhuyev, V.: An industrial case: Pitfalls and benefits of applying formal methods to the development of a network-centric RTOS. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 411–418. Springer, Heidelberg (2008)
Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Comput. Surv. 41(4) (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ponsard, C., Deprez, JC., De Landtsheer, R. (2013). High-Level Guidance for Managers Deploying Formal Methods in Their Organisation. In: Pecheur, C., Dierkes, M. (eds) Formal Methods for Industrial Critical Systems. FMICS 2013. Lecture Notes in Computer Science, vol 8187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41010-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-41010-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41009-3
Online ISBN: 978-3-642-41010-9
eBook Packages: Computer ScienceComputer Science (R0)