Abstract
Altarica is a modeling language for safety analysis and supports simulation analysis. Although Altarica is widely used in the industry, research studies on simulation algorithm are rarely found. Therefore, we design and implement a simulation algorithm. We first briefly introduce the syntax and characteristics of Altarica, and then describe the design and implementation of the algorithm in detail, and finally accurately simulate the most probable sequence of events. We use Reverse Polish Notation to deal with complex event triggered conditions, and support three kinds of synchronization, including Synchronization, Broadcasting and Common Cause Failure, and support multiple probability distribution types. At the end of this paper, through case study and comparison with SIMFIA, the correctness of the algorithm is proved.
| Original language | English |
|---|---|
| Pages (from-to) | 1 |
| Number of pages | 1 |
| Journal | Concurrency and Computation: Practice and Experience |
| Volume | 33 |
| Issue number | 7 |
| DOIs | |
| State | Published - 10 Apr 2021 |
Keywords
- altarica
- safety analysis
- simulation
Fingerprint
Dive into the research topics of 'A safety simulation analysis algorithm for Altarica language'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver