Premium
A safety simulation analysis algorithm for Altarica language
Author(s) -
Wang Wenru,
Shi Xiaohua,
Lu Xinghai
Publication year - 2018
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.4990
Subject(s) - correctness , computer science , algorithm , simulation language , notation , synchronization (alternating current) , syntax , sequence (biology) , broadcasting (networking) , event (particle physics) , theoretical computer science , artificial intelligence , simulation , mathematics , computer network , channel (broadcasting) , physics , arithmetic , quantum mechanics , biology , genetics
Summary 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.