A thorough system specification is insufficient to guarantee that a computer system will adequately perform its tasks during its entire life 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.
Dependability Analysis in the Early Phases of UML Based System Design / A. BONDAVALLI; DAL CIN M.; D. LATELLA; I. MAJZIK; A. PATARICZA; G. SAVOIA. - In: COMPUTER SYSTEMS SCIENCE AND ENGINEERING. - ISSN 0267-6192. - STAMPA. - 16:(2001), pp. 265-275.
Dependability Analysis in the Early Phases of UML Based System Design
BONDAVALLI, ANDREA;
2001
Abstract
A thorough system specification is insufficient to guarantee that a computer system will adequately perform its tasks during its entire life 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.File | Dimensione | Formato | |
---|---|---|---|
R15.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
110.94 kB
Formato
Adobe PDF
|
110.94 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.