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

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

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.

Originalsprache	Englisch
Titel	19th International Conference, SAFECOMP 2000
Seiten	187-197
Seitenumfang	11
Publikationsstatus	Veröffentlicht - 2000
Veranstaltung	19th International Conference, SAFECOMP 2000 - Dauer: 1 Jan. 2000 → …

Konferenz

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

Research Field

Nicht definiert

Schlagwörter

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

Diese Publikation zitieren

@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

Konferenz

Research Field

Schlagwörter

Fingerprint

Diese Publikation zitieren