Experience using Spin and Promela in the Design of a Storm Surge Barrier Control System

Pim Kars

Research output: Contribution to conferenceAbstractAcademic

7 Downloads (Pure)

Abstract

The Spin tool set (Spin and Xspin) was used to validate parts of the design of a storm surge barrier control system, in particular the communication interfaces with the outside world. Promela combined with Z is used to specify crucial aspects of the design. In this talk we outline our experience with the use of Spin and Promela, and discuss some ideas for extensions/improvements.
Original languageEnglish
Pages5
Publication statusPublished - 16 Oct 1995
Event1st SPIN Workshop 1996 - Montreal, Canada
Duration: 16 Oct 199516 Oct 1995
Conference number: 1

Conference

Conference1st SPIN Workshop 1996
Abbreviated titleSPIN95
Country/TerritoryCanada
CityMontreal
Period16/10/9516/10/95

Fingerprint

Dive into the research topics of 'Experience using Spin and Promela in the Design of a Storm Surge Barrier Control System'. Together they form a unique fingerprint.

Cite this