Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Software Engineering Economics
Software Engineering Economics
Applications of Formal Methods
Applications of Formal Methods
Applying Formal Specification in Industry
IEEE Software
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Validated Designs For Object-oriented Systems
Validated Designs For Object-oriented Systems
Proving the shalls: Early validation of requirements through formal methods
International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Validation Support for Distributed Real-Time Embedded Systems in VDM++
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Proving consistency of VDM models using HOL
Proceedings of the 2010 ACM Symposium on Applied Computing
| Hi-index | 0.00 |
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.