Vienna Development Method - Industrial Experience

Industrial Experience

VDM has been applied widely in a variety of application domains. The most well-known of these applications are:

• Ada and CHILL compilers: The first European validated Ada compiler was developed by DDC-International using VDM. Likewise the semantics of CHILL and Modula-2 were described in their standards using VDM.
• ConForm: An experiment at British Aerospace comparing the conventional development of a trusted gateway with a development using VDM.
• Dust-Expert: A project carried out by Adelard in the UK for a safety related application determining that the safety is appropriate in the layout of industrial plants.
• The development of VDMTools: Most components of the VDMTools tool suite are themselves developed using VDM. This development has been made at IFAD in Denmark and CSK in Japan.
• TradeOne: Certain key components of the TradeOne back-office system developed by CSK systems for the Japanese stock exchange were developed using VDM. Comparative measurements exist for developer productivity and defect density of the VDM-developed components versus the conventionally developed code.
• FeliCa Networks have reported the development of an operating system for an integrated circuit for cellular telephone applications.