A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module

  • Authors:

  • Georg Droschl;Walter Kuhn;Gerald Sonneck;Michael Thuswald

  • Affiliations:

  • -;-;-;-

  • Venue:
  • SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
  • Year:
  • 2000

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper describes a formal methods case study in which one module of an existing security system was re-developed using the light-weight Vienna Development Method, supported by the IFAD Toolbox. With respect to the original version, formal methods - even in its light-weight form - has increased software quality while the development efforts were comparable. The team that has used conventional methods for the development of the original version discusses the relevance of the findings.