Dependability analysis in the early phases of UML-based system design

Computer Systems Science and Engineering

Volumn 16, Issue 5, 2001, Pages 265-275

  Bondavalli, A ^a   Dal Cin, M ^a   Latella, D ^a   Majzik, I ^a   Pataricza, A ^a   Savoia, G ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Dependability analysis; Model transformation; UML; Validation and verification

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SELECTION AND EVALUATION; COMPUTER SYSTEMS PROGRAMMING;

DEPENDABILITY ANALYSIS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER CONTROL SYSTEMS;

EID: 0035448081     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. Dependability - Its attributes, impairments and means
2. High-level integrated design environment for dependability (HIDE)
3. Strategies for incorporating formal specifications in software development
4. The model checker SPIN'
5. Automated generation and analysis of markov reward models using stochastic reward nets
6. PANDA - Petri net analysis and design assistant
7. Towards a formal operational semantics of UML statechart diagrams
8. Automatic verification of UML statechart diagrams using the spin model-checker
9. Hierarchical automata as model for statecharts
10. A minimal transition system semantics for lightweight class and behavior diagrams
11. Model checking UML statechart diagrams using JACK
12. Automated dependability analysis of UML designs
13. Automatic dependability analysis for supporting design decisions in UML
14. Dependability modeling using petri nets
15. A class of generalized stochastic petri nets for the performance analysis of multiprocessor systems
16. On petri nets with deterministic and exponentially distributed firing times
17. Quantitative evaluation of dependability-critical systems based on guarded statechart models
18. Designing the automatic transformation of visual languages