Formal Methods for Abstract Specifications – A Comparison of Concepts

Martin Instenberg; Axel Schneider; Sabine Schnetter; Ulrich Heinkel; Kim Guldstrand Larsen; Gerd Behrmann

Formal Methods for Abstract Specifications – A Comparison of Concepts

Martin Instenberg, Axel Schneider, Sabine Schnetter, Ulrich Heinkel, Kim Guldstrand Larsen, Gerd Behrmann

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til rapport › Forskning

Abstract

In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. For
verification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –
UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.

Originalsprog	Engelsk
Titel	Technical Report
Antal sider	6
Forlag	IEEE Press
Publikationsdato	2006
Status	Udgivet - 2006

Adgang til dokumentet

http://www.cs.aau.dk/~kgl/Upaal_vs_specEdit_IEEE_v7.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inbook{3a6914e0aa1211dbb942000ea68e967b,

title = "Formal Methods for Abstract Specifications – A Comparison of Concepts",

abstract = "In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. Forverification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.",

author = "Martin Instenberg and Axel Schneider and Sabine Schnetter and Ulrich Heinkel and Larsen, {Kim Guldstrand} and Gerd Behrmann",

year = "2006",

language = "English",

booktitle = "Technical Report",

publisher = "IEEE Press",

}

TY - GEN

T1 - Formal Methods for Abstract Specifications – A Comparison of Concepts

AU - Instenberg, Martin

AU - Schneider, Axel

AU - Schnetter, Sabine

AU - Heinkel, Ulrich

AU - Larsen, Kim Guldstrand

AU - Behrmann, Gerd

PY - 2006

Y1 - 2006

N2 - In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. Forverification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.

AB - In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. Forverification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.

M3 - Report chapter

BT - Technical Report

PB - IEEE Press

ER -

Formal Methods for Abstract Specifications – A Comparison of Concepts

Abstract

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater