Toggle Main Menu Toggle Search

Open Access padlockePrints

Recent industrial Applications of VDM in Japan

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Fitzgerald J, Larsen PG, Sahara S

Editor(s): Boca, P; Bowen, JP; Larsen, PG

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: BCS-FACS Christmas Workshop: Formal Methods in Industry

Year of Conference: 2007

Pages: 6


Series Title: Electronic Workshops in Computing