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 条
  • [1] Equivalence checking of two statechart specifications
    Park, MH
    Bang, KS
    Choi, JY
    Kang, I
    11TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 46 - 51
  • [2] Dynamic Slicing Research of UML Statechart Specifications
    Miao, Chunyu
    JOURNAL OF COMPUTERS, 2011, 6 (04) : 792 - 798
  • [3] EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS
    Lam, Vitus S. W.
    Padget, Julian
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (02) : 265 - 304
  • [4] Consistency checking of behavioural modeling in UML statechart diagrams
    Aoshima, T
    Ando, T
    Yonezaki, N
    INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 2003, 94 : 152 - 169
  • [5] Symbolic model checking of UML statechart diagrams with an integrated approach
    Lam, VSW
    Padget, J
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 337 - 346
  • [6] Methods of checking and using safety criteria
    Pap, Zsigmond
    Periodica Polytechnica Electrical Engineering, 2003, 46 (1-2): : 75 - 98
  • [7] Safety PLC Programming Based on UML Statechart
    Medvedik, Milan
    Zdansky, Juraj
    13TH INTERNATIONAL CONFERENCE ON ELEKTRO (ELEKTRO 2020), 2020,
  • [8] Generating Maude Specifications from M-UML Statechart Diagrams
    Kezai, Mourad
    Khababa, Abdallah
    JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2022, 26 (01) : 8 - 16
  • [9] A New approach to Detect Safety Violations in UML Statechart Models
    Prashanth, C. M.
    Shet, K. Chandrashekar
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (07): : 167 - 174
  • [10] Model checking UML specifications of real time software
    Del Bianco, V
    Lavazza, L
    Mauri, M
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 203 - 212
12345