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 条
  • [41] DETERMINATION OF THE CRITERIA FOR APPLICATION OF SYSTEMATIC METHODS FOR SAFETY ANALYSIS OF CHEMICAL-PLANT
    RINDFLEISCH, H
    CHEMIE INGENIEUR TECHNIK, 1986, 58 (08) : A382 - A382
  • [42] Bacterial Pathogens in Food: Modern Safety Criteria and Methods of Molecular Genetic Analysis
    Efimochkina, N. R.
    BULLETIN OF EXPERIMENTAL BIOLOGY AND MEDICINE, 2022, 173 (02) : 169 - 181
  • [43] ITERATIVE METHODS FOR CHECKING FREQUENCY-DOMAIN CRITERIA OF ABSOLUTE STABILITY IN CONTINUOUS CONTROL-SYSTEMS .2.
    SKORODINSKII, VI
    AUTOMATION AND REMOTE CONTROL, 1991, 52 (08) : 1082 - 1088
  • [44] MIGRATIONS BETWEEN PLASTIC CONTAINERS AND PHARMACEUTICAL LIQUIDS - GENERAL CRITERIA OF STUDY AND DETECTION METHODS
    PELLERIN, F
    BAYLOCQ, D
    ANDRE, D
    MAJCHERCZYK, J
    LAHAM, A
    ANNALES PHARMACEUTIQUES FRANCAISES, 1984, 42 (01): : 15 - 25
  • [45] Development of Prescribing Safety Indicators for General Practitioners Using RAND Appropriateness Methods
    Avery, Anthony J.
    Campbell, Stephen M.
    Dex, Grant
    Mulvaney, Caroline
    Serumaga, Brian
    Spencer, Rachel
    Lester, Helen
    PHARMACOEPIDEMIOLOGY AND DRUG SAFETY, 2011, 20 : S202 - S202
  • [46] Multiple criteria sorting models and methods. Part II: theoretical results and general issues
    Belahcene, Khaled
    Mousseau, Vincent
    Ouerdane, Wassila
    Pirlot, Marc
    Sobrie, Olivier
    4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH, 2023, 21 (02): : 181 - 204
  • [47] Attitudes to health care prioritisation methods and criteria among nurses, doctors, politicians and the general public
    Ryynänen, OP
    Myllykangas, M
    Kinnunen, J
    Takala, J
    SOCIAL SCIENCE & MEDICINE, 1999, 49 (11) : 1529 - 1539
  • [48] General Application of Multiple Criteria Decision Making Methods for Finding the Optimal Solution in City Logistics
    Hanzl, Jiri
    OPEN ENGINEERING, 2020, 10 (01): : 147 - 153
  • [49] Multiple criteria sorting models and methods. Part II: theoretical results and general issues
    Khaled Belahcène
    Vincent Mousseau
    Wassila Ouerdane
    Marc Pirlot
    Olivier Sobrie
    4OR, 2023, 21 : 181 - 204
  • [50] SAFETY FORMAT AND ACCEPTANCE CRITERIA FOR ANALYSIS OF MARINE STRUCTURES USING NON-LINEAR METHODS
    Solland, Gunnar
    Johansen, Atle
    Sigurdsson, Gudfinnur
    OMAE2011: PROCEEDINGS OF THE ASME 30TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, VOL 3: MATERIALS TECHNOLOGY, 2011, : 687 - 694
12345