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

Georg Droschl; Walter Kuhn; Gerald Sonneck; Michael Thuswald

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

Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

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. Eight 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.

Original language	English
Title of host publication	19th International Conference, SAFECOMP 2000
Pages	187-197
Number of pages	11
Publication status	Published - 2000
Event	19th International Conference, SAFECOMP 2000 - Duration: 1 Jan 2000 → …

Conference

Conference	19th International Conference, SAFECOMP 2000
Period	1/01/00 → …

Research Field

Not defined

Keywords

Computersicherheit
Computeranwendung
Zuverlässigkeit
Sicherheit
Konferenz
Rotterdam
computer safety
computer applications
reliability
security
Vienna development method
Conference

Cite this

@inproceedings{1f68890af56a497abe28850d11d273ca,

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

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. Eight 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.",

keywords = "Computersicherheit, Computeranwendung, Zuverl{\"a}ssigkeit, Sicherheit, Konferenz, Rotterdam, computer safety, computer applications, reliability, security, Vienna development method, Conference, Computersicherheit, Computeranwendung, Zuverl{\"a}ssigkeit, Sicherheit, Konferenz, Rotterdam, computer safety, computer applications, reliability, security, Vienna development method, Conference",

author = "Georg Droschl and Walter Kuhn and Gerald Sonneck and Michael Thuswald",

year = "2000",

language = "English",

pages = "187--197",

booktitle = "19th International Conference, SAFECOMP 2000",

note = "19th International Conference, SAFECOMP 2000 ; Conference date: 01-01-2000",

}

TY - GEN

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

AU - Droschl, Georg

AU - Kuhn, Walter

AU - Sonneck, Gerald

AU - Thuswald, Michael

PY - 2000

Y1 - 2000

N2 - 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. Eight 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.

AB - 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. Eight 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.

KW - Computersicherheit

KW - Computeranwendung

KW - Zuverlässigkeit

KW - Sicherheit

KW - Konferenz

KW - Rotterdam

KW - computer safety

KW - computer applications

KW - reliability

KW - security

KW - Vienna development method

KW - Conference

KW - Computersicherheit

KW - Computeranwendung

KW - Zuverlässigkeit

KW - Sicherheit

KW - Konferenz

KW - Rotterdam

KW - computer safety

KW - computer applications

KW - reliability

KW - security

KW - Vienna development method

KW - Conference

M3 - Conference Proceedings with Oral Presentation

SP - 187

EP - 197

BT - 19th International Conference, SAFECOMP 2000

T2 - 19th International Conference, SAFECOMP 2000

Y2 - 1 January 2000

ER -

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

Abstract

Conference

Research Field

Keywords

Fingerprint

Cite this