Blog
About

139
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Recent Industrial Applications of VDM in Japan

      ,

      FACS 2007 Christmas Workshop: Formal Methods in Industry (FMI)

      Formal Methods in Industry

      17 December 2007

      Vienna Development Method, VDM, formal methods, industrial applications

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This paper describes the industrial use of the Vienna Development Method (VDM and VDM++) technology in Japan since the acquisition of VDMTools by CSK Systems in 2003. This acquisition followed a very successful application of VDM++ in the development of two subsystems of the TradeOne back office system for securities trading. Subsequently, FeliCa Networks has also successfully applied VDM++ in the development of a new generation IC chip for use as an electronic purse which can be embedded in a cellular telephone. This paper provides a short overview of some of the most important industrial applications of VDM in Japan in recent years. It also reports about the main lessons learned, particularly regarding quality and cost. Finally, the future prospects for this kind of technology in Japan are considered.

          Related collections

          Most cited references 6

          • Record: found
          • Abstract: not found
          • Article: not found

          Using formal methods to develop an ATC information system

           A. Hall (1996)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Applying formal specification in industry

                Bookmark

                Author and article information

                Contributors
                Conference
                December 2007
                December 2007
                : 1-6
                Affiliations
                Engineering College of Aarhus

                Dalgas Avenue 2, DK-8000 Aarhus C, Denmark
                School of Computing Science

                Newcastle University, UK
                Article
                10.14236/ewic/FMI2007.8
                © Peter Gorm Larsen et al. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                FACS 2007 Christmas Workshop: Formal Methods in Industry
                FMI
                BCS London, UK
                17 December 2007
                Electronic Workshops in Computing (eWiC)
                Formal Methods in Industry
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article