Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy

John Baugh; Alper Altuntas

doi:10.1007/978-3-319-33600-8_18

Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy

John Baugh
, Alper Altuntas

Oceanography

North Carolina State University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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.

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings
Editors	Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Publisher	Springer Verlag
Pages	256-261
Number of pages	6
ISBN (Print)	9783319335995
DOIs	https://doi.org/10.1007/978-3-319-33600-8_18
State	Published - 2016
Event	5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016 - Linz, Austria Duration: May 23 2016 → May 27 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9675
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016
Country/Territory	Austria
City	Linz
Period	05/23/16 → 05/27/16

Access to Document

10.1007/978-3-319-33600-8_18

Cite this

Baugh, J., & Altuntas, A. (2016). Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy. In M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings (pp. 256-261). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9675). Springer Verlag. https://doi.org/10.1007/978-3-319-33600-8_18

Baugh, John ; Altuntas, Alper. / Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings. editor / Michael Butler ; Klaus-Dieter Schewe ; Atif Mashkoor ; Miklos Biro. Springer Verlag, 2016. pp. 256-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{186cdec35cea4b39bff28260989d6bd9,

title = "Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy",

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

author = "John Baugh and Alper Altuntas",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016 ; Conference date: 23-05-2016 Through 27-05-2016",

year = "2016",

doi = "10.1007/978-3-319-33600-8\_18",

language = "English",

isbn = "9783319335995",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "256--261",

editor = "Michael Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklos Biro",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings",

address = "Germany",

}

Baugh, J & Altuntas, A 2016, Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy. in M Butler, K-D Schewe, A Mashkoor & M Biro (eds), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9675, Springer Verlag, pp. 256-261, 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, Linz, Austria, 05/23/16. https://doi.org/10.1007/978-3-319-33600-8_18

Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy. / Baugh, John; Altuntas, Alper.
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings. ed. / Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro. Springer Verlag, 2016. p. 256-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9675).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy

AU - Baugh, John

AU - Altuntas, Alper

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

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

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

UR - https://www.scopus.com/pages/publications/84978698635

U2 - 10.1007/978-3-319-33600-8_18

DO - 10.1007/978-3-319-33600-8_18

M3 - Conference contribution

AN - SCOPUS:84978698635

SN - 9783319335995

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 256

EP - 261

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings

A2 - Butler, Michael

A2 - Schewe, Klaus-Dieter

A2 - Mashkoor, Atif

A2 - Biro, Miklos

PB - Springer Verlag

T2 - 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016

Y2 - 23 May 2016 through 27 May 2016

ER -

Baugh J, Altuntas A. Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy. In Butler M, Schewe KD, Mashkoor A, Biro M, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings. Springer Verlag. 2016. p. 256-261. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-33600-8_18

Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this