Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy

We describe an Alloy model that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction. Derived from simplified physics and encoded with empirical rules, the algorithm operates on a finite element mesh to allow the propagation of overland fl...

Full description

Saved in:
Bibliographic Details
Published inAbstract State Machines, Alloy, B, TLA, VDM, and Z pp. 256 - 261
Main Authors Baugh, John, Altuntas, Alper
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2016
SeriesLecture Notes in Computer Science
Online AccessGet full text
ISBN3319335995
9783319335995
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-33600-8_18

Cover

Abstract We describe an Alloy model that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction. Derived from simplified physics and encoded with empirical rules, the algorithm operates on a finite element mesh to allow the propagation of overland flows. Our study is motivated by complex interactions between the algorithm and a recent performance enhancement to the system that involves mesh partitioning. We briefly outline our approach and describe safety properties of the extension, as well as directions for future work.
AbstractList We describe an Alloy model that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction. Derived from simplified physics and encoded with empirical rules, the algorithm operates on a finite element mesh to allow the propagation of overland flows. Our study is motivated by complex interactions between the algorithm and a recent performance enhancement to the system that involves mesh partitioning. We briefly outline our approach and describe safety properties of the extension, as well as directions for future work.
Author Altuntas, Alper
Baugh, John
Author_xml – sequence: 1
  givenname: John
  surname: Baugh
  fullname: Baugh, John
  email: jwb@ncsu.edu
  organization: Civil, Construction, and Environmental Engineering, North Carolina State University, Raleigh, USA
– sequence: 2
  givenname: Alper
  surname: Altuntas
  fullname: Altuntas, Alper
  email: aaltunt@ncsu.edu
  organization: Civil, Construction, and Environmental Engineering, North Carolina State University, Raleigh, USA
BookMark eNotkM9OAjEQxqti4oK8gYe-QHW6_X8koGKC8QCJx2Z3aXF12Zp2OfD2FvA0mW--zHzzG6NRH3qH0AOFRwqgnozShBFGDWFMAhBtqb5C0yyzLJ41fY0KKinNDm5u0PgyEMaIESqAQUmM4uwOTVP6BgBqtGIlL9DyPWxd1_Y7XOFFm5roBoc_3UAW8Yhn3S7EdvjaYx8iXh5ibJuqd3g9hLjH60PcOdz22daF4z269VWX3PS_TtDm5XkzX5LVx-vbfLYiKd8cSC08-FIzxbUAtVU1cMl0A5zT3IL2QjcSKkkVhUZV0kvvhJa-hoZWTLAJKi9r02_MqV20dQg_yVKwJ1Q2M7HM5uftGYs9oWJ_BS9XlQ
ContentType Book Chapter
Copyright Springer International Publishing Switzerland 2016
Copyright_xml – notice: Springer International Publishing Switzerland 2016
DOI 10.1007/978-3-319-33600-8_18
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
EISBN 9783319336008
3319336002
EISSN 1611-3349
Editor Schewe, Klaus-Dieter
Mashkoor, Atif
Butler, Michael
Biro, Miklos
Editor_xml – sequence: 1
  givenname: Michael
  surname: Butler
  fullname: Butler, Michael
  email: mjb@ecs.soton.ac.uk
– sequence: 2
  givenname: Klaus-Dieter
  surname: Schewe
  fullname: Schewe, Klaus-Dieter
  email: kd.schewe@scch.at
– sequence: 3
  givenname: Atif
  surname: Mashkoor
  fullname: Mashkoor, Atif
  email: atif.mashkoor@scch.at
– sequence: 4
  givenname: Miklos
  surname: Biro
  fullname: Biro, Miklos
  email: miklos.biro@scch.at
EndPage 261
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-s198t-b5f0f283748507d7b04638c044107d08f58c60a61710c7a6f6fe586fb0c1a353
ISBN 3319335995
9783319335995
ISSN 0302-9743
IngestDate Wed Sep 17 02:58:23 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-s198t-b5f0f283748507d7b04638c044107d08f58c60a61710c7a6f6fe586fb0c1a353
PageCount 6
ParticipantIDs springer_books_10_1007_978_3_319_33600_8_18
PublicationCentury 2000
PublicationDate 2016
PublicationDateYYYYMMDD 2016-01-01
PublicationDate_xml – year: 2016
  text: 2016
PublicationDecade 2010
PublicationPlace Cham
PublicationPlace_xml – name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
PublicationTitle Abstract State Machines, Alloy, B, TLA, VDM, and Z
PublicationYear 2016
Publisher Springer International Publishing
Publisher_xml – name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, United Kingdom
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, United Kingdom
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: CNB H 104.2, ETH Zürich, Zürich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology Madr, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: Fakultät Informatik, TU Dortmund, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max Planck Institute for Informatic, Saarbrücken, Germany
SSID ssj0001987324
ssj0002792
Score 1.8063949
Snippet We describe an Alloy model that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction. Derived from...
SourceID springer
SourceType Publisher
StartPage 256
Title Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy
URI http://link.springer.com/10.1007/978-3-319-33600-8_18
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07b9swECYcd2kzpE1b9JEUHLoFKiTToumhg_MojMDO5LbZBJISEwOuXNj0kA797b3jQ1acLOkiWIIgEffJH4_3-EjIZ6GkAdorE6YYLFCMTBPFc5nIfgqUzLRUGvudp1d8_L1_eZ1fdzp_290lVn3Rfx7tK_kfVOEa4Ipdsk9AtnkoXIDfgC8cAWE47ji_98OsvrxYYZRCW-8v4g5Ct_Oguz9aLHyI7dTBMRm5atbzaSzVbLIRp3LjcyztitzRwm5qK8OTfsfy3bDrE-6c4xobUbgTXE549c_KJuerO7j5Zrma29tfrnZx7IKLssZaRXCMgaJWN06hxI3OsxmqLK-_TkIe42ppXXnYSdxqIjJPOzSR7YYmYmhyJ7i5ja_dW8syIAPGUP-sRYEM-BpWPJ4CK0_RHIUXmRc6jbSb89YM3vPy7g8mh3Y9CPZuMQbeXiKKTOyRPRhAlzwbXVxOfmxjdEMxcGr2YWZHsUWflfKjwl6hZtRezWl73urTfOyVDzLvzqGZvST72ORCsfsEjPaKdKr6kBxEu9Ng90PyYtrI-q5fk3FEn0oa0acBfdqgTwF92qBPHfrUoU_nNXXovyGzbxezs3EStuJI1mAEm6jcpAaFkvoCFhDlQKHQnNApONNwmgqTC81TCe5wluqB5IabKhfcqFRnkuXsLenWy7p6RyhMKaViMI8MB5iE5kpXw16f98pKSmbK7D05iXYp8L-1LqKwNlixYAVYsXBWLNCKH55090fyfPuZHpGuXW2qY_AprfoUoP8HAgtp6A
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Abstract+State+Machines%2C+Alloy%2C+B%2C+TLA%2C+VDM%2C+and+Z&rft.au=Baugh%2C+John&rft.au=Altuntas%2C+Alper&rft.atitle=Modeling+a+Discrete+Wet-Dry+Algorithm+for+Hurricane+Storm+Surge+in+Alloy&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2016-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319335995&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=256&rft.epage=261&rft_id=info:doi/10.1007%2F978-3-319-33600-8_18
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon