Paper Info
Title
Dependability Analysis In The Early Phases Of Uml-Based System Design
Abstract
A thorough system specification is insufficient to guarantee that a computer system will adequately perform its tasks during its entire fife cycle. The early evaluation of system characteristics like dependability, correctness and performance is necessary to assess the conformance of the system under development to its targets. This paper presents the results achieved so far to develop an integrated environment, where design tools based on the UML (Unified Modeling Language) are augmented with validation and analysis techniques that provide useful information in the early phases of system design. Automatic transformations are defined for the generation of models to capture system behavioral properties, dependability and performance.
Year
Venue
Keywords
2001
COMPUTER SYSTEMS SCIENCE AND ENGINEERING
dependability analysis, validation and verification, UML, model transformation
Field
DocType
Volume
Dependability analysis,Dependability,Software engineering,Unified Modeling Language,Computer science,Correctness,Systems design,Real-time computing,System requirements specification,Distributed computing
Journal
16
Issue
ISSN
Citations 
5
0267-6192
62
PageRank 
References 
Authors
4.37
11
6
Name
Order
Citations
PageRank
Andrea Bondavalli1886133.06
Mario Dal Cin228240.09
Diego Latella31168113.42
István Majzik440036.04
András Pataricza551455.25
Giancarlo Savoia6655.99