Methods of checking general safety criteria in UML statechart specifications

被引：15

作者：

Pap, Z ^{[1
]}

Majzik, I ^{[1
]}

Pataricza, A ^{[1
]}

Szegi, A ^{[1
]}

机构：

[1] Tech Univ Budapest, Dept Measurement & Informat Syst, H-1117 Budapest, Hungary

来源：

RELIABILITY ENGINEERING & SYSTEM SAFETY | 2005年 / 87卷 / 01期

关键词：

system safety; software specification; safety criteria; UML statecharts; OCL; graph transformation; reachability analysis;

D O I：

10.1016/j.ress.2004.04.011

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

This paper describes methods and tools for safety analysis of UML statechart specifications. A comprehensive set of general safety criteria including completeness and consistency is applied in automated analysis. Analysis techniques are based on OCL expressions, graph transformations and reachability analysis. Two canonical intermediate representations of the statechart specification are introduced. They are suitable for straightforward implementation of checker methods and for the support of the proof of the correctness and soundness of the applied analysis. One of them also serves as a basis of the metamodel of a variant of UML statecharts proposed for the specification of safety-critical control systems. The analysis is extended to object-oriented specifications. Examples illustrate the application of the checker methods implemented by an automated tool-set. (C) 2004 Elsevier Ltd. All rights reserved.

引用

页码：89 / 107

页数：19

共 50 条

[31] GENERAL AND SPECIFIC CRITERIA AND METHODS FOR THE EVALUATION OF LIBRARY SYSTEMS - RUSSIAN
GREGULETZ, A
ZENTRALBLATT FUR BIBLIOTHEKSWESEN, 1985, 99 (03): : 122 - 123
[32] Impact of construction methods and design criteria on the cost and safety of dams
Lemperiere, F.
International Journal on Hydropower and Dams, 1997, 4 (02): : 140 - 145
[33] SAFETY ANALYSES FOR THE SYSTEMATIC CHECKING OF CHEMICAL-PLANT AND PROCESSES - METHODS, BENEFITS AND LIMITATIONS
PILZ, V
CHEMIE INGENIEUR TECHNIK, 1985, 57 (04) : 289 - &
[34] SAFETY ANALYSES FOR THE SYSTEMATIC CHECKING OF CHEMICAL PLANT AND PROCESSES - METHODS, BENEFITS AND LIMITATIONS.
Pilz, Volker
German chemical engineering, 1986, 9 (02): : 65 - 74
[35] The employment of multi-criteria assessment methods in the study of road safety
Markovnina, A., I
Makarov, V. S.
Belyakov, V. V.
INTERNATIONAL AUTOMOBILE SCIENTIFIC FORUM (IASF-2019) - TECHNOLOGIES AND COMPONENTS OF LAND INTELLIGENT TRANSPORT SYSTEMS, 2020, 819
[36] Safety Criteria of the Calculation Methods Employed in Setting Preliminary Safety Exposure Levels for Harmful Substances.
Kovyazin, V.G.
Meditsina Truda I Promyshlennaya Ekologiya, 1985, (02): : 60 - 61
[37] Dissolution point and isolation robustness: Robustness criteria for general cluster analysis methods
Hennig, Christian
JOURNAL OF MULTIVARIATE ANALYSIS, 2008, 99 (06) : 1154 - 1176
[38] Application of multiple-criteria decision making methods for construction safety research
Chellappa, Vigneshkumar
Ginda, Grzegorz
PROCEEDINGS OF THE INSTITUTION OF CIVIL ENGINEERS-MANAGEMENT PROCUREMENT AND LAW, 2023, 177 (03) : 127 - 136
[39] Bacterial Pathogens in Food: Modern Safety Criteria and Methods of Molecular Genetic Analysis
N. R. Efimochkina
Bulletin of Experimental Biology and Medicine, 2022, 173 : 169 - 181
[40] SAFETY OF TECHNOLOGICAL PROJECTS USING MULTI-CRITERIA DECISION MAKING METHODS
Dejus, Titas
JOURNAL OF CIVIL ENGINEERING AND MANAGEMENT, 2011, 17 (02) : 177 - 183

← 1 2 3 4 5 →