Abstract
We have been making much effort to promote formal methods in Japan, especially Japanese IT companies. This paper describes our activities in Japan for almost twenty years, and shows typical reactions from such Japanese companies for application of formal methods. We mention about the obstacles they think to adopting formal methods in their real software development projects. On the other hand we also present a case of FeliCa Networks, Inc. as a best practice of applying formal methods in Japan. We discuss the lessons learned from our efforts of promoting formal methods and the FeliCa’s case. Finally, we briefly introduce our research project to support software developers in adopting formal approaches to real projects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Araki, K.: Are formal methods relevant?: how to explode the seven myths in Japan. In: Proceedings of the APSEC 1995, pp. 514–515 (1995)
Araki, K., Chang, H.-M.: Formal methods in Japan: current state, problems and challenges. In: Proceedings of the Third VDM Workshop, VDM 2002 (2002)
Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Comput. 28(4), 56–63 (1995)
Gmehlich, R., Jones, C.: Experience of deployment in the automotive industry. In: Romanovsky, A., Thomas, M. (eds.) Industrial Deployment of System Engineering Methods, pp. 13–26. Springer, Heidelberg (2013)
Hall, A.: Seven myths of formal methods. IEEE Softw. 7(5), 11–19 (1990)
IPA/SEC: Report on Successful Cases of Formal Approaches with Rigorous Specification, WG on Rigorous Specification, IPA/SEC, Tokyo (2013) (in Japanese). http://sec.ipa.go.jp/reports/20130125.html
Kurita, T., Nakatsugawa, Y.: The application of VDM to the industrial development of firmware for a smart card IC chip. Int. J. Softw. Inf. 3(2–3), 343–355 (2009)
Kurita, T., Ishikawa, F., Araki, K.: Practices for formal models as documents: evolution of VDM application to “Mobile FeliCa” IC chip firmware. In: Bjørner, N., Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 593–596. Springer, Heidelberg (2015)
Kusakabe, S., Lin, H.-H., Omori, Y., Araki, K.: Developing core software requirements of energy management system forsmart campus with advanced software engineering. Int. J. New Comput. Archit. Appl. 4(1), 48–55 (2014)
Kusakabe, S., Lin, H.-H., Omori, Y., Araki, K.: Visualizing centrality of process area networks in CMMI-DEV. In: Proceedings of International Conference on Software and Systems Process (ICSSP 2015), pp. 173–174 (2015)
Oda, T., Araki, K., Larsen, P.G.: VDMPad: a lightweight IDE for exploratory VDM-SL specification. In: Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, pp. 33–39 (2015)
Oda, T., Araki, K., Larsen, P.G.: ViennaTalk and assertch: building lightweight formal methods environments on pharo 4. In: Proceedings of the International Workshop on Smalltalk Technologies (2016, to appear)
Omori, Y., Araki, K., Larsen, P.G.: JODTool on the Overture Tool to manage formal requirement dictionaries. In: Proceedings of the 13th Overture Workshop, Co-located with FM 2015, pp. 3–17 (2015)
VDMPad Server: http://vdmpad.csce.kyushu-u.ac.jp/
ViennaTalk: https://github.com/tomooda/ViennaTalk-doc
Acknowledgments
This work is partly supported by Grant-in-Aid for Scientific Research (S) 2422001.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Araki, K., Kurita, T. (2016). Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa’s Case (Extended Abstract). In: Ogata, K., Lawford, M., Liu, S. (eds) Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science(), vol 10009. Springer, Cham. https://doi.org/10.1007/978-3-319-47846-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-47846-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47845-6
Online ISBN: 978-3-319-47846-3
eBook Packages: Computer ScienceComputer Science (R0)